Lucas sure that he isn't a machine
The argument's mistakenly cast as a nondialectical proof sequence, giving an incorrect conclusion that the man is machine but can't tell which machine he is—the only way I can be sure of not being any particular machine is by not being one at all.
John Lucas (1988).
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
▲
Lucas may be a Turing machine »Lucas may be a Turing machine
■
Lucas sure that he isn't a machine
◄
John Lucas »John Lucas
+Comments (0)
+Citations (0)
+About