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).
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
▲
Improved machines »Improved machines
■
Ingenious machines could evade the Gödel argument
●
Ingenious machine's no better than a moronic one »Ingenious machine's no better than a moronic one
+Comments (0)
+Citations (0)
+About