ITA-PROPOSIZIONE DI GDEL

Dal 1931 ad oggi, i teoremi di incompletezza di Godel continuano ad affascinare. Piu 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 costruibilita di una mente meccanica, che di chi la nega. Famosi autori infatti, come Penrose (Ombre della mente) e Hofstadter (Godel, Escher, Bach) rivisitano i teoremi oggi, e con opposti intenti.Tuttavia di fronte alla infinita diatriba cosi innescata, lo schivo Godel sarebbe forse piu sconcertato che soddisfatto.Tuttavia di fronte alla infinita diatriba cosi innescata, lo schivo Godel sarebbe forse piu sconcertato che soddisfatto.