Read more
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.
About the author
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.
