Teorema del mono infinito 1

Teorema del mono infinito

El teorema del mono infinito afirma que un mono pulsando teclas al
azar sobre un teclado durante un periodo de tiempo infinito casi
seguramente podr escribir finalmente cualquier libro que se halle en la
Biblioteca Nacional de Francia. En una nueva exposicin del mismo
teorema, ms popular entre los angloparlantes, los monos podran
escribir las obras de William Shakespeare.

En este contexto, el trmino casi seguramente es un trmino De acuerdo con el segundo enunciado
matemtico con un sentido preciso y el "mono" no es en realidad un Borel-Cantelli, con suficiente tiempo, un
mono, sino que se trata de una metfora de la creacin de una chimpanc escribiendo al azar podra escribir una
obra de Shakespeare (o cualquier otro texto).
secuencia aleatoria de letras ad infinitum.
La idea original fue planteada por mile Borel, en 1913, en su libro
Mcanique Statistique et Irrversibilit. Borel dijo que si un milln de monos mecanografiaran diez horas al da era
extremadamente improbable que pudiesen producir algo que fuese igual a lo contenido en los libros de las
bibliotecas ms ricas del mundo y aun as, en comparacin, sera an ms inverosmil que las leyes de la estadstica
fuesen violadas, siquiera someramente. Para Borel, el propsito de la metfora de los monos era ilustrar la magnitud
de un acontecimiento extraordinariamente improbable.

Despus de 1970, la popular imagen de los monos se extendi hasta el infinito, convirtindose en que si un infinito
nmero de monos mecanografiaran por un intervalo infinito de tiempo produciran texto legible. Insistir en ambos
infinitos es, empero, excesivo. Un solo mono inmortal que ejecutase infinitamente tecleos sobre una mquina de
escribir podra casi con toda seguridad escribir cualquier texto dado y un nmero infinito de monos podran producir
todo texto posible inmediatamente, sin demora. De hecho, en ambos casos, el texto sera producido un infinito
nmero de veces.

Bosquejo intuitivo del teorema

El teorema del mono infinito es directamente demostrable, incluso sin necesidad de resultados ms avanzados. Si dos
acontecimientos son estadsticamente 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 Sdney en un da en particular es 0,3 y la
probabilidad de que ese mismo da haya un terremoto en San Francisco es de un 0,8, entonces, la probabilidad de que
ambos sucedan el mismo da 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
estadsticamente 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 10000
millones, X=53% y para una n=100000 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 pequeo como uno quiera. Si
considersemos las veces que se escribira banana entre bloques de 6 letras, X tendera a 0 incluso ms
rpidamente. El mismo argumento se aplica si el mono estuviese escribiendo cualquier otra cadena de caracteres de
cualquier tamao.
Teorema del mono infinito 2

Esta demostracin muestra por qu infinitos monos podran (con casi toda probabilidad) producir un texto tan
rpidamente como pudiese ser escrito por un mecanografiador humano copindolo 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 100000 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.

Enunciado formal
A pesar de que el teorema del mono infinito es a menudo expresado de manera informal, un enunciado formal del
mismo esclarecera su significado exacto. Es ms fcil 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 podran ser expresadas formalmente como:
Dado una cadena infinita donde cada carcter es elegido de manera aleatoria, cualquier cadena finita casi
seguramente (probabilidad 1) ocurre como subcadena de la primera en alguna posicin (de hecho, en infinitas
posiciones).
Dada una infinita secuencia de infinitas cadenas iguales a la primera, donde cada carcter 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 mxima 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 tamao a, entonces puede ser
demostrado que la probabilidad de que una de las primeros an ocurra es al menos 1/2. Entonces, 20an intentos
podran ser suficientes para escribir el texto dado con una probailidad muy prxima a 1. El problema incluso hace
paralelismo bien: k monos pueden escribir el texto k veces ms rpido. Para un n pequeo no es demasiado malo. Por
ejemplo, mil monos escribiendo letras al azar a un ritmo de 100 caracteres por minuto podran probablemente
escribir la palabra banana en unas seis semanas.
Este teorema es una instancia de la Ley Cero-Uno de Kolmogrov.

