Teorema de los infinitos monos
De Wikipedia, la enciclopedia libre
El teorema de los infinitos monos afirma que un mono pulsando teclas al azar sobre un teclado casi seguramente podrá escribir finalmente cualquier libro que se halle en la Biblioteca Nacional Francesa. En una nueva exposición del mismo teorema, más popular entre los angloparlantes, los monos podrían escribir las obras de William Shakespeare.
La idea original fue planteada por Émile Borel, en 1913, en su libro Mécanique Statistique et Irréversibilité. Estos monos no son, de hecho, monos, sino más bien una vívida metáfora para una manera imaginaria de producir una larga y aleatoria secuencia de letras. Borel dijo que si un millón de monos mecanografiaran diez horas al día era extremadamente, extremadamente improbable que pudiesen producir algo que fuese igual a lo contenido en los libros de las bibliotecas más ricas del mundo y aún así, en comparación, sería aún más inverosímil que las leyes de la estadística fuesen violadas, siquiera someramente. Para Borel, el propósito de la metáfora de los monos era ilustrar la magnitud de un acontecimiento extraordinariamente improbable.
Después de 1970, la popular imagen de los monos se extendió hasta el infinito, convirtiéndose en que si un infinito número de monos mecanografiaran por un intervalo infinito de tiempo producirían texto legible. Insistir en ambos infinitos es, empero, excesivo. Un solo mono inmortal que ejecutase infinitamente tecleos sobre una máquina de escribir podría casi con toda seguridad escribir cualquier texto dado y un número infinito de monos podrían producir todo texto posible inmediatamente, sin demora. De hecho, en ambos casos, el texto sería producido un infinito número de veces.
Tabla de contenidos |
[editar] Bosquejo intuitivo del teorema
El teorema de los monos infinitos es directamente demostrable, incluso sin necesidad de resultados más avanzados. Si dos acontecimientos son estadísticamente independientes, queriendo decir esto que ninguno de ellos afecta al resultado del otro, entonces, la probabilidad de que ambos sucedan es igual al producto de las probabilidades individuales de que suceda cada uno. Por ejemplo, si las probabilidades de lluvia en Sydney en un día en particular es 0,3 y la probabilidad de que ese mismo día haya un terremoto es San Francisco es de un 0,8, entonces, la probabilidad de que ambos sucedan el mismo día es 0,3x0,8=0,24.
Ahora, suponiendo que un teclado tenga 50 teclas y la palabra a ser escrita es “banana”, mecanografiando al azar, la probabilidad de que la primera letra escrita sea b es 1/50, de que la segunda sea a es 1/50, etc. Dichos eventos son estadísticamente independientes, así que la probabilidad de que las seis primeras letras escritas sean “banana” es 1/506.
Ahora, las probabilidades de no escribir “banana” en cada bloque de 6 letras es 1-1/506. Dado que cada bloque debe ser considerado independientemente, la probabilidad X de no escribir “banana” en los n primeros de 6 letras es X=(1-1/506)n. A medida que n aumenta, X se reduce. Para n=1.000.000, X=99.99%, pero para un n igual a 10 mil millones, X=53% y para una n=100 mil millones es un 0,17%. A medida que n se acerca a infinito, la probabilidad de X tiende a cero. Esto es, haciendo n lo suficientemente grande, X puede ser tan pequeño como uno quiera. Si considerásemos las veces que se escribiría “banana” entre bloques de 6 letras, X tendería a 0 incluso más rápidamente. El mismo argumento se aplica si el mono estuviese escribiendo cualquier otra cadena de caracteres de cualquier tamaño.
Esta demostración muestra por qué infinitos monos podrían (con casi toda probabilidad) producir un texto tan rápidamente como pudiese ser escrito por un mecanografiador humano copiándolo desde el original. En este caso X=(1-1/506)n, donde X representa la probabilidad de que ninguno de los primeros n monos escribiese banana a la primera. Cuando consideremos 100 mil millones de monos, la probabilidad cae al 0,17% y a medida que n aumenta, X (la probabilidad de que todos los monos fallen al escribir un texto dado) tiende a 0. Esto es equivalente a afirmar que la probabilidad de que uno o más de un conjunto de infinitos monos escriban cualquier texto dado a la primera es un 100%.
[editar] Enunciado formal
A pesar de que el teorema de los monos infinitos es a menudo expresado de manera informal, un enunciado formal del mismo esclarecería su significado exacto. Es más fácil de expresar en las cadenas de texto de la ciencia de computadoras, que son secuencias finitas de caracteres de un determinado alfabeto. En este estado, las dos sentencias superiores podrían ser expresadas formalmente como:
- Dado una cadena infinita donde cada carácter es elegido de manera aleatoria, cualquier cadena finita casi seguramente (probabilidad 1) ocurre como subcadena de la primera en alguna posición (de hecho, en infinitas posiciones).
- Dada una infinita secuencia de infinitas cadenas iguales a la primera, donde cada carácter de cada cadena es elegido de forma aleatoria, cualquier cadena finita casi seguramente ocurre como un prefijo de una de esas cadenas infinitas (de hecho, como prefijo de infinitas de dichas cadenas en la secuencia).
Ambas sentencias se extraen sencillamente de la segunda máxima de Borel-Cantelli. Suponiendo que nuestro texto deseado tiene una longitud n, para el segundo teorema, Ek es el suceso de que la k-ésima cadena comience con el texto dado. Dado que esto tiene la probabilidad p no cero de ocurrir, la Ek es independiente y la suma inferior diverge, la probabilidad de que infinitas Ek ocurran es 1. El primer teorema es igual, salvo que dividimos la cadena aleatoria en bloques no sobrepuestos de n caracteres cada uno y hacemos Ek el evento en que el bloque k-ésimo iguala la cadena deseada.
De hecho, incluso yendo a infinito puede ser excesivo. Si el alfabeto tiene un tamaño a, entonces puede ser demostrado que la probabilidad de que una de las primeros an ocurra es al menos 1/2. Estonces, 20an intentos podrían ser suficientes para escribir el texto dado con una probailidad muy próxima a 1. El problema incluso hace paralelismo bien: k monos pueden escribir el texto k veces más rápido. Para un n pequeño no es demasiado malo. Por ej emplo, mil monos escribiendo letras al azar a un ritmo de 100 caracteres por minuto podrían probablemente escribir la palabra banana en unas seis semanas.
Este teorema es una instancia de la Ley Cero-Uno de Kolmogorov.
[editar] Probabilidades
Ignorando puntuación, espaciamiento y mayúsculas/minúsculas y asumiendo una distribución uniforme de letras, un mono tiene una probabilidad entre 26 de escribir correctamente la primera letra de Hamlet. La probabilidad de que escriba bien las dos primeras letras es 1 entre 676 (26 veces 26). Cuando 20 letras hayan sido escritas, las probabilidades de que hayan sido las correctas se reducen a una entre 2620=19.928.148.895.209.409.152.340.197.376, aproximadamente la misma probabilidad de que a una misma persona le toquen 4 loterías consecutivas. En caso del texto completo de Hamlet, la probabilidad es tan abismalmente pequeña que difícilmente puede ser concebida en términos humanos. El texto de Hamlet, eliminando cualquier puntuación, contiene unas 130.000 letras.
El mero hecho de que exista una oportunidad, sin embargo, es la clave del teorema de los infinitos monos, dado que la ley Cero-Uno de Kolmogorov dice que dada una serie infinita de sucesos independientes debe tener una probabilidad de 0 o 1. Dado que hemos demostrado arriba que la probabilidad no es 0, debe ser entonces 1. Considerar que un acontecimiento tan improbable es seguro que acontezca ocurrido un tiempo infinito puede darnos una idea de la enormidad del término infinito.
Gian-Carlo Rota escribió un libro de texto sobre la probabilidad (no terminado cuando murió):
“Si el mono pudiese pulsar una tecla cada nanosegundo, el tiempo esperado hasta que escribiese Hamlet es tan grande que la edad estimada del universo es insignificante en comparación... Este no es un buen método de escribir libros (No podemos resistir la tentación de citar a A. N. Whitehead, “No iré al infinito”).”
En The Nature of the Physical World: The Gifford Lectures (MacMillan, Nueva York, 1929, página 72), el físico Arthur Eddington escribió:
“Si dejase mis dedos vagar ociosos sobre las teclas de una máquina de escribir podría pasar que surgiese una oración inteligible. Si una legión de monos estuviesen escribiendo en máquinas de escribir, podrían escribir todos los libros del Museo Británico. La probabilidad es decididamente más favorable que la probabilidad de que las moléculas contenidas en un recipiente ocupasen sólo la mitad del mismo”.
En física, pues, la fuerza del argumento de los monos reside no en la probabilidad de que los monos finalmente produzcan algo inteligible, sino en la realidad práctica de que no lo harán. Cualquier proceso físico que es menos probable que el éxito de los monos es efectivamente imposible. Esta es la base de la segunda ley de la termodinámica.
[editar] Mitos acerca del origen
A veces se ha afirmado, a pesar de que es prácticamente imposible, que el uso de Borel de los monos y las máquinas de escribir en su teorema está inspirado en el argumento usado por Thomas Henry Huxley el 30 de junio de 1860. Huxley discutía con el obispo anglicano de Oxford, Samuel Wilberforce, en la reunión del British Association for the Advancement of Science en Oxford, del cual Wilberforce era vicepresidente. Wilberforce se hallaba irritado por la publicación de El origen de las especies de Charles Darwin unos meses antes, en noviembre de 1859. No existe una transcripción del debate, ni tampoco archivos contemporáneos a los mismos ni las notas de Huxley incluyen referencia alguna al teorema de los infinitos monos. La asociación de dicho debate con el teorema de los infinitos monos es probablemente una leyenda urbana, disparada por el hecho de que dicho debate incluyó ciertas referencias a los monos: El obispo preguntó a Huxley si descendía de un mono por parte de madre o de padre y Huxley contestó que prefería descender de un mono que de alguien que argumentaba tan descortésmente como el obispo. Es díficil pensar que Huxley hiciese referencia a una máquina de escribir. A pesar de que las primeras patentes de las mismas fueron concedidas en 1714, la producción comercial no comenzó hasta 1870 y un orador tan habilidoso como Huxley rara vez hubiese depositado el peso de su argumentación en un invento que hubiese sido desconocido casi para la mayoría de su audiencia.
[editar] Experimentos
Este es un experimento que claramente no puede ser llevado a la práctica, dado que requiere o bien un tiempo infinito o bien recursos infinitos. A pesar de ello, ha inspirado esfuerzos en la creación aleatoria de texto.
El sitio web “The Monkey Shakespeare Simulator”, puesto en marcha el 1 de julio de 2003 contiene un applet en Java que simula una larga población de monos escribiendo al azar, con la intención de ver cuanto tiempo toma a los monos virtuales completar una obra de Shakespeare desde el principio al fin. El 3 de enero de 2005 se encontraron 24 letras consecutivas que formaban un pequeño fragmento de Enrique VI, parte 2:
“RUMOUR. Open your ears; 9r"5j5&?OWTY Z0d "B-nEoF.vjSqj[..."
Posteriormente, el mismo experimento, logró 30 letras de Julio César de Shakespeare:
Flauius. Hence: home you idle CrmS3RSs jbnKR IIYUS2([;3ei'Qqrm'
Debido a limitaciones en la capacidad de procesamiento, el programa usa un modelo probabilístico (mediante el uso de un generador de números aleatorios) en lugar de generar texto aleatorio y compararlo con Shakespeare. Cuando el simulador detecta una similitud (esto es, cuando el generador de números aleatorios genera un determinado valor dentro de un determinado rango), el simulador emula la coincidencias generando el texto de la misma.
En 2003, científicos en Paignton Zoo y la Universidad de Plymouth, en Devon, Inglaterra, reportaron que dejaron un teclado de computadora en la jaula de seis macacos durante un mes. No sólo los monos no hicieron más que producir cinco páginas (PDF) consistentes en una larga serie de la letra S, sino que comenzaron a atacar el teclado con una piedra y siguieron orinando y defecando sobre él.
[editar] Literatura y cultura popular
Los viajes de Gulliver (1782) de Jonathan Swift anticipa la idea central del teorema, describiendo a un profesor de la Gran Academy of Lagado que intenta crear una lista completa de todo el conocimiento teniendo a sus estudiantes constantemente escribiendo líneas de letras al azar haciendo girar las manivelas de un mecanismo (Parte tres, Capítulo cinco).
En un relato corto de Russell Maloney, "Inflexible Logic", aparecido en The New Yorker en 1940, el protagonista siente que su posición económica le obligaba a ayudar a la ciencia, por lo que decidió probar la teoría. Sus monos inmediatamente comenzaron a escribir, sin error, clásicos de ficción y de no ficción. El millonario estaba asombrado de ver las impolutas versiones de los diarios de Samuel Pepys, del cual él sólo poseía una copia de una edición bowdlerizada.
Un argumento similar se hallaba en el relato La biblioteca de Babel, de Jorge Luis Borges, describiendo una biblioteca que contiene todos los libros posibles generados de la permutación de 25 signos en 410 páginas. Entre todos los volúmenes tiene que estar el definitivo, el que contenga la verdad sobre el universo. Por eso los habitantes de la biblioteca consagran su vida a encontrar este libro total.
La cultura popular también hace referencias a este teorema. En un episodio de Los Simpson, Montgomery Burns tiene una de las habitaciones de su mansión llena con mil monos con máquinas de escribir, uno de los cuales es castigado por escribir mal una letra de Historia de dos ciudades de Dickens. En Padre de familia aparecen un grupo de monos colaborando en una línea de Romeo y Julieta de Shakespeare en una escena cortada. En la Guía del Autoestopista Galáctico, Ford Prefect y Arthur Dent, bajo la influencia de la navegación de la improbabilidad infinita son asaltados por un infinito número de monos que quieren su opinión sobre su texto de Hamlet. En las tiras cómicas de Dilbert, Dogbert le dice a Dilbert que su informe le tomaría a tres monos diez minutos. El primer disco de la banda de rock de Leeds the Mekons, "The Quality of Mercy is Not Strnen", editado originalmente por Virgin Records en el Reino Unido en 1979 mostraba la foto de portada de un chimpancé escribiendo en una máquina [1].
El teorema es también la base de la obra de teatro de un acto de David Ives, llamada "Words, Words, Words", que aparece en su colección "Al in the Timing". En ella, tres monos, llamados John Milton, Jonathan Swift y Franz Kafka son recluidos en una jaula hasta que escriban Hamlet. Hay un relato corto en tono de humor de R. A. Lafferty llamado "Been a Long, Long Time" en el cual un ángel es castigado a tener que repasar el texto hasta que en algún futuro distante (después de que un trillón de Universos hayan nacido y muerto) los monos produzcan una copia perfecta de una obra de Shakespeare.
En la obra de Tom Stoppard Rosencrantz & Guildenstern are Dead un personaje dice "Si un millón de monos..." y luego no puede continuar, debido a que el personaje está en Hamlet. Luego, finaliza la frase de manera diferente.
En el año 2000, el RFC del 1 de abril del comité de estándares de Internet de la IETF propuso una «Familia de Protocolos de Infinitos Monos (IMPS)», un método para dirigir una granja de infinitos monos por Internet.[1]
[editar] Enlaces externos
- Borges a pie de página Esta página consagrada al escritor argentino, parece ser el único lugar en Internet donde puede verse en acción al "fantastic typing cybermonkey".
