Lucas sure that he isn't a machine
The argument's mistakenly cast as a nondialectical proof sequence, giving an incorrect conclusion that the man is machine but can't tell which machine he is—the only way I can be sure of not being any particular machine is by not being one at all.
John Lucas (1988).
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
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
Lucas may be a Turing machine »Lucas may be a Turing machine
Lucas sure that he isn't a machine
John Lucas »John Lucas
+Σχόλια (0)
+Αναφορές (0)
+About