| 1 | | [collana] |
| 3 | | [frontespizio] |
| 4 | | [colophon] |
| 5 | | Avvertenza |
| | | {titolo} |
| 9 | | Introduzione [ di Carlo Cellucci ] |
| 9 | 1. | Filosofia della matematica e matematica |
| 17 | 2. | Il platonismo |
| 33 | 3. | Il formalismo |
| 44 | 4. | Le definizioni finitiste |
| 48 | 5. | Le dimostrazioni predicativiste |
| 62 | 6. | Le dimostrazioni intuizioniste |
| 72 | | Riferimenti bibliografici |
| 81 | | La logica matematica di Russell [ di Kurt Friedrich Gödel ] |
| 113-136 | | Che cos'è il problema del continuo di Cantor? [ di Kurt Friedrich Gödel ] |
| 113 | 1. | Il concetto di numero cardinale |
| 115 | 2. | Il problema del continuo, l'ipotesi del continuo e i risultati parziali finora ottenuti circa la sua verità |
| 117 | 3. | Riformulazione del problema in base a un'analisi dei fondamenti della teoria degli insiemi, e risultati ottenuti in tal senso |
| 124 | 4. | Alcune osservazioni sulla questione: in che senso e in quale direzione ci si può attendere una soluzione del problema del continuo? |
| 128 | | Definizione di alcuni termini tecnici |
| 130 | | Supplemento alla seconda edizione |
| 135 | | Poscritto |
| 137 | | Osservazioni al convegno su problemi di matematica per il secondo centenario di Princeton [ di Kurt Friedrich Gödel ] |
| 143 | | Matematica e logica [ di Alonzo Church ] |
| 153 | | Osservazioni sulla definizione e sulla natura della matematica [ di Haskell Brooks Curry ] |
| 154 | 1. | Il problema della verità matematica |
| 155 | 2. | La definizione formalista della matematica |
| 157 | 3. | Verità e accettabilità |
| 159 | 4. | Matematica e logica |
| 161 | | Sull'infinito [ di David Hilbert ] |
| 185 | | Il programma di Hilbert [ di Georg Kreisel ] |
| 185 | 1. | - |
| 187 | 2. | La fabbrica della concezione di Hilbert |
| 189 | 3. | Critica dei dettagli |
| 189 | 4. | Critica delle assunzioni fondamentali |
| 191 | 5. | Critica delle assunzioni fondamentali (continuazione) |
| 192 | 6. | Conclusione |
| 194 | 7. | - |
| 195 | I. | L'analisi sintattica |
| 195 | 8. | - |
| 196 | 9. | Il problema della decisione |
| 197 | 10. | Il metodo di ε-sostituzione |
| 199 | 11. | Formulazioni senza tagli |
| 202 | 12. | L'intervento di Gödel |
| 202 | II. | Il significato dell'analisi sintattica |
| 202 | 13. | Il significato matematico |
| 204 | 14. | Osservazione sul metodo adoperato nell'analisi sintattica |
| 205 | 15. | Il programma di Hilbert modificato |
| 208 | 16. | Osservazione |
| 209 | | La dimostrazione finitista |
| 209 | 17. | - |
| 211 | 18. | Osservazioni generali |
| 217 | | La completezza del calcolo dei redicati |
| 217 | 19. | - |
| 219 | | Riferimenti bibliografici |
| 220 | | Poscritto alla presente traduzione |
| 223 | | Fodamenti storici, principi e metodi dell'intuizionismo [ di Luitzen Egbertus Jan 'Bertus' Brouwer ] |
| 226 | | Primo atto dell'intuizionismo |
| 229 | | Secondo atto dell'intuizionismo |
| 233 | | Disputa [ di Arend Heyting ] |
| 247 | | Riferimenti bibliografici |
| 249 | | L'intuizionismo in matematica [ di Arend Heyting ] |
| 249 | 1. | Nozioni fondamentali |
| 252 | 2. | Spiegamenti e specie |
| 254 | 3. | La nozione di costruttività |
| 256 | 4. | La logica |
| 260 | 5. | Le obiezioni di Griss |
| 263 | | Riferimenti bibliografici |
| 269 | | Verso un nominalismo costruttivo [ di Nelson Goodman ET Willard Van Orman Quine ] |
| 269 | 1. | Rinuncia alle entità astratte |
| 271 | 2. | Rinuncia all'infinito |
| 272 | 3. | Il problema nominalista |
| 274 | 4. | Alcune riduzioni nominaliste |
| 280 | 5. | Elementi di sintassi nominalista |
| 283 | 6. | Alcune definizioni ausiliarie |
| 285 | 7. | Variabili e quantificazioni |
| 286 | 8. | Formule |
| 289 | 9. | Assiomi e regole |
| 293 | 10. | Dimostrazioni e teoremi |
| 297 | 11. | Conclusione |
| 299 | | Un mondo di individui [ di Nelson Goodman ] |
| 299 | 1. | Individui e classi |
| 303 | 2. | Il principio del nominalismo |
| 309 | 3. | Risposte alle obiezioni |
| 318 | 4. | Au revoir |
| 318 | | Appendice |
| 321 | | Indice del volume |
| 323 | | _ |
