L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremi di incompletezza di Gӧdel, illustrando l’idea alla base della [...] incompletezza. Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teorema di incompletezza sancisce la differenza tra menti e macchine. Secondo ...
Leggi Tutto
L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremi di incompletezza di Gӧdel, illustrando l’idea alla base della [...] incompletezza. Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teorema di incompletezza sancisce la differenza tra menti e macchine. Secondo ...
Leggi Tutto
SETH
Giulio Farina
Dio dell'antico Egitto (eg. śêteġ; gr. Σηϑ, raro Σητ; copto ant. sêt). - In origine era l'animale okapi (cfr. egitto: Religione) e, quando lo personificarono, divenne figlio di Gêbeb e di Nûte. Insieme con il dio Hôr era...
SETH
S. Donadoni
Divinità egiziana di carattere assai complesso per il fiorire del suo mito e che, dopo un periodo arcaico di splendore e una ripresa del culto durante l'epoca ramesside, diviene divinità esecranda in Bassa Epoca. Il suo aspetto...