Godel's disjunction and artificial intelligence

This thesis stems from a personal interest in the world of artificial intelligence (AI). Working in the practical part of this branch of computer science, I realized that AI is often misunderstood from both people and the scientific community. So I started to explore the debates about AI that are underway today, both from a mathematical and a philosophical point of view. The scope of the thesis is an overview of Godel's Incompleteness Theorems and how they are used within the debate on the mechanism of the human mind. In this context, it is essential to talk about the "Godel's disjunction" according to which either the power of the human mind cannot be expressed by any finite machine or absolutely unsolvable problems exist.

Questa tesi nasce da un interesse personale al mondo dell'intelligenza artificiale (AI). Lavorando nella parte applicativa di questa branca della computer science, mi sono accorto di come l'AI sia mal compresa dalle persone, sia nel mondo quotidiano ma spesso anche all'interno della comunità scientifica, e questo mi ha portato a interrogarmi sui fondamentali dell'AI e a ricercare dibattiti in corso sia dal punto di vista matematico che filosofico. L'obiettivo della tesi è fare una panoramica sui Teoremi di Incompletezza di Godel e su come essi siano usati all'interno del dibattito sul meccanicismo della mente umana. A tale scopo, viene riportata e analizzata la cosiddetta "Disgiunzione di Godel", disgiunzione secondo la quale o il potere della mente umana non può essere espresso da nessuna macchina finita o esistono problemi assolutamente irrisolvibili dall'uomo.