Teoremas de incompletitud de Gödel
Kurt Gödel · 1931
«Todo sistema matemático consistente y suficientemente potente contiene verdades que no puede demostrar — y no puede demostrar su propia consistencia.»
Qué significa
El resultado que rompió el sueño de Hilbert de una matemática completa y autocertificada: Gödel construyó un enunciado que dice «yo no soy demostrable» — si el sistema lo demuestra, miente; si no, hay una verdad fuera de su alcance. Las matemáticas quedaron para siempre más grandes que cualquier libro de reglas que intente contenerlas.
En la vida real
No es una rareza remota: la hipótesis del continuo resultó indemostrable e irrefutable con los axiomas estándar, exactamente el destino que Gödel había legalizado. Los límites del formalismo tienen teorema.
🕹️ Ábrela en el atlas interactivo (con simulador)
Leyes relacionadas
Paradoja del mentiroso · Teorema de Cantor (los infinitos tienen tamaños)