Teorema monyet tak terhingga
Teorema monyet takhingga (Bahasa Inggris: Infinite monkey theorem) menyatakan bahwa seekor monyet yang secara acak menekan tombol-tombol pada sebuah mesin tik untuk lama waktu tak hingga akan hampir pasti dapat mengetik sebuah teks yang diberikan, misalnya karya William Shakespeare.
Dalam konteks ini, "hampir pasti" merupakan istilah matematika dengan sebuah pengertian yang persis, dan "monyet" bukan benar-benar seekor monyet, melainkan hanyalah sebuah metafora untuk sebuah peralatan yang menghasilkan barisan acak huruf-huruf sampai takhingga ("ad infinitum"). Teorema ini mengilustrasikan bahaya dari pemikiran atau pertimbangan mengenai takhingga dengan membayangkannya sebagai bilangan yang sangat besar namun terhingga, ataupun sebaliknya. Probabilitas seekor monyet mengetik seuntai teks tertentu, katakanlah "Hamlet", sangatlah kecil. Apabila sebuah eksperimen dilakukan, kemungkinan ia benar-benar terjadi dalam jangka waktu seumur alam semesta sangatlah kecil, namun bukanlah nol.
Variasi teorema ini meliputi beberapa atau tak terhingga banyaknya pengetik, dan teks yang diberikan berkisar dari keseluruhan perpustakaan sampai dengan sebuah kalimat. Sejarah pernyataan ini dapat ditilik kembali pada tulisan Aristoteles "De Generatione et Corruptione" dan tulisan Cicero "De natura deorum", sampai dengan Blaise Pascal dan Jonathan Swift, dan akhirnya menjadi pernyataan modern dengan mesin tik. Pada awal abad ke-20, Émile Borel dan Arthur Eddington menggunakan teorema ini untuk mengilustrasikan implisit skala waktu pada landasan mekanika statistis. Berbagai apologet Kristen di lain pihak, dan Richard Dawkins di pihak lainnya, telah berdebat mengenai ketepatan monyet ini digunakan sebagai metafora untuk evolusi.
Terdapat pembuktian langsung untuk teorema ini. Jika dua kejadian secara statistik bebas (yakni keduanya tidak memengaruhi satu sama lainnya), maka probabilitas keduanya terjadi bersamaan sama dengan hasil kali probabilitas keduanya terjadi secara independen. Sebagai contoh, jika peluang hujan di Sydney pada hari tertentu adalah 0,3 dan peluang gempa bumi di San Fransisco pada hari itu adalah 0,008, maka peluang keduanya terjadi pada hari yang sama adalah 0,3 × 0,008 = 0,0024.
Misalnya mesin tik mempunyai 50 tombol, dan kata yang perlu diketik adalah "banana". Dengan mengetik secara acak, peluang huruf pertama yang diketik merupakan "b" adalah 1/50, dan kemungkinan huruf ke dua yang diketik merupakan "a" juga adalah 1/50, dst. Sehingga peluang enam huruf pertama merupakan "banana" adalah
Dengan alasan yang sama, peluang enam huruf selanjutnya merupakan "banana" juga (1/50), dst.
Dari perhitungan di atas, peluang untuk "tidak" mengetik "banana" dalam 6 blok huruf yang diberikan adalah 1 − (1/50). Karena setiap blok diketik secara independen, peluang "X" dari "tidak" mengetik "banana" di setiap "n" blok pertama enam huruf adalah :formula_1
Seiring dengan meningkatnya "n", "X" menjadi semakin kecil. Untuk "n" satu juta, "X" kira-kira 0,9999 (yakni peluang tidak mengetik "banana" kira-kira 99,9%), namun untuk "n" 10 miliar, "X" adalah kira-kira 0,53 (yakni peluang tidak mengetik "banana" adalah kira-kira 53%), demikian pula untuk "n" 100 miliar, peluangnya adalah 0,0017. Seiring "n" mendekati takhingga, probabiltas "X" mendekati nol; yakni dengan membuat "n" cukup besar, "X" dapat dibuat sekecil yang diinginkan.
Argumen yang sama juga menunjukkan bahwa mengapa paling tidak satu di antara banyaknya monyet-monyet tak terhingga akan "hampir pasti" menghasilkan sebuah teks secepat yang akan dihasilkan oleh pengetik manusia. Dalam kasus ini "X" = (1 − (1/50)) , dengan "X" mewakili probabilitas bahwa tidak ada "n" monyet pertama yang mengetik "banana" secara tepat pada usaha pertama mereka. Ketika terdapat 100 miliar monyet, probabilitas ini menurun menjadi 0,17%, seiring dengan meningkatnya jumlah "n" monyet, nilai "X" mendekati nol. Limit "n" mendekati takterhingga adalah nol.
Kedua pernyataan di atas dapat dinyatakan secara lebih umum dan lebih ringkas menggunakan konsep untai, yang merupakan barisan karakter yang dipilih dari sejumlah alfabet terhingga:
Untuk teorema ke dua, misalkan "E" adalah kejadian bahwa untai ke-"k" dimulai dengan teks yang diberikan. Karena ia memiliki probabilitas "p" bukan nol yang tetap, "E"-nya adalah independen, dan penjumlahan di bawah ini divergen,
probabilitas bahwa takhingga banyaknya "E" yang terjadi adalah 1. Teorema pertama ditunjukkan dengan cara yang sama; seseorang dapat membagi untai acak menjadi beberapa blok yang tidak saling tumpang tindih dan menentukan ukuran blok ini dengan ukuran teks yang diinginkan, menjadikan kejadian "E" sebagai kejadian di mana blok ke-"k" sama dengan untai yang diinginkan.
Dengan mengabaikan tanda baca, spasi, dan kapitalisasi, seekor monyet yang mengetik huruf-huruf secara merata dan acak mempunyai peluang 1/26 untuk mengetik huruf pertama dari "Hamlet". Ia mempunyai peluang 1/676 (26 × 26) untuk mengetik dua huruf pertama "Hamlet" tersebut. Karena probabilitasnya menurun secara eksponensial, untuk 20 huruf, ia hanya akan mempunyai peluang 1 di antara 26 = 19.928.148.895.209.409.152.340.197.376 (hampir 2 x 10). Dalam kasus keseluruhan teks "Hamlet", probabilitasnya adalah sangat-sangat kecil. Teks "Hamlet" mengandung sekitar 130.000 huruf. Sehingga terdapat probabilitas 1 di antara 3,4 × 10 untuk mendapatkan teks ini benar pada usaha pertama. Jumlah rata-rata huruf yang perlu diketik sampai teks ini muncul juga adalah 3,4 × 10.
Bahkan jika seluruh alam semesta dipenuhi oleh monyet-monyet yang mengetik setiap saat, probabilitas total mereka untuk menghasilkan "Hamlet" masih lebih kecil dari 1 di antara 10.
Dalam salah satu bentuk yang mana para pakar probabilitas mengenal teorema ini dengan ""dactylographic""-nya (monyet yang mengetik), muncul di artikel ""Mécanique Statistique et Irréversibilité"" ("Mekanika statistis dan ireversibilitas") tahun 1913 dan buku "Le Hasard" tahun 1914 oleh Émile Borel. "Monyet" ini bukanlah monyet yang sebenarnya; ia adalah metafora untuk sebuah cara imajiner untuk menghasilkan barisan acak huruf-huruf yang banyak. Borel mengatakan bahwa jika satu juta monyet mengetik 10 jam per hari, adalah sangat tidak mungkin keluaran mereka akan persis sama dengan seluruh buku perpustakaan paling lengkap di dunia; namun, dalam perbandingan, adalah lebih tidak mungkin lagi bahwa hukum-hukum mekanika statistis akan pernah dilanggar.
Fisikawan Arthur Eddington dalam tulisannya "The Nature of the Physical World" (1928) lebih lanjut:
Gambaran ini mengundang para pembaca untuk memperhatikan ketidakmungkinan yang sangat besar dari sejumlah besar namun terhingga monyet yang bekerja dengan sejumlah besar namun terhingga waktu untuk menghasilkan hasil kerja yang signifikan dan membandingkannya dengan ketidakmungkinan yang lebih besar dari kejadian-kejadian fisika tertentu. Proses fisika apapun yang kemungkinannya lebih kecil dari kesuksesan monyet-monyet ini secara efektif adalah tidak mungkin, dan adalah aman untuk mengatakan proses seperti ini tidak akan pernah terjadi.
Pada buku tahun 1931-nya, "The Mysterious Universe", rival Eddington James Jeans
mengalamatkan monyet ini ke seorang "Huxley", kemungkinan merujuk pada Thomas Henry Huxley. Pengalamatan ini tidaklah benar. Sampai sekarang, kadang-kadang masih dilaporkan bahwa Huxley menerapkan contoh ini pada sebuah perdebatan evolusi tahun 1860 di Oxford yang terkenal. Cerita ini tidak memiliki bukti yang kuat, bahkan pada tahun 1860, mesin ketik itu sendiri belum diciptakan. Hewan primata masih merupakan topik yang sensitif karena alasan lainnya, dan debat Huxley-Wilberforce sebenarnya juga melibatkan hal yang tidak perlu mengenai kera: uskup menanyakan apakah Huxley merupakan keturunan dari seekor kera dari pihak neneknya atau dari pihak kakeknya, dan Huxley merespon bahwa ia lebih baik merupakan keturunan dari seekor kera daripada keturunan dari seseorang yang berargumen tidak jujur seperti uskup tersebut.
Terlepas dari kesimpangsiurannya, argumen monyet dan mesin ketik sekarang merupakan argumen yang umum terhadap evolusi. Sebagai contoh, Doug Powell berargumen sebagai seorang apologet Kristen bahwa bahkan apabila seekor monyet tidak sengaja mengetik huruf-huruf "Hamlet", ia telah gagal untuk menghasilkan "Hamlet" karena ia tidak memiliki maksud untuk berkomunikasi. Implikasi paralelnya adalah bahwa hukum-hukum alam tidak dapat memproduksi kandungan informasi dalam DNA. Argumen yang lebih umum diberikan oleh John F. MacArthur, yang mengklaim bahwa mutasi genetika yang diperlukan untuk menghasilkan seekor cacing pita dari amoeba sangatlah tidak memungkinkan seperti halnya seekor monyet yang mengetik solilokui Hamlet, dan karenanya merupakan rintangan terhadap evolusi semua kehidupan yang tidak mungkin diatasi.
Biologiawan evolusioner, Richard Dawkins menggunakan konsep monyet mengetik pada buku tahun 1986-nya, "The Blind Watchmaker", untuk mendemonstrasikan kemampuan seleksi alam menghasilkan kompleksitas biologis dari mutasi acak. Dalam eksperimen simulasi yang dia jelaskan ini, Dawkins menggunakan program Weasel untuk menghasilkan frasa Hamlet "METHINKS IT IS LIKE A WEASEL" dengan mengetikkan frasa-frasa acak, namun secara konstan menghentikan bagian keluaran yang telah sesuai dengan tujuan program. Intinya adalah bahwa penghasilan untai acak hanyalah berperan memoles bahan-bahan mentah, sedangkan seleksi menanamkan informasi.
Alasan lainnya untuk menolak analogi antara evolusi dengan monyet mengetik ini terdapat pada permasalahan bahwa monyet tersebut hanya mengetik satu huruf setiap kalinya, independen dari huruf-huruf lainnya. Hugh Petrie berargumen bahwa sebuah rancangan yang lebih canggih diperlukan, dalam kasus ini bukan evolusi biologis, namun evolusi pemikiran:
James W. Valentine, manakala mengakui bahwa pekerjaan monyet ini tidaklah mungkin, menemukan bahwa terdapat analogi yang berguna antara Bahasa Inggris tertulis dengan genom metazoa dalam pengertian bahwa keduanya memiliki "struktur kombinasi dan hirarkis" yang dengan sangat kuat mengekang jumlah kombinasi alfabet yang sangat besar.