Chris ha scritto:
> In particolar modo quando sostiene di un *teorema di Godel* che
> dimostrerebbe l'impossibilita' di rendere computabile la "mente",
> l'"intelligenza" umana.
Il Teorema dell'incompletezza di Godel � una pietra miliare dello scorso
secolo, ma � anche facile fraintenderlo.
Ti rimando allo all'ottima trattazione su Wikipedia, visto che viene anche
presentata la posizione di Penrose in maniera. In particolare:
"""
Secondo Roger Penrose questa (presunta) differenza tra "ci� che pu�
meccanicamente essere dimostrato" e "ci� che pu� essere riconosciuto come
vero dagli uomini" mostra che l'intelligenza umana non ha una natura
algoritmica. Questa convinzione � sottoscritta anche da JR Lucas in Minds,
Machines and G�del.
Questa opinione non � generalmente condivisa perch�, come ha sostenuto
Marvin Minsky, l'intelligenza umana pu� commettere errori e pu�
comprendere affermazioni che sono in realt� incoerenti o false. Ci�
nonostante, Marvin Minsky ha raccontato che Kurt G�del gli disse
personalmente della sua convinzione nel fatto che gli esseri umani
possiedono una modalit� intuitiva, non solo computazionale, per arrivare
alla verit� e che quindi il suo teorema non pone limiti a ci� che pu�
essere riconosciuto come vero dall'uomo.
"""
[da
http://it.wikipedia.org/wiki/Teorema_dell%27incompletezza_di_Godel]
--
saluti,
debrando
questo articolo e` stato inviato via web dal servizio gratuito
http://www.newsland.it/news segnala gli abusi ad abuse_at_newsland.it
Received on Thu Jul 28 2005 - 11:41:47 CEST