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).
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
▲
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
+Comments (0)
+Citations (0)
+About