La intuición tiene su lógica : Gödel, los teoremas de incompletitud / Gustavo Ernesto Piñeiro

Bibliografía: página 163

Cap. 1. La crisis de los fundamentos - Cap. 2. El primer teorema de Gödel - Cap. 3. El segundo teorma de Gödel - Cap. 4. Gödel y Einstein - Cap. 5. Las consecuencias del trabajo de Gödel

Kurt Gödel cambió con su trabajo la manera de entender las matemáticas. Los dos "teoremas de incompletitud" que formuló en 1931 revelaron, por medio de las herramientas de la lógica formal, la fragilidad de los fundamentos del gran edificio matemático que se venía construyendo laboriosamente desde la época de Euclides. En adelante, la comunidad científica iba a verse obligada a admitir que la validez de una conjetura podía estar más allá de todo intento racional de demostración, y que la intuición nunca podría ser desterrada del reino de las matemáticas. Formado en la prolífica Viena de entreguerras, Gödel pronto se interesó por la epistemología y las teorías de la demostración. Como su Amigo Albert Einstein, cuestionó las certezas de la ciencia del momento y, del mismo modo, su vida estuvo marcada por la guerra y el exilio.