comments

Ingenious machines could evade the Gödel argument

Machines may have mathematical insight, if they're properly programmed to gauge symmetry and simplicity in patterns of formulae. Such ingenious machines replicate abilities of human mathematicians, and so can evade Gödelization as well as any human.

J.J.C. Smart (1961).
RELATED ARTICLESExplain
⌅
Artificial Intelligence
⌃
Are thinking computers mathematically possible? [7]
⌃
No: computers are limited by Gödel's theorems
⌃
Improved machines
■
Ingenious machines could evade the Gödel argument
↳
Ingenious machine's no better than a moronic one
□
Connectionist machine may evade Gödelization
□
Highly complex machine may not be Gödelizable
□
Inductive machines immune to Gödelization
□
Self-referential machines
□
The Gödelian insight has already been formalised
□
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