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
* '''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''.
|