Godel Kurt Libri

Dilemmi logici. La vita e l'opera di Kurt Godel Dawson John W. Jr   -  Bollati Boringhieri, 2001  -  Le Vite

Oltre che per i contributi fondamentali nel campo della logica, Kurt Godel è noto per i suoi scritti di filosofia della matematica, ma si è occupato anche di cosmologia, sollevando questioni problematiche in sede di filosofia del tempo. Di questa grande figura del pensiero contemporaneo, l'autore ricostruisce la vita e l'opera facendo ampio ricorso alle carte e alla corrispondenza inedita. L'analisi del contributo scientifico di Godel si accompagna alla descrizione dell'impatto che esso ha avuto sulla nostra visione del mondo.

Kurt Gödel, un profilo Bruni Riccardo   -  Carocci, 2015  -  Quality Paperbacks

Kurt Gödel è stato certamente il logico più influente del Novecento. I suoi lavori, visti come delle pietre miliari e come tali richiamati ancora oggi nella letteratura specialistica, investono aspetti fondamentali per la ricerca in campo matematico, quali la relazione tra verità e dimostrabilità o questioni relative alla natura e ai limiti della conoscenza matematica. Questo profilo nasce dal tentativo di correggere l'impressione che la grandezza del personaggio possa essere ricondotta a uno dei suoi molteplici contributi in particolare, come ad esempio il teorema di incompletezza per le teorie assiomatiche al quale egli deve gran parte della sua fama. Al contrario, il volume cerca di offrire una panoramica per quanto possibile esaustiva dell'opera logica e matematica di Gödel, così da valutarne meglio la portata.

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.