Introduzione agli studi sui fondamenti della matematica

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.