Machines may eventually have mathematical intuition
The incompleteness theorems only show that a machine can't be proven to possess mathematical intuition—not that machines can't in fact possess mathematical intuition.
To the extent that machines are limited by Gödel’s theorems, humans are too. Neither humans nor machines can formulate all of their mathematical intuitions.

It's in the nature of mathematics to be incompletable.

Kurt Gödel (1951).

Note: Also see, the "Does Gödel’s theorem show that a mathematical insight is not algorithmic?" arguments is on this map.
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
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
Theorems show limitations of machine thought »Theorems show limitations of machine thought
Machines may eventually have mathematical intuition
+Σχόλια (0)
+Αναφορές (0)
+About