comments

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.
RELATED ARTICLESExplain
⌅
Artificial Intelligence
⌃
Are thinking computers mathematically possible? [7]
⌃
No: computers are limited by Gödel's theorems
⌃
Gödel shows machines can't be fully conscious
■
Machines don't need new parts
□
Gödel sentences are not self-referential
□
Lucas' interpretation allows conscious machines
□
Graph of this discussion
Enter the title of your article


Enter a short (max 500 characters) summation of your article
Enter the main body of your article
Lock
+Comments (0)
+Citations (0)
+About
Enter comment

Select article text to quote
welcome text

First name   Last name 

Email

Skip