| | | [collana] |
| | | [collana] |
| | | [frontespizio] |
| | | [colophon] |
| | | Indice |
| | | {titolo} |
| 1 | | Introduzione |
| 3 | 1. | Miracoli e paradossi |
| 3 | 1.1. | Miracoli |
| 4 | 1.2. | Paradossi |
| 5 | 1.3. | «Ma non è una cosa seria» |
| 12 | 1.4. | Degni di fede |
| 14 | 1.5. | Specchi deformanti |
| 18 | 1.6. | Euclide o non Euclide |
| 21 | 2. | Matematica e infinito |
| 21 | 2.1. | Breve storia dell'infinito matematico |
| 31 | 2.2. | I paradossi di Galileo |
| 33 | 2.3. | Contare o confrontare? |
| 34 | 2.4. | L'albergo di Hilbert |
| 36 | 2.5. | «Lo vedo ma non lo credo» |
| 42 | 2.6. | Il paradiso di Cantor |
| 47 | 2.7. | L'inferno di Cantor |
| 49 | 2.8. | Le sorprese dell'infinito |
| 53 | 2.9. | Un quiz preserale |
| 57 | 3. | Fondamenti e turbamenti |
| 57 | 3.1. | Frege e Russell |
| 60 | 3.2. | Coerenti o evidenti? |
| 62 | 3.3. | Matematica e salsicce |
| 63 | 3.4. | Un minimo di ordine |
| 67 | 3.5. | Come evitare i paradossi |
| 72 | 3.6. | I rischi di una scelta |
| 76 | 3.7. | Come spiegare i miracoli |
| 81 | 4. | Il programma di Hilbert |
| 81 | 4.1. | «Wir müssen issen, ir erden issen» |
| 81 | 4.2. | Vero o dimostrabile? |
| 86 | 4.3. | L'algebra della mente |
| 91 | 4.4. | Napoleone e i numeri primi |
| 96 | 4.5. | Gli assiomi di Peano |
| 100 | 5. | Gödel e la completezza |
| 100 | 5.1. | Il Signor Perché |
| 102 | 5.2. | Il Teorema di completezza |
| 106 | 5.3. | Tempi di guerra |
| 108 | 5.4. | Löwenheim, Skolem e Herbrand |
| 111 | 5.5. | Verso nuovi mondi |
| 117 | 6. | Gödel e l'incompletezza |
| 117 | 6.1. | La cacciata dall'Eden |
| 127 | 6.2. | Matematica e pazzia |
| 132 | 6.3. | Completezza e Incompletezza |
| 133 | 6.4. | Il migliore dei mondi possibili |
| 135 | 6.5. | L'ipotesi del continuo |
| 141 | 7. | Computabilmente |
| 141 | 7.1. | Calcolemus! |
| 146 | 7.2. | Una visita a Princeton |
| 148 | 7.3. | L'impigato diligente |
| 154 | 7.4. | Uomo e macchina |
| 159 | 7.5. | Problemi senza risposta |
| 167 | 7.6. | Troppo tardi |
| 171 | 7.7. | I mari del Sud |
| 173 | | Un po' di bibliografia |
| 175 | | Indice dei nomi |
| 177 | | _ |
| 179 | | [collana.lista] |
| 184 | | [scheda catalografica] [ di CAeB ] |
| 184 | | [tipografia] |
| 184 | | ___ |