Self-referential machines
A self-referential machine can evaluate Gödel sentences for itself. Such a machine may evade the Lucas argument.

Λεπτομέρειες πλοηγού
(Βοήθεια)
-
Artificial Intelligence »Artificial Intelligence
Are thinking computers mathematically possible? [7] »Are thinking computers mathematically possible? [7]
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
Improved machines »Improved machines
Self-referential machines
Gödelizing operator can defeat Lucas's argument »Gödelizing operator can defeat Lucas's argument
METACAT  »METACAT
+Σχόλια (0)
+Αναφορές (0)
+About