El teorema de incompletitud de Gödel, descubierto por Kurt Gödel en 1931, revolucionó la matemática y la lógica, desafiando la creencia de que se podía encontrar un conjunto de axiomas fundamentales a partir de los cuales se pudieran derivar todas las verdades matemáticas. Durante siglos, los matemáticos buscaron unificar diferentes ramas de la matemática, identificando patrones y principios subyacentes que explicaran fenómenos aparentemente dispares, desde la física newtoniana hasta la selección natural de Darwin. Esta búsqueda culminó en el intento de establecer una base axiomática sólida para toda la matemática, un proyecto ambicioso conocido como el programa de Hilbert.
El programa de Hilbert requería que cualquier sistema formal matemático fuera completo (capaz de probar todas las verdades matemáticas) y consistente (no capaz de probar falsedades). Frege intentó lograr esto con su teoría de conjuntos, pero Bertrand Russell encontró una paradoja que invalidó su sistema. Russell y Whitehead intentaron construir una nueva base en Principia Mathematica, un trabajo monumental que formalizó la matemática utilizando un lenguaje lógico complejo. Sin embargo, Gödel demostró que Principia Mathematica era incompleta: existían afirmaciones matemáticas verdaderas que no podían ser probadas dentro del propio sistema. Su teorema, en esencia, establece que cualquier sistema formal lo suficientemente complejo como para incluir la aritmética básica, será inherentemente incompleto.
Para comprender la demostración de Gödel, es útil simplificar el lenguaje de Principia Mathematica a una forma similar a Lisp (PM-Lisp). Gödel esencialmente construyó una afirmación que, si fuera falsa, implicaría que el sistema era inconsistente. Al formular esta afirmación de manera que se refería a su propia capacidad de ser probada, creó una paradoja: la afirmación se volvía verdadera si el sistema no podía probarla, y falsa si el sistema sí podía probarla. Esto demostró que el programa de Hilbert era imposible de lograr: no se podía crear un sistema formal que fuera a la vez completo y consistente.
Las implicaciones de este descubrimiento son profundas. No solo limitó la ambición de encontrar una base axiomática para toda la matemática, sino que también tuvo un impacto en la filosofía, la informática y la inteligencia artificial, sugiriendo límites fundamentales a lo que se puede lograr a través de sistemas formales. Aunque la demostración es técnicamente compleja, la idea central es sorprendentemente simple: la verdad matemática trasciende la capacidad de cualquier sistema formal para capturarla completamente.