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.