Los textos posibles son contables, no incontables. Probar esto es fácil. Tome los valores ascii de las letras de la máquina de escribir y convierta cualquier texto dado en una cadena binaria; esta cadena se puede asignar a un entero sin signo (los detalles de la codificación y la endianness no importan). Este conjunto de enteros es claramente un subconjunto de los números naturales, que es un conjunto contable. Cualquier subconjunto de un conjunto contable es contable en sí mismo, por lo que los textos de mono son contables.
Entonces, la afirmación típica “un número infinito de monos golpeando una cantidad infinita de máquinas de escribir seguramente producirá Hamlet es cierta SI admites que la probabilidad de que un mono produzca Hamlet no es cero y las probabilidades son independientes. Por ejemplo, si le das a cada mono probabilidad p, entonces la probabilidad de que ninguno de ellos escriba hamlet es (1-p) ^ n que va a 0 cuando n va al infinito. Lo mismo ocurre si tienes un mono con una máquina de escribir y repites esto indefinidamente (lo que podría ser más fácil entonces conseguir monos infinitos).
La declaración exacta vinculada a la pregunta es “Si un grupo de monos golpea una máquina de escribir, eventualmente uno de ellos escribirá Hamlet”. Esta afirmación es falsa. Desde arriba, si “un grupo” es n, entonces estos monos no necesariamente producirán Hamlet, lo harán con probabilidad 1- (1-p) ^ n.
- Si algo se reduce en un factor 2, ¿es que se ha reducido dos veces por igual?
- ¿Qué proyectos sobre teoremas de muestreo puedo hacer?
- ¿Cuál es actualmente la pregunta matemática más difícil del mundo?
- ¿Cuál es la conexión entre la teoría de conjuntos avanzada (es decir, la que involucra los axiomas cardinales grandes) y el resto de las matemáticas?
- ¿Qué es la matemática de la teoría de juegos?