Nivel: Ciencia divulgativa

Expositor: Levis Zerpa

El teorema de Gödel es equiparable por su importancia a la teoría de la relatividad de Albert Einstein, y es una de las construcciones fundamentales de las matemáticas de todos los tiempos. Gödel utilizó el rigor de las matemáticas para demostrar, sin lugar a dudas, que las matemáticas mismas son incompletas. En su artículo de 1931, Gödel demuestra que en cualquier sistema lógico basado en axiomas y reglas de inferencia, existen enunciados cuya verdad o falsedad no vamos a poder decidir, basándonos en la propia lógica matemática del sistema. Antes de Gödel esto ni siquiera se consideraba, pues lo interesante de un enunciado era poder demostrar que era verdadero o bien era falso. A partir de Gödel aparece una diferencia muy sutil entre verdad/falsedad y demostrabilidad.