Probabilidades
Ignorando puntuacin, espaciamiento y maysculas/minsculas y asumiendo una distribucin 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
20
26 =19.928.148.895.209.409.152.340.197.376, aproximadamente la misma probabilidad de que a una misma
persona le toquen 4 loteras consecutivas. En caso del texto completo de Hamlet, la probabilidad es tan abismalmente
pequea que difcilmente puede ser concebida en trminos humanos. El texto de Hamlet, eliminando cualquier
puntuacin, 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 Kolmogrov 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.
Teorema del mono infinito 3

Considerar que un acontecimiento tan improbable es seguro que acontezca ocurrido un tiempo infinito puede darnos
una idea de la enormidad del trmino 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 comparacin... Este no es un buen mtodo de escribir
libros (No podemos resistir la tentacin de citar a A. N. Whitehead, No ir al infinito).
En The Nature of the Physical World: The Gifford Lectures (MacMillan, Nueva York, 1929, pgina 72), el fsico
Arthur Eddington escribi:
Si dejase mis dedos vagar ociosos sobre las teclas de una mquina de escribir podra pasar que surgiese una oracin
inteligible. Si una legin de monos estuviesen escribiendo en mquinas de escribir, podran escribir todos los libros
del Museo Britnico. La probabilidad es decididamente ms favorable que la probabilidad de que las molculas
contenidas en un recipiente ocupasen slo la mitad del mismo.
En fsica, 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 prctica de que no lo harn. Cualquier proceso fsico que es menos
probable que el xito de los monos es efectivamente imposible. Esta es la base de la segunda ley de la
termodinmica.

Mitos acerca del origen

A veces se ha afirmado, a pesar de que es prcticamente imposible, que el uso de Borel de los monos y las mquinas
de escribir en su teorema est inspirado en el argumento usado por Thomas Henry Huxley el 30 de junio de 1860.
Huxley discuta con el obispo anglicano de Oxford, Samuel Wilberforce, en la reunin del British Association for the
Advancement of Science en Oxford, del cual Wilberforce era vicepresidente. Wilberforce se hallaba irritado por la
publicacin de El origen de las especies de Charles Darwin unos meses antes, en noviembre de 1859. No existe una
transcripcin del debate, ni tampoco archivos contemporneos a los mismos ni las notas de Huxley incluyen
referencia alguna al teorema del mono infinito. La asociacin 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 descenda de un mono por parte de madre o de padre y Huxley contest que
prefera descender de un mono que de alguien que argumentaba tan descortsmente como el obispo. Es difcil pensar
que Huxley hiciese referencia a una mquina de escribir. A pesar de que las primeras patentes de las mismas fueron
concedidas en 1714, la produccin comercial no comenz hasta 1870 y un orador tan habilidoso como Huxley rara
vez hubiese depositado el peso de su argumentacin en un invento que hubiese sido desconocido casi para la
mayora de su audiencia.

Experimentos
Este es un experimento que claramente no puede ser llevado a la prctica, dado que requiere o bien un tiempo
infinito o bien recursos infinitos. A pesar de ello, ha inspirado esfuerzos en la creacin aleatoria de texto.
El sitio web The Monkey Shakespeare Simulator,[1] puesto en marcha el 1 de julio de 2003 contiene un applet en
Java que simula una gran poblacin de monos escribiendo al azar, con la intencin 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 pequeo 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 Csar de Shakespeare:

Flauius. Hence: home you idle CrmS3RSs

