Machines can't produce the entire Lucas arithmetic
Even though Lucas can't produce the entire Lucas arithmetic, we can still salvage a weaker conclusion from his arguments; namely, that machines can't produce the entire Lucas arithmetic either.
David Lewis (1969).
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
Machines can't produce the entire Lucas arithmetic
+Comments (0)
+Citations (0)
+About