Gödelizing operator can defeat Lucas's argument
Machine with a Gödelizing operator can carry out the Gödel procedure and add all its Gödel sentences to itself as theorums. It could recognise the truth of its Gödel sentence and any subsequent Gödel sentences that could be formed about the machine.
Argument anticipated by John Lucas (1961).



Immediately related elementsHow this works
-
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 »Self-referential machines
Gödelizing operator can defeat Lucas's argument
A self-Gödelizing machine can still be out-Gödeled »A self-Gödelizing machine can still be out-Gödeled
+Commentaires (0)
+Citations (0)
+About