Libri di C. Mangione

II gesuita Gerolamo Saccheri aveva circa trent'anni quando nel 1696-97 pubblicò la "Logica demonstrativa", un manuale scritto

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

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

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