Kurt Godel

Biografia di un matematico

Kurt Godel

Chi era?

Lorem ipsum dolor sit amet, consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam

Biografia di un matematico

Kurt Godel è un logico matematico di origine Ceca noto per avere enunciato in due teoremi di incompletezza.Nasce il 28 aprile 1906 a Brno città che in questi anni appartiene all'Impero Austro-Ungarico nel 1924 si iscrive all'Università di Vienna per studiare matematica e Filosofia.

Cosa stava succadendo le mondo matematico?

biografia di un matematico

in questi anni matematici e logici sono alle prese con la cosiddetta crisi dei fondamenti della matematica.La matematica Infatti è giunta di recente a esiti che hanno messo in discussione i principi su cui essa si è sempre fondata questi principi erano di natura intuitiva come per esempio l'idea di numero,ma l'evidenza intuitiva di questi concetti non basta più.Gli studiosi tentano perciò di elaborare come base per la matematica un sistema assiomatico formale cioè un sistema che proceda esclusivamente secondo formule e regole logiche coerenti tra loro

La rivoluzione di Godel

biografia di un matematico

Tali tentativi subiscono però un duro colpo quando nel 1931 Godel enuncia due teoremi di incompletezza con il primo teorema mostra di aver dimostrato un sistema assiomatico formale basato su numeri naturali può contenere una formula che non può essere dimostrata né confusata il secondo teorema invece afferma che un sistema formale coerente come quello della aritmetica elementare non può dimostrare la sua stessa coerenza.Lo studio è di portata eccezionale e rivoluziona la matematica e la logica con questi teoremi vi cadono Infatti i presupposti per un formalismo matematico universale che da allora non viene più perseguito.

La vita fuori Europa

biografia di un matematico

Nel 1940 Godel si trasferisce negli Stati Uniti dove gli viene offerta una cattedra all'Università di Priston qui Godel prosegue i suoi studi e insieme all'ungherese John Von Neumann e allo svizzero Polisek Berner sviluppa il sistema assiomatico della teoria degli insiemi che svolgerà un importante ruolo nello sviluppo della logica matematica.In questi anni si dedica anche alla dimostrazione dell'esistenza di Dio su basilogiche.

La fine di un Genio

biografia di un matematico

Personalità fortemente tormentata Godel conduce una vita schiva e in disparte nel corso del tempo le manie di persecuzione e l'ipocondria che da sempre lo affliggono peggiorano fino a compromettere la sua salute.si spegne il 14 gennaio 1978 Priston al 71 anni lasciandosi morire di fame,è ritenuto il più grande logico del Novecento.

I teoremi di Gödel e l'intelligenza artificiale

LEARNING EXPERIENCE

Limiti dei sistemi di intelligenza artificiale: Suggerisci limiti fondamentali a ciò che i sistemi di intelligenza artificiale basati sulla logica formale possono realizzare (Lucas, 1961).Teoria computazionale della mente: Mettere in discussione alcune versioni della teoria computazionale della mente che equiparano il pensiero umano ai sistemi formali (Penrose, 1989). Apprendimento automatico e incompletezza: Sollevare interrogativi sulla completezza e la coerenza delle conoscenze nei sistemi di apprendimento automatico (Calude & Müller, 2017). Intelligenza artificiale e autoriferimento: Informare sui dibattiti riguardanti i sistemi di intelligenza artificiale autoreferenziali e sui loro potenziali limiti (Hofstadter, 1979).

Dibattiti e polemiche sui teoremi

LEARNING EXPERIENCE

Rilevanza per l'intelligenza artificiale: Alcuni sostengono che i teoremi di Gödel non siano direttamente rilevanti per i sistemi di intelligenza artificiale pratici (Davis, 1990).Intelligenza umana contro intelligenza artificiale: Dibattiti sulla possibilità che i teoremi di Gödel dimostrino che l'intelligenza umana superi le capacità delle macchine (Lucas, 1961; Dennett, 1972). Interpretazione nella scienza cognitiva: Disaccordi sulle implicazioni per la scienza cognitiva e sulla natura del pensiero umano (Bringsjord & Xiao, 2000). Eccessivo sforzo filosofico: Critiche all'uso dei teoremi di Gödel per formulare affermazioni filosofiche più ampie, che vanno oltre il loro ambito matematico (Franzén, 2005).

Più penso al linguaggio,più mi stupisce che le persone si capiscano a vicenda. Kurt Godel

Pag. XX

Pag. XX

Pag. XX

https://biografieonline.it/biografia-kurt-godel

https://www.editverse.com/it/kurt-godel-teoremi-di-incompletezza-paradossi-logici/

https://www.treccani.it/enciclopedia/kurt-godel_%28Dizionario-di-filosofia%29/

Sitografia e conclusioni