Massimo Di Croce

Introduzione agli studi sui fondamenti della matematica

Dai programmi fondazionali di inizio Novecento al Teorema di incompletezza di Godel

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Edizioni Accademiche Italiane
• Seitenzahl: 148
• Erscheinungstermin: 21. März 2014
• Italienisch
• Abmessung: 220mm x 150mm x 9mm
• Gewicht: 214g
• ISBN-13: 9783639791235
• ISBN-10: 3639791231
• Artikelnr.: 40625009

Autorenporträt

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.