comments

Some people cannot understand Gödel's theorem

Lucas only shows that someone who understands Gödel’s theorem is different from a machine. He hasn't shown that someone who doesn't can outperform a machine—so his argument fails to establish that machines are essentially different from humans.

David Coder (1969).
RELATED ARTICLESExplain
⌅
Artificial Intelligence
⌃
Are thinking computers mathematically possible? [7]
⌃
No: computers are limited by Gödel's theorems
■
Some people cannot understand Gödel's theorem
↳
A single person's understanding of Gödel is enough
□
Theorems show limitations of machine thought
□
Gödel shows machines can't be fully conscious
□
Argument from Gödel's theorem is dialectical
□
Mathematical insight is non-algorithmic
□
Improved machines
□
Gödel limits formal systems not machine implementations
□
The problem of consistency
□
Lucas may be a Turing machine
□
Lucas tricks machines into contradicting themselves
□
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