| | | Prefazione |
| | 1. | L'uomo, l'opera e il contesto e culturale |
| | 1.1. | La vita di Gödel: alcune notizie fondamentali |
| | 1.2. | Lo sviluppo della logica matematica |
| | 1.3. | L'opera di Gödel |
| | 2. | Il teorema di completezza semantica |
| | 2.1. | Linguaggi, mondi, dimostrazioni |
| | 2.2. | Se A è comunque vera, allora è dimostrabile |
| | 2.3. | Completezzza semantica e indecidibilità |
| | 2.4. | Complementi storici e bibliografici |
| | 3. | I teoremi di incompletezza |
| | 3.1. | Funzioni e predicati ricorsivi |
| | 3.2. | L'aritmetizzazione della sintassi di un linguaggio |
| | 3.3. | Il lemma di diagonalizzazione |
| | 3.4. | Enunciati aritmetici formalmente indecidibili |
| | 3.5. | I teoremi di ncompletezza: qualchee istruzione per l'uso |
| | 3.6. | Gödel e il programma di Hilbert |
| | 3.7. | La mente e le macchine |
| | 3.8. | Complementi storici e bibliografici |
| | 4. | L'incompletezza all'opera: l'ipotesi del continuo di Cantor |
| | 4.1. | Il concetto matematico di insieme |
| | 4.2. | La teoria assiomatica degli insiemi |
| | 4.3. | Il problema del continuo |
| | 4.4. | Gli insiemi costruibili |
| | 4.5. | Il risultato di Gödel |
| | 4.6. | Proposizioni matematiche assolutamente indecidibili |
| | 4.7. | L'incompletabilità della matematica |
| | 4.8. | Complementi storici e bibliografici |
| | 5. | Gli altri contributi logici di Gödel |
| | 5.1. | I rapporti tra la logica classica e quella intuizionista |
| | 5.2. | Un metodo di decisione per alcune classi di fomule del pim'odine |
| | 5.3. | Sulla logica poposizionale classica |
| | 5.4. | Sulla lunghezza delle dimostrazioni |
| | 5.5. | La consistenza dell'aritmetica |
| | 5.6. | Altri temi nell'opera logica e matematica di Gödel |
| | 6. | Gödel e la filosofia |
| | 6.1 | L'esistenza dei concetti matematici |
| | 6.2. | Natura e limiti della conoscenza degli enti matematici |
| | 6.3. | La mente umana e la dinamica della conoscenza matematica |
| | 6.4. | La filosofia nell'opera di Gödel e l'immagine di Gödel “filosofo” |
| | | Bibliografia |
| | | Indice dei nomi |
