Machines don't need new parts
Universal Turing machines don't need new parts to incorporate a Gödelizing operator. All they require is to be refocused on different sets of theorems.
Judson Webb (1968).

Notes: Webb discuss the inclusion of new Gödel sentences rather than Gödelizing operators but the point is essentially the same.
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
▲
Gödel shows machines can't be fully conscious »Gödel shows machines can't be fully conscious
■
Machines don't need new parts
+Comments (0)
+Citations (0)
+About