Libri di G. Lolli

Kurt Gödei è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonché l'ulteriore riflessione sui fondamenti della matematica. I risultati che hanno reso famoso Gödei sono la completezza semantica del calcolo dei predicati (1930), l'incompletezza dei sistemi assiomatici contenenti l'aritmetica - il cosiddetto teorema d'incompletezza di Godei (1930-31) - e, infine, la non contraddittorietà dell'assioma di scelta e dell'ipotesi del continuo con gli altri assiomi della teoria degli insiemi (1940). Con i volumi dedicati alla corrispondenza di interesse logico, filosofico e scientifico intrattenuta da Gödei nel corso della vita, si conclude questa edizione delle sue "Opere", pubblicata sotto gli auspici della Association for Symbolic Logic. Come già nei precedenti volumi, anche qui le note introduttive ai singoli carteggi, ricche di notizie storiche e d'inquadramenti tecnici, permettono al lettore di seguire le varie questioni di volta in volta dibattute. Nel complesso, questa edizione intende rendere accessibile e utilizzabile l'opera di Gödei a un pubblico non limitato a logici e matematici ma comprendente anche studiosi di filosofia, di storia della scienza, d'informatica e addirittura di fisica, come pure molti lettori non specialisti con una formazione scientifica in senso lato.

In occasione del centenario della nascita di Kurt Gödel (1906-1978), è stato organizzato nell'Aula Magna dell'Università di Torino un Convegno internazionale incentrato sulla figura e l'opera del grande logico che, insieme ad Albert Einstein, ha forse maggiormente contribuito alla formazione del pensiero scientifico contemporaneo. L'intento dell'incontro non è stato soltanto di commemorare l'evento ma di fare il punto sugli sviluppi più recenti derivati dalla sua ricerca. Se della vasta produzione di Gödel si ricordano, quasi sempre, soltanto i pur straordinari risultati nel campo della logica con, in primis, i celebri teoremi d'incompletezza, l'intento del presente volume è di rivisitare la ricchezza del suo pensiero attraverso i diversi temi proposti dai relatori intervenuti all'incontro. Vengono presentati così otto saggi che, senza la pretesa di esaurire la "complessità di Gödel", si misurano con la profondità di motivi presenti in questa riflessione: dall'incompletezza, complessità e casualità (Cristian S. Callide), si va alla natura del ragionamento (Carlo Cellucci), al nesso tra matematica e fisica (Gregory J. Chaitin), al rapporto con Kant (Maurizio Ferraris), alla filosofia della matematica (Gabriele Lolli), al diritto (Ugo Pagano), alla logica costruttiva (Giovanni Sambin), fino alla insospettabile fortuna di Gödel nei "gialli" e la letteratura d'evasione (Carlo Toffalori).

I risultati che hanno reso famoso Gödel sono la completezza semantica del calcolo dei predicati, l'incompletezza dei sistemi assiomatici contenenti l'aritmetica (il cosiddetto 'teorema d'incompletezza di Gödel'), infine la contraddittorietà dell'assioma di scelta e dell'ipotesi del continuo con gli assiomi della teoria degli insiemi. Questo secondo volume delle opere contiene tutti gli scritti pubblicati da Gödel nel periodo 1938-74. Il volume è accompagnato da note introduttive ai singoli testi che permettono di affrontarli separatemente, anche senza una preparazione specialistica.

Kurt Godei, uno dei massimi logici di tutti i tempi, è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica, nonché l'ulteriore riflessione sui fondamenti della matematica. Questa raccolta di scritti intende presentare in modo unitario e valorizzare il contributo di Godei alla filosofia del Novecento. In questo modo essa apre vie nuove alla diffusione del suo pensiero al di fuori della cerchia degli specialisti, rendendolo accessibile al pubblico più generale dei filosofi, degli storici della scienza, degli informatici, dei fisici. Ha scritto Paolo Casalegno: "Leggere Godei può essere, se si ha un po' di gusto per queste cose, un'esperienza intellettuale assai gratificante, di cui è bene cercare di approfittare".