El teorema de los cuatro colores: la primera vez que una máquina superó a los matemáticos
The Four Colour Theorem: The first time machines mogged mathematicians
En 1976, Kenneth Appel y Wolfgang Haken resolvieron el teorema de los cuatro colores con la ayuda de un ordenador que realizó 1.200 horas de cálculo y 10.000 millones de decisiones. La prueba, imposible de verificar a mano, desató un acalorado debate: ¿puede una demostración sin razonamiento humano considerarse matemática? Las reacciones dividieron a la comunidad, y la edad fue un factor clave en la aceptación.
«¡Dios no permitiría que el teorema se demostrara con un método tan terrible!»
- fhdkweig
El problema de la demostración era que sabíamos que el TFC era verdadero, pero no teníamos idea de por qué. Una buena/elegante demostración nos enseña algo nuevo sobre cómo ese problema se relaciona con otros problemas. No se trata solo de obtener una respuesta de verdadero/falso a la conjetura.
- layer8
No sabía que ya habíamos inventado las máquinas del tiempo. ;)
- jjtheblunt
el título me hizo pensar en una máquina mucho más antigua que se usaba para calcular