A machine can play Lucas's game
A machine programmed to do transfinite counting could play Lucas's game as well as Lucas can. Lucas relies on the fact that transfinite counting hasn't been formalised. But the fact it hasn't doesn't mean humans are better at it than machines are.
Irving J. Good, (1967).

Transfinite numbers: Numbers that go beyond the magnitude of any finite set.

Transfinite counting: A form of arithmetic that works with transfinite numbers instead of just with finite numbers.

Notes: Also, see the "Can improved machines beat the Lucas argument?" arguments on this map, and "The Gödelization procedure can be algorithmically specified" Box 52.
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
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
A machine can play Lucas's game
The super-mechanist »The super-mechanist
Good misunderstands the game »Good misunderstands the game
+Σχόλια (0)
+Αναφορές (0)
+About