Verdades que no se pueden probar · Enseñanza 7

Existe una fórmula matemática que ningún sistema formal puede demostrar ni refutar.

No se trata de que nadie haya encontrado todavía la demostración: se trata de que, dentro de ese sistema específico, la demostración simplemente no existe, en ninguna dirección. A eso se le llama un enunciado indecidible.

Al terminarla puedes decir indecidible y saber usarlo.

Dónde te sirve

Vas bien. Sigamos.

Crea tu cuenta gratis y sigue desde donde quedaste.

Con tu cuenta terminas este tema completo, las 12 enseñanzas.