I Grandi Pensatori Libri
Libri pubblicati nella collana I Grandi Pensatori Logica matematica
La prova di Gödel Nagel Ernest Newman James R. - Bollati Boringhieri, 2013 - I Grandi Pensatori
Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei Principia mathematica e sistemi affini". Increduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato sull'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimostrava l'incompletezza di un'ampia classe di teorie formali, tra cui l'aritmetica, nonché l'impossibilità di provare all'interno delle teorie stesse la loro coerenza. L'opera di Nagel e Newman è stata concepita per condurre il lettore al cuore dell'argomentazione di Gödel.
Scritti scelti Gödel Kurt Lolli G. (Cur.) - Bollati Boringhieri, 2011 - I Grandi Pensatori
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".