Ricerca avanzata
Home Le Collane Analitica (4) 9788846727893
Libro cartaceo
€ 24,00 € 22,80
Sconto -5 %

La guerra dei Trent'Anni (1900-1930)

Da Hilbert a G÷del

Autore/i: Gabriele Lolli

Collana: Analitica (4)

Pagine: 224
Formato: cm.17x24
Anno: 2011
ISBN: 9788846727893

Stato: Disponibile
  • Descrizione
  • Recensioni

Nelle lezioni contenute in questo volume si descrive e si analizza la formazione della logica del primo ordine nel periodo 1900-1930. Si seguono due temi, che emergono dai problemi della assiomatizzazione delle teorie matematiche, e in particolare della teoria degli insiemi, all'inizio del secolo. Il primo Ŕ la chiarificazione e la distinzione dei concetti di completezza deduttiva di una teoria e di completezza logica. Il secondo Ŕ quello del programma di Hilbert, che si articola e si definisce nel corso degli anni Venti. La storia avventurosa del teorema di completezza logica con i suoi equivoci e incomprensioni, e la passione delle polemiche aspre di Hilbert con l'intuizionismo di L. Brouwer fanno della costituzione della logica come disciplina un episodio esemplare del processo di crescita della matematica.
Nella seconda parte del volume si dÓ una dimostrazione dettagliata del primo teorema di incompletezza di G÷del, che almeno una volta nella vita, diceva Alonzo Church, occorre aver visto. Nel momento in cui G÷del dimostra fattibile il programma di Hilbert con l'aritmetizzazione, nel 1930, sancisce anche l'impossibilitÓ degli obiettivi che si proponeva.

Gabriele Lolli (Camagna AL, 1942) insegna Filosofia della matematica presso la Scuola Normale Superiore di Pisa. Si Ŕ dedicato alla teoria degli insiemi, alle applicazioni della logica all'informatica, e sempre pi¨ intensamente negli anni alla filosofia della logica e della matematica. Tra le sue pubblicazioni recenti segnaliamo: Da Euclide a G÷del, il Mulino, 2004; QED. Fenomenologia della dimostrazione, Bollati Boringhieri, 2005; Sotto il segno di G÷del, il Mulino, 2007; Discorso sulla matematica. Una rilettura delle Lezioni americane di Italo Calvino, Bollati Boringhieri, 2011.