L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremidi incompletezza diGӧdel, illustrando l’idea alla base della [...] . Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teoremadi incompletezza sancisce la differenza tra menti e macchine. Secondo Lloyd il ...
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 teoremidi incompletezza diGӧdel, illustrando l’idea alla base della [...] . Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teoremadi incompletezza sancisce la differenza tra menti e macchine. Secondo Lloyd il ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce il fondamentale contributo di K. Gödel...