Gödel’s theorem is not decisive
The question of whether thinking is algorithmic can't be decided on the basis of Gödel’s theorem (see detailed text).
1) No mathematical insight is necessary to construct Gödel sentences.
 
2) Mathematical insight is involved only in seeing that the system that produces the Gödel sentence is consistent.

3) But, insight into consistency is not reliable—as is shown by numerous historical examples.

4) Because insight into consistency is unreliable, we can't know whether Gödel’s theorem applies to a given system, and we don't know that mathematical insight is non-algorithmic.

Martin Davis (1990).

Note: Also see the "Is the use of consistency in the Lucas argument problematic?" arguments on this map.
Immediately related elementsHow this works
-
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
▲
Mathematical insight is non-algorithmic »Mathematical insight is non-algorithmic
▲
The absurdity of algorithmic insight »The absurdity of algorithmic insight
■
Gödel’s theorem is not decisive
●
Insight is essential even if it is fallible »Insight is essential even if it is fallible
+Commentaires (0)
+Citations (0)
+About