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