Cerca nel Forum
Mostra risultati per tag 'incompletezza' o ''.
Trovato 3 risultati
-
Vito Michele Abrusci, Lorenzo Tortora de Falco - Logica. Incompletezza, teoria assiomatica degli insiemi. Vol.2 (2018) PDF L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva. Download Links https://filecrypt.cc/Container/9287C1FE5E.html https://www.keeplinks.org/p45/5f4784ff47031 -
Francesco Berto - Tutti pazzi per Gödel! La guida completa al teorema di incompletezza (2009) PDF Nel 1930 un ragazzo ventitreenne di nome Kurt Gödel dimostrò un teorema destinato a cambiare per sempre la nostra comprensione della matematica e, forse, di noi stessi: il Teorema di Incompletezza dell'Aritmetica. Questo libro ci guida, e senza presupporre alcuna particolare competenza matematica, nei segreti della leggendaria dimostrazione di Gödel e delle sue controverse implicazioni filosofiche. Francesco Berto mostra come alcuni usi del Teorema oggi invocato in migliaia di siti Internet, in discorsi di politica, religione, sociologia e, naturalmente, ermeneutica e postmodernismo - sorgano da buffi fraintendimenti del risultato gödeliano. E discute le posizioni dei molti nomi celebri del pensiero contemporaneo che hanno sentito il bisogno di dir la loro sul Teorema. Da Wittgenstein al profeta dell'Intelligenza Artificiale Douglas Hofstadter, vincitore del Premio Pulitzer col celebre Gödel, Escher, Bach; dal fisico Roger Penrose, per il quale invece il Teorema di Incompletezza mostra che nessun computer può emulare la mente umana, allo stesso Kurt Gödel, che associò la propria scoperta a un'intuizione puramente intellettuale dell'infinito. Download Links https://filecrypt.cc/Container/9FE4E84837.html https://www.keeplinks.co/p45/5c4036bbe0111 -
Vito M. Abrusci, Lorenzo Tortora De Falco - Logica. Incompletezza, teoria assiomatica degli insiemi. Vol.2 (2018) True PDF L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva. Download Links https://filecrypt.cc/Container/7BC47867A9.html https://www.keeplinks.co/p45/5c20c41a2c0d6
