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.

Probabilitas

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 × 10183.946 untuk mendapatkan teks ini benar pada usaha pertama. Jumlah rata-rata huruf yang perlu diketik sampai teks ini muncul juga adalah 3,4 × 10183.946.
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¹⁸³ ⁸⁰⁰.

Mekanika statistis

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:
If I let my fingers wander idly over the keys of a typewriter it might happen that my screed made an intelligible sentence. If an army of monkeys were strumming on typewriters they might write all the books in the British Museum. The chance of their doing so is decidedly more favourable than the chance of the molecules returning to one half of the vessel.
— 
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.

Evolusi

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:
In order to get the proper analogy, we would have to equip the monkey with a more complex typewriter. It would have to include whole Elizabethan sentences and thoughts. It would have to include Elizabethan beliefs about human action patterns and the causes, Elizabethan morality and science, and linguistic patterns for expressing these. It would probably even have to include an account of the sorts of experiences which shaped Shakespeare's belief structure as a particular example of an Elizabethan. Then, perhaps, we might allow the monkey to play with such a typewriter and produce variants, but the impossibility of obtaining a Shakespearean play is no longer obvious. What is varied really does encapsulate a great deal of already-achieved knowledge.
— 
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.