Highly complex machine may not be Gödelizable
A qualitative difference in the way computers think may be introduced when they have advanced to a high enough degree of complexity. Such a highly complex machine may recognise the truth of its own Gödel sentence.
Argument anticipated by John Lucas (1961).
CONTEXT(Help)
-
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
■
Highly complex machine may not be Gödelizable
●
Un-Gödelizable machine wouldn't be a machine »Un-Gödelizable machine wouldn't be a machine
+Comments (0)
+Citations (0)
+About