| 7 | | Presentazione |
| 15 | I. | Con gli occhi rivolti a Euclide |
| 16 | 1. | Euclide |
| 21 | 2. | Archimede |
| 29 | 3. | Algebra |
| 32 | 4. | Teorie senza assiomi |
| 36 | 5. | Assiomi oscuri |
| 42 | 6. | Assiomi non veri |
| 45 | 7. | Non contraddittorietà relativa |
| 46 | 8. | Assiomi vuoti |
| 49 | 9. | Il principio di dualità |
| 52 | 10. | La logica formale |
| 59 | II. | La stagione di Hilbert |
| 59 | 1. | Il metodo ipotetico-deduttivo |
| 65 | 2. | Una rivoluzione compiuta nei secoli |
| 70 | 3. | Vino vecchio e otri nuovi |
| 75 | 4. | Hilbert e la geometria |
| 82 | 5. | L'aritmetizzazione dell'Analisi |
| 87 | III. | Aspettando Gödel |
| 88 | 1. | Non contraddittorietà e completezza |
| 95 | 2. | Il programma di Hilbert |
| 100 | 3. | La ritirata di Bourbaki |
| 117 | IV. | Incompletezza |
| 117 | 1. | Aritmetizzazione dei linguaggi |
| 125 | 2. | Paradossi |
| 136 | 3. | I due teoremi di incompletezza |
| 141 | V. | Aspettando Turing |
| 143 | 1. | «Effettivo» e «calcolabile» |
| 147 | 2. | Macchine di Turing |
| 154 | 3. | Problemi indecidibili |
| 159 | 4. | Indecidibilità della logica |
| 163 | VI. | Mente e macchine |
| 163 | 1. | Verità e coerenza |
| 166 | 2. | Wittgenstein contro Gödel |
| 171 | 3. | Intelligenza artificiale |
| 177 | | Con gli occhi rivolti al futuro |
| 181 | | Nota bibliografica |
| 187 | | Indice dei nomi |
| 189 | | _ |