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.