Los Teoremas de Incompletitud de Gödel, demostrados por el lógico austriaco Kurt Gödel en 1931, revolucionaron nuestra comprensión de los fundamentos de las matemáticas. Estos teoremas demuestran que ningún sistema formal de axiomas -un conjunto finito de reglas básicas- puede ser completo: siempre existirán verdades matemáticas que no pueden derivarse lógicamente de dichos axiomas. Durante siglos, el método axiomático fue considerado el ideal para organizar el conocimiento científico, donde todas las verdades de un campo deberían poder derivarse de un pequeño conjunto de proposiciones autoevidentes. Gödel demostró matemáticamente que esto es imposible para gran parte de las matemáticas, incluyendo incluso los números enteros positivos (1, 2, 3...). El primer teorema establece que todo sistema formal suficientemente expresivo contendrá proposiciones verdaderas pero indemostrables dentro del sistema. Esto afectó directamente al Programa de Hilbert, que aspiraba a formalizar completamente las matemáticas mediante reglas mecánicas de manipulación de símbolos, eliminando la intuición. Un ejemplo notable es la hipótesis del continuo, que afirma que el conjunto de los números reales es el segundo conjunto infinito más pequeño después de los naturales. Esta resultó ser indecidible: pueden añadirse axiomas para demostrarla verdadera o falsa, dependiendo de las preferencias elegidas. Las implicaciones trascienden las matemáticas hacia la física: las leyes físicas se formulan en lenguaje matemático, y problemas como las singularidades en relatividad general o los infinitos en el modelo estándar de partículas podrían estar relacionados con estas limitaciones inherentes. Como concluyen los expertos consultados, las verdades matemáticas no forman un conjunto uniforme de certezas igualmente indubitables, sino que varían gradualmente desde hechos evidentes hasta hipótesis cada vez más inciertas.
Gödel revela que las matemáticas siempre tendrán verdades indemostrables
