Verdades que no se pueden probar · Enseñanza 6
El problema de "esta frase es falsa" es que la verdad y la falsedad, dentro de un sistema formal, no son cosas que el sistema mismo pueda expresar fácilmente. Gödel necesitaba que un sistema aritmético pudiera hablar sobre sus propias demostraciones, usando solo números.
Al terminarla puedes decir numeración de Gödel 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.