Utente:Pasquale D'Arco/Sandbox: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 50:
Per processo computazionale si intende un processo mentale ( o calcoli, nel caso di una macchina) che consente di risolvere problemi di varia natura seguendo delle ''istruzioni''
<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''.
| |||