Cerca nel Forum
Mostra risultati per tag 'gödel'.
Trovato 4 risultati
-
Francesco Berto - Logica da zero a Gödel (2007)
iTALiANO ha pubblicato una discussione in » Libri & Audiolibri
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 -
Kurt Gödel - Opere. Vol.3. Saggi inediti e conferenze (2006)
iTALiANO ha pubblicato una discussione in » Libri & Audiolibri
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)
iTALiANO ha pubblicato una discussione in » Libri & Audiolibri
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)
iTALiANO ha pubblicato una discussione in » Libri & Audiolibri
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
