La Proposizione Di Gdel
Guidi, Francesca
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...