We don't need the entire Lucas arithmetic
A mentalist doesn't have to produce all of the Lucas arithmetic. It's sufficient that he produce enough of the Lucas arithmetic to answer the mechanist at a given step of the game.
The success of the Lucas argument must be evaluated in the context of a particular machine being challenged by particular mentalist.

John Lucas (1970).
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
▲
Argument from Gödel's theorem is dialectical »Argument from Gödel's theorem is dialectical
▲
Lucas needs to produce entire Lucas arithmetic »Lucas needs to produce entire Lucas arithmetic
■
We don't need the entire Lucas arithmetic
◄
John Lucas »John Lucas
+Comments (0)
+Citations (0)
+About