Cerca nel Forum
Mostra risultati per tag 'gödel'.
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 dei predicati, l'incompletezza dei sistemi assiomatici e, infine, la non contraddittorietà dell'assioma di scelta. Questo terzo volume delle Opere, traduzione del corrispondente volume dell'edizione americana pubblicata sotto gli auspici della Association for Symbolic Logic, contiene una ricca selezione di articoli non pubblicati e testi di conferenze, trovati nel Nachlass di Gödel, che aggiungono elementi preziosi alla nostra comprensione e al nostro apprezzamento del suo pensiero filosofico e matematico. Download Links https://filecrypt.cc/Container/8BEC68734A.html https://www.keeplinks.co/p45/5d19ae510a0c3 -
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'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. Download Links https://filecrypt.cc/Container/CC1FC7781C.html https://www.keeplinks.co/p45/5d19ac04a4182 -
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 separatamente anche senza preprarazione particolare, almeno quanto basta per poter apprezzare i risultati di Godel nei vari casi. Download Links https://filecrypt.cc/Container/A0B080BC0B.html https://www.keeplinks.co/p45/5d19a9a35447e -
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 contemporaneo: la contraddizione scoperta da Bertrand Russell nella cosiddetta teoria "ingenua" degli insiemi; la concezione del significato su cui si fonda il Tractatus logico-philosophicus di Wittgenstein; la teoria della verità di Tarski, e il problema del "paradosso del mentitore"; i famosi teoremi di incompletezza di Gödel, forse uno degli argomenti più ardui della materia. I contenuti del manuale ricalcano le scelte raccomandate per un corso-zero di logica, destinato a studenti di tutte le facoltà umanistiche, e trattano le questioni della logica classica, con qualche accenno a prospettive non standard. Alla fine di ogni capitolo si trovano alcuni esercizi, che aiutano il lettore a familiarizzarsi con le conoscenze appena acquisite. Download Links https://filecrypt.cc/Container/DE8FE7CA8C.html https://www.keeplinks.co/p45/5ce7ad5b9857a -
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 cui fili si chiamano intelligenza artificiale, macchina di Turing, teorema di Gödel. Una «fuga metaforica» nel variegato mondo che si dispiega fra la mente, il cervello e i computer. Download Links https://filecrypt.cc/Container/071C97065B.html https://www.keeplinks.co/p45/5c46e6258d0b9 -
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 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. Download Links https://filecrypt.cc/Container/22748D2BA9.html https://www.keeplinks.co/p45/5c3f3457aa72b
