LOS TEOREMAS DE GÖDEL (1931)

Desarrollados por Kurt Gödel (1906-1978) en 1931 (en su tesis doctoral). Son dos los llamados teoremas de la incompletud.

El primero afirma que en un sistema aritmético completo (capaz de responder a todas las preguntas), aunque los axiomas que lo fundamentan no sean contradictorios, habrá enunciados que no puedan probarse ni refutarse a partir de ellos (indecidibilidad).

El segundo dice que la consistencia del sistema aritmético en cuestión depende de una de esas sentencias indecidibles.

En conclusión: nunca se podrá encontrar un sistema axiomático que sea capaz de demostrar todas las verdades matemáticas y ninguna falsedad.

Einstein y Gödel


Comentarios

ENTRADAS MÁS VISITADAS EN LA ÚLTIMA SEMANA

LAS IDEAS INNATAS DE DESCARTES

DESCARTES Y LA DUDA (actualización)

CRONOLOGÍA DE LAS OBRAS DE PLATÓN

KANT Y LA MENTIRA

KANT: LA BONA VOLUNTAT I EL DEURE MORAL