---

Questo volume fornisce una panoramica generale, di livello introduttivo e di estrema chiarezza, sui fondamenti della matematica. Esso spiega, con l´utilizzo di poche nozioni di base elementari di logica e teoria degli insiemi, che vengono introdotte, in cosa consistono gli studi sui fondamenti della matematica e quali obiettivi si pongono e ne delinea le vicende nel periodo di loro fioritura tra fine Ottocento e prima metà del Novecento. Fornisce una sistematica trattazione del riduzionismo ottocentesco, del programma logicista di Frege, dell´antinomia di Russell e dei rimedi proposti per far fronte alle difficoltà da essa poste a tale programma, costituiti dalla teoria dei tipi, dal sistema delle "New Foundations" di Quine e dalle teorie assiomatiche degli insiemi. Tratta quindi del programma hilbertiano e delle sue radici nella cosiddetta rivoluzione assiomatica e del Teorema di incompletezza di Godel, che ha sancito il fallimento di quel programma. Una parte del libro è dedicata poi all´intuizionismo matematico ed esso si conclude con un accenno all´articolazione che gli studi fondazionali hanno assunto dopo il tramonto dei grandi programmi per la fondazione della matematica.

---

L´autore ha studiato fondamenti della matematica e logica con Ettore Casari presso l´Università di Firenze, dove ha studiato anche filosofia teoretica con Paolo Parrini. Si è successivamente laureato sui fondamenti della matematica con Dario Palladino presso l´Università di Genova, dove attualmente si sta occupando di filosofia della scienza.

---