¿Qué es?
El teorema de incompletitud de Kurt Gödel, publicado en 1931, establece que en cualquier sistema formal suficientemente complejo para incluir la aritmética existen proposiciones verdaderas que no pueden ser demostradas dentro del sistema. También demuestra que la consistencia de dicho sistema no puede ser probada por sus propios medios.
Significado
Estos resultados tienen profundas implicaciones en la lógica y la filosofía de las matemáticas, pues muestran que no es posible construir un conjunto completo de axiomas capaces de demostrar todas las verdades aritméticas. El teorema puso fin a los intentos de David Hilbert de establecer una base formal y completa para las matemáticas.
Curiosidades
El teorema utiliza una técnica de autorefencia parecida a la paradoja del mentiroso y el sistema de codificación de Gödel para traducir enunciados matemáticos a números. Gödel demostró así que algunos enunciados dicen, esencialmente, ‘esto no puede ser demostrado’, creando una limitación fundamental para los sistemas formales.