Verdades que no se pueden probar · Enseñanza 8
Kurt Gödel probó que cualquier sistema formal consistente, lo bastante potente para expresar aritmética básica, tiene que contener al menos un enunciado verdadero que ese mismo sistema no puede demostrar. La ambición de Hilbert se topó con un límite matemático, no técnico.
Al terminarla puedes decir primer teorema de incompletitud y saber usarlo.
Dónde te sirve
Crea tu cuenta gratis y sigue desde donde quedaste.
Con tu cuenta terminas este tema completo, las 12 enseñanzas.