Libri di G. Lolli

Un nuovo panorama della ricerca sulla logica in Italia

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".

Kurt Gödei è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonché l'ulteriore riflessione s

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).

Gödel fornisce, in questo piccolo scritto, una dimostrazione logica dell'esistenza di Dio: impresa che oggi potrà anche sembra

I risultati che hanno reso famoso Gödel sono la completezza semantica del calcolo dei predicati, l'incompletezza dei sistemi a

Nel 1943, mentre lavorava sui codici segreti militari nel famoso laboratorio di Bletchley Park, Alan Turing confessò a un coll