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.
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
▲
Theorems show limitations of machine thought »Theorems show limitations of machine thought
■
Machines may eventually have mathematical intuition
+Comments (0)
+Citations (0)
+About