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).
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
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
+Σχόλια (0)
+Αναφορές (0)
+About