| | | [collana] |
| | | [frontespizio] |
| | | [colophon] |
| | | {titolo} |
| 1 | | La filosofia della matematica del '900 |
| 1 | 1. | La rinascita del rigore matematico nell'800 |
| 2 | 2. | Il riduzionismo ottocentesco |
| 4 | 3. | I caratteri fondamentali del riduzionismo |
| 4 | 4. | La concezione tradizionale dell'assiomatica |
| 5 | 5. | La crisi dell'euclideismo |
| 7 | 6. | Le equazioni algebriche |
| 8 | 7. | La nascita dell'algebra astratta |
| 9 | 8. | La rivoluzione assiomatica |
| 10 | 9. | Il programma logicista di B. Russell |
| 11 | 10. | La scoperta delle antinomie |
| 11 | 11. | Il problema degli enti matematici |
| 12 | 12. | Le definizioni impredicative |
| 13 | 13. | Descrivere o costruire? |
| 14 | 14. | Il predicativismo |
| 15 | 15, | L'intuizionismo brouweriano |
| 17 | 16. | La questione degli universali e la matematica |
| 18 | 17. | Assiomi e non-contraddizione |
| 19 | 18 | Intuizione finitaria e intuizione infinitaria |
| 20 | 19. | Il programma hilbertiano |
| 21 | 20. | Le scoperte di Gödel |
| 22 | 21. | Gli sviluppi della teoria della dimostrazione |
| 23 | 22. | La semantica tarskiana |
| 26 | | Nota bibliografica |
| 28 | | Letture |
1919 | 28 | 1. | Bertrand Russell: « Introduzione alla filosofia della matematica» (1919) |
| 29 | 1. | La serie dei numeri naturali |
| 34 | 2. | Definizione di numero |
| 40 | 3. | Il «finito» e l'induzione matematica |
1930 | 44 | 2. | Herbrand: Introduzione alle «Ricerche dulla teoria della dimostrazione» (1930) [ di Jacques Herbrand ] |
1930 | 49 | 3. | Johann von Neumann: «La fondazione formalistica della matematica» (1930) [ di John Von Neumann ] |
1931 | 54 | 4. | Kurt Gödel: Appendice agli «Atti del secondo Convegno di epistemologia delle scienze esatte» di &Königsberg (1931) [ di Kurt Gödel ] |
| 57 | 5. | Arend Heyting: Disputa [ di Arend Heyting ] |
| 68 | 6. | Alfred Tarski: Verità e dimostrazione [ di Alfred Tarski ] |
| 69 | 1. | Il concetto di verità |
| 84 | 2. | Il concetto di dimostrazione |
| 89 | 3. | Le relazioni fra verità e dimostrazione |
| 97 | | Indice |
| 98 | | _ |
| 100 | | [tipografia] |
| 100 | | ___ |