Libri di Cur Godel Kurt Lolli
Bibliografia di Cur Godel Kurt Lolli: tutti i libri in vendita online Logica matematica
Opere. Vol. 2: 1938-1974 Gödel Kurt Ballo E. (Cur.) Lolli G. (Cur.) Mangione C. (Cur.) - Bollati Boringhieri, 2002 - Opere Di Gödel
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.
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".