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

Versione delle 16:19, 12 set 2017

Versione delle 16:21, 12 set 2017

Riga 52:

<big><big>'''Il progetto IA'''</big></big>

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 PROPOSIZIONE (proposizione goedeliana) appartenente a questo sistema è vera ma non dimostrabile. Partendo da questo teorema Lucas formula un'argomentazione partendo dal PARADOSSO DEL MENTITORE, 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''.