Utente:Pasquale D'Arco/Sandbox: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 57:
L'ipotesi di ritenere calcolatori elettronici in grado di pensare ha ovviamente sollevato grandi perplessità, ricordiamo due critiche più importanti riguardo la demolizione dell' ''intelligenza artificiale'':
 
# '''John R. Lucas''' - Lucas utilizza un famoso teorema di logica matematica di [[Kurt Godel|Gödel]]: '''''Il teorema dell'incompletezza''''': per qualunque sistema formale vi è una PROPOSIZIONEproposizione (proposizione '''goedeliana''') appartenente a questo sistema è vera ma non dimostrabile. Partendo da questo teorema Lucas formula un'argomentazione partendo dal PARADOSSO''paradosso DELdel MENTITOREmentitore'', secondo tale paradosso l'affermazione ''Io sto mentendo'' è contraddittoria poiché:
* '''Se fosse vera''' : Colui che proferisce tale affermazione sta mentendo e quindi essa è ''falsa''.
* '''Se fosse falsa''' : Colui che proferisce tale affermazione sta dicendo il vero e quindi essa è ''vera''.