jbnKR IIYUS2([;3ei'Qqrm'
Teorema del mono infinito 4

Debido a limitaciones en la capacidad de procesamiento, el programa usa un modelo probabilstico (mediante el uso
de un generador de nmeros aleatorios) en lugar de generar texto aleatorio y compararlo con Shakespeare. Cuando el
simulador detecta una similitud (esto es, cuando el generador de nmeros aleatorios genera un determinado valor
dentro de un determinado rango), el simulador emula la coincidencias generando el texto de la misma.
En 2003, cientficos 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 slo los monos no hicieron ms que producir
cinco pginas 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.[2]

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 lneas de letras al azar haciendo girar las manivelas de un mecanismo (Parte tres,
Captulo cinco).
En un relato corto de Russell Maloney, "Inflexible Logic", aparecido en The New Yorker en 1940, el protagonista
siente que su posicin econmica le obligaba a ayudar a la ciencia, por lo que decidi probar la teora. Sus monos
inmediatamente comenzaron a escribir, sin error, clsicos de ficcin y de no ficcin. El millonario estaba asombrado
de ver las impolutas versiones de los diarios de Samuel Pepys, del cual l slo posea una copia de una edicin
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 permutacin de 25 signos en 410 pginas. Entre
todos los volmenes 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. Borges hace referencia explcita a la idea de un mono
infinito en su ensayo La biblioteca total,[3] que de alguna manera es precursor de La biblioteca de Babel, trazando,
adems, el origen de la idea hasta un pasaje sobre la cosmogona de Leucipo en el primer libro de Metafsica de
Aristteles.
Michael Ende en su famoso libro La historia interminable plasma la misma idea en un pas de Fantasa, cuyo
vigilante es un mono. Sus habitantes, llamados los Antiguos Emperadores, juegan "El juego de la arbitrariedad", en
el que lanzan una especie de dados de letras cuyos resultados van compilando. Cada ciertos aos surgen palabras, "si
se sigue jugando cien aos, mil aos, cien mil aos, con toda probabilidad saldr una vez, por casualidad, un poema.
Y si se juega eternamente tendrn que surgir todos los poemas, todas las historias posibles, y luego todas las historias
de historias, incluida sta en la que precisamente estamos hablando".[4]
La cultura popular tambin hace referencias a este teorema. En un episodio de Los Simpson, Last Exit to Springfield,
Montgomery Burns tiene una de las habitaciones de su mansin llena con mil monos con mquinas 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 lnea de Romeo y Julieta de Shakespeare en una escena cortada. En
la Gua del Autoestopista Galctico, Ford Prefect y Arthur Dent, bajo la influencia de la navegacin de la
improbabilidad infinita son asaltados por un infinito nmero de monos que quieren su opinin sobre su texto de
Hamlet. En las tiras cmicas de Dilbert, Dogbert le dice a Dilbert que su informe le tomara a tres monos diez
minutos. El primer disco de la banda de punk 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 mquina.[5]
El teorema es tambin la base de la obra de teatro de un acto de David Ives, llamada "Words, words, words", que
aparece en su coleccin "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 algn
Teorema del mono infinito 5

futuro distante (despus de que un trilln 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 milln de monos..." y
luego no puede continuar, debido a que el personaje est en Hamlet. Luego, finaliza la frase de manera diferente.
En el ao 2000, el RFC del 1 de abril del comit de estndares de Internet de la IETF propuso una Familia de
Protocolos de Infinitos Monos (IMPS), un mtodo para dirigir una granja de infinitos monos por Internet.
En el nmero 25 del cmic Animal Man de Grant Morrison, titulado "el rompecabezas del mono", aparece este
animal en la portada escribiendo a mquina el guion del mismo. En el interior, este mismo mono no slo escribe
obras de Shakespeare, adems guioniza tebeos.
Robert Wilensky observ jocosamente en 1996: Todos hemos odo decir que un milln de monos aporreando un
milln de mquinas de escribir eventualmente escribiran las obras completas de Shakespeare. Hoy, gracias a
Internet, sabemos que eso no es verdad.[6]
El comediante Bob Newhart tiene desde los aos 1960 un gag en el cual un tcnico de laboratorio supervisa un
experimento con "un nmero infinito de monos" y descubre que uno de los monos ha escrito "Ser o no ser; es es la
gezortenblatt." ('To be or not to be that is thegrrdnm zsplkt.)[7][8][9]
Goats, un popular webcmic ilustrado por Jonathan Rosenberg, comenz en agosto de 2005 una historia llamada
infinite typewriters (infinitos mecangrafos) donde varios personajes se teletransportan accidentalmente a una
dimensin alternativa. All descubren que esa dimensin est poblada de monos con mquinas de escribir,
presumiblemente escribiendo los guiones para otras muchas dimensiones.[10]

Notas
[1] Vase el sitio web The Monkey Shakespeare Simulator (http:/ / web. archive. org/ web/ 20040603094742/ http:/ / user. tninet. se/ ~ecf599g/
aardasnails/ java/ Monkey/ webpages/ #results)
[2] Vanse los resultados del experimento en el texto Notes towards the complete works of Shakespeare (http:/ / www. vivaria. net/
experiments/ notes/ publication/ NOTES_EN. pdf) en la web vivaria.net (en formato PDF). (Enlace consultado el 19 de agosto de 2008.)
[3] Borges: La biblioteca total (http:/ / www. literatura. org/ Borges/ LaBibliotecaTotal. html)
[4] La historia interminable, Michael Ende.
[5] El ttulo del disco es un verso de Shakespeare (the quality of mercy is not strain'd) casi bien escrito. Vase aqu la portada y una explicacin
(en ingls) del ttulo del lbum (http:/ / www. mekons. de/ mercy. htm). (Enlace consultado el 18 de agosto de 2008.
[6] Vase Parable of the Monkeys (en ingls) (http:/ / www. angelfire. com/ in/ hypnosonic/ Parable_of_the_Monkeys. html) (enlace consultado
el 18 de agosto de 2008).
[7] "Hello? This is Bob" (http:/ / www. washingtonpost. com/ ac2/ wp-dyn/ A28521-2002Oct27?language=printer), Ken Ringle, Washington
Post, 28 de octubre de 2002, page C01.
[8] Flashback: Computer poetry from 1985 (http:/ / aroundcny. com/ technofile/ texts/ compupoet85. html), Al Fasoldt, The Syracuse
Newspapers, 1985.
[9] La fecha de 1960 se da en Monkeying Around with Text (http:/ / www. chass. utoronto. ca/ epc/ chwp/ CHC2005/ Butler/ Butler. htm), Terry
Butler, University of Alberta, Computing in the Humanities Working Papers, enero de 2007.
[10] Vase Infinite typewriters (http:/ / goats. com/ archive/ 050718. html)

Enlaces externos
Borges a pie de pgina (http://sapiens.ya.com/borges-JL) Esta pgina consagrada al escritor argentino, parece
ser el nico lugar en Internet donde puede verse en accin al "fantastic typing cybermonkey".
Fuentes y contribuyentes del artculo 6

Fuentes y contribuyentes del artculo

Teorema del mono infinito Fuente: http://es.wikipedia.org/w/index.php?oldid=70877922 Contribuyentes: Belgrano, Cacique500, Cad, Chomoi, Cronopios, DandyCC, Dr Juzam, Farisori,
Fernando H, Filipo, GermanX, Gerwoman, Hlnodovic, Hossmann, Ignacionr, Jarisleif, Javier Carro, Juan Mayordomo, LPR, Luis1970, Magister Mathematicae, Manolo2994, Manu Lop,
Megapelayo, Nachosan, Nami, OMenda, Osado, Patricio.lorente, Petronas, Platonides, R4GE, Rafa sanz, Rikivillalba, Rosarino, Tano4595, Uruk, Wikielwikingo, Wikiwert, Xatufan, 25 ediciones
annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:monkey-typing.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Monkey-typing.jpg Licencia: Public Domain Contribuyentes: New York Zoological Society

Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/