The super-mechanist

Even if Lucas in Gödelize any machine that a mechanist can develop, that ability doesn't entail that he can Gödelize any machine whatsoever. A superhuman mechanist might be able to design a machine that exceeds Lucas's Gödelizing ability.

Paul Bernacerraf (1967).
RELATED ARTICLESExplain
Artificial Intelligence
Are thinking computers mathematically possible? [7]
No: computers are limited by Gödel's theorems
Argument from Gödel's theorem is dialectical
A machine can play Lucas's game
The super-mechanist
Good misunderstands the game
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