La incompletitud de Gödel

Los matemáticos han llegado a la convicción de que toda la vasta área de razonamiento de su ciencia puede fundamentarse mediante el método axiomático. Pero en 1931 se encuentra el límite de la matemática del siglo XX, que muestra que esta ciencia realmente no es algo completo. También la mente humana tiene su cuota de "incertidumbre cuántica".

  • Kurt Gödel (Alemania; 1906 - 1978) demuestra que en un sistema axiomático hay proposiciones que no pueden ser demostradas o refutadas con los propios axiomas del sistema; en particular, no puede ser demostrada la propia consistencia de los axiomas. El desarrollo de esta demostración es conocida luego como el "teorema de incompletitud" o "teorema de Gödel".

La Matemática ya no es un "reino de la verdad absoluta": las verdades demostrables no pueden ser distinguidas a priori de las verdades indemostrables. El uso de la razón queda en entredicho.