comments

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).
RELATED ARTICLESExplain
⌅
Artificial Intelligence
⌃
Are thinking computers mathematically possible? [7]
⌃
No: computers are limited by Gödel's theorems
⌃
The problem of consistency
■
Gödel’s theorems don't apply to inconsistent machines
↳
An inconsistent machine can't model the mind
□
Belief in one's own consistency leads to inconsistency
□
Inconsistency without explosion of belief
□
The mechanist's dilemma
□
We don't know that mathematics is consistent
□
Graph of this discussion
Enter the title of your article


Enter a short (max 500 characters) summation of your article
Enter the main body of your article
Lock
+Comments (0)
+Citations (0)
+About
Enter comment

Select article text to quote
welcome text

First name   Last name 

Email

Skip