En 1900, el matemático David Hilbert presentó 23 problemas abiertos que deberían guiar las matemáticas del siglo XX. Entre ellos estaba uno que parecía fundamental: demostrar que las matemáticas son completas y consistentes. Completas: que toda afirmación matemática verdadera puede ser probada. Consistentes: que el sistema nunca produce contradicciones.
Era un proyecto ambicioso que Hilbert creía alcanzable. En 1931, un matemático austríaco de 25 años llamado Kurt Gödel lo destruyó completamente.
Qué dice el teorema de incompletitud
Gödel demostró dos cosas con sus teoremas de incompletitud:
Primer teorema: En cualquier sistema formal lo suficientemente potente para expresar la aritmética básica, hay afirmaciones que son verdaderas pero que no pueden ser probadas dentro del sistema.
Segundo teorema: Ningún sistema formal de ese tipo puede probar su propia consistencia desde dentro.
El primer teorema dice que las matemáticas son incompletas — siempre habrá verdades matemáticas que escapan a cualquier conjunto de axiomas y reglas de inferencia.
El segundo dice que no podés garantizar que un sistema matemático no tenga contradicciones usando solo las herramientas de ese mismo sistema.
La prueba: una frase que habla de sí misma
Lo que hace la demostración de Gödel genial —y perturbadora— es su método.
Gödel tomó una idea conocida del lenguaje ordinario: la paradoja del mentiroso. "Esta frase es falsa." Si la frase es verdadera, entonces es falsa (dice que es falsa). Si es falsa, entonces es verdadera. Paradoja irresoluble.
Gödel codificó algo similar dentro de las matemáticas. Usando un sistema de numeración elegante (los números de Gödel), logró que enunciados matemáticos pudieran hablar sobre enunciados matemáticos. Construyó un enunciado que, traducido, dice aproximadamente: "Este enunciado no puede ser probado dentro de este sistema."
Si ese enunciado fuera falso, entonces podría probarse dentro del sistema — pero entonces el sistema probaría algo falso, lo que significa que es inconsistente.
Si ese enunciado es verdadero, entonces no puede ser probado dentro del sistema — lo que significa que el sistema es incompleto.
En cualquier caso, si el sistema es consistente, hay una verdad que no puede ser probada dentro de él.
Lo que cambió
El teorema de Gödel cerró definitivamente el proyecto de Hilbert. No es posible construir un sistema axiomático que sea simultáneamente completo y consistente —capaz de probar todas las verdades y libre de contradicciones.
Las consecuencias filosóficas se debatieron durante décadas:
Para la filosofía de las matemáticas: las matemáticas no son simplemente la deducción de consecuencias de axiomas elegidos arbitrariamente. Hay verdades matemáticas que "existen" más allá de cualquier sistema formal particular. Esto acercó a algunos filósofos al platonismo matemático — la idea de que los objetos matemáticos tienen existencia independiente.
Para la computación: Alan Turing, en su trabajo de 1936 que fundó la computación teórica, extendió los argumentos de Gödel para demostrar que hay problemas que no pueden ser resueltos por ningún algoritmo computacional — el famoso problema de la parada. El teorema de incompletitud de Gödel y el teorema de indecidibilidad de Turing son primos.
Para la inteligencia artificial: algunos filósofos (notablemente John Lucas y Roger Penrose) argumentaron que el teorema de Gödel muestra que las mentes humanas no pueden ser reducidas a sistemas formales, porque podemos "ver" verdades que ningún sistema formal puede probar. Este argumento es controversial y refutado por muchos lógicos.
Lo que el teorema no dice
El teorema de Gödel fue malinterpretado con frecuencia en la filosofía y la cultura popular:
No dice que "todo es relativo" o que "la verdad no existe". El teorema habla de sistemas formales específicos, no de la realidad en general.
No dice que las matemáticas son inconsistentes. Dice que no podés probar la consistencia desde dentro. Las matemáticas pueden perfectamente ser consistentes — solo que no podemos saberlo con la certeza que Hilbert quería.
No dice que hay un límite fundamental al conocimiento humano en general. Es un resultado sobre sistemas formales axiomáticos, no sobre la cognición humana ni sobre el método científico.
No se aplica a sistemas físicos, biológicos, ni a la conciencia de ninguna manera directa. Las extensiones del argumento de Gödel a esos dominios son metáforas, no demostraciones.
Kurt Gödel
Gödel publicó sus teoremas en 1931, a los 25 años. Pasó gran parte de su vida en Princeton, donde fue amigo cercano de Einstein. En sus últimos años desarrolló una paranoia severa —creía que alguien intentaba envenenarlo— y se negó a comer. Murió en 1978 por desnutrición, con 71 años.
Su demostración es considerada uno de los resultados intelectuales más profundos del siglo XX. Mostró que hay límites estructurales en cualquier sistema formal de razonamiento — que la completitud y la consistencia son incompatibles más allá de cierta complejidad.
El matemático John von Neumann, que asistió a la conferencia donde Gödel anunció sus resultados por primera vez, entendió las implicaciones antes que casi nadie. Escribió en sus notas: "Es un trabajo de primera clase."
