Cerca nel Forum
Mostra risultati per tag 'godel'.
Trovato 6 risultati
-
Kurt Gödel - Opere. Vol.3. Saggi inediti e conferenze (2006) PDF Kurt Gödel è autore di un'opera che ha influenzato gli sviluppi successivi della logica nonché l'ulteriore riflessione sui fondamenti della matematica. I risultati che lo hanno reso famoso sono la completezza semantica del calcolo... -
Kurt Gödel - Opere. Vol.2. 1938-1974 (2002) PDF 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'as... -
Kurt Gödel - Opere. Vol.1. 1929-1936 (1999) PDF Kurt Godel è autore di un'opera che ha influenzato praticamente tutti gli sviluppi successivi della disciplina nonché tutta l'ulteriore riflessione sui fondamenti della matematica. Le note introduttive ai singoli testi permettono di affrontarli sep... -
Francesco Berto - Logica da zero a Gödel (2007) PDF Questo volume si rivolge a chi non sa nulla di logica proponendosi di condurlo a padroneggiare la morfologia, la sintassi e la semantica della logica elementare. Introduce inoltre alcuni dei nodi logico-filosofici più interessanti del pensiero... -
Douglas R. Hofstadter - Gödel, Escher, Bach. Un'eterna ghirlanda brillante. Una fuga metaforica su menti e macchine nello spirito di Lewis Carroll (2007) PDF Il libro che ha svelato a una immensa quantità di lettori, in tutto il mondo, gli incanti e le trappole di un'Eterna Ghirlanda Brillante i... -
John W. jr Dawson - Dilemmi logici. La vita e l'opera di Kurt Godel (2001) PDF 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 f...
