Gödel’s theorems don't apply to inconsistent machines
Gödel's theorems is only apply to a machine if the machine is consistent. But we can never know for sure whether a machine is consistent or not. So, we never really know whether Gödel’s theorem flies to a given machine.
Argument anticipated by John Lucas (1961).
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
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
The problem of consistency »The problem of consistency
Gödel’s theorems don't apply to inconsistent machines
An inconsistent machine can't model the mind »An inconsistent machine can't model the mind
+Σχόλια (0)
+Αναφορές (0)
+About