Testo di assaggio

Ernest Nagel e James R. Newman

La prova di Gödel
con un saggio di Jean-Yves Girard

1992 Bollati Boringhieri editore s.r.l., Torino

Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle «proposizioni formalmente indecidibili d ei
Principia mathematica
e sis temi affini». I ncreduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato su ll 'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimost
...particolari. Se così si vuole, i teoremi di Gödel pongono un limite generale al concetto di dimostrabilità, per lo meno quale oggi noi lo abbiamo, senza con questo indicare altri concetti sostitutivi che risultino più potenti.
Un'altra osservazione va fatta a proposito di quello che abbiamo indicato come secondo risultato dei teoremi di Gödel: la non dimostrabilità della coerenza di una qualunque teoria formale che soddisfi certe ipotesi stabilite, all'interno della teoria stessa.
...
[Fine del testo di assaggio]


Torna a inizio pagina

Leggi l'informativa sull'uso dei cookie