La proposizione di Gödel

Dal 1931 ad oggi, i teoremi di incompletezza di Gödel continuano ad affascinare. Più che mai attuali, essi sono invocati, a torto o a ragione, nei dibattuti temi dell'intelligenza artificiale, attizzando le speranze tanto di chi crede nella costruibilità di una mente meccanica, che di chi la nega. Famosi autori infatti, come Penrose (Ombre della mente) e Hofstadter (Gödel, Escher, Bach) rivisitano i teoremi oggi, e con opposti intenti.Tuttavia di fronte alla infinita diatriba così innescata, lo schivo Gödel sarebbe forse più sconcertato che soddisfatto.Tuttavia di fronte alla infinita diatriba così innescata, lo schivo Gödel sarebbe forse più sconcertato che soddisfatto.