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).
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
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
+Σχόλια (0)
+Αναφορές (0)
+About