Mathematical insight is not the important issue
Even if there's no algorithm for mathematical insight, the lack of one isn't crucial as insight isn't important to mathematics. Problems like Gödel’s theorem and the halting problem can be solved reliably by probalistic algorithms.
Whether or not they are solved by insight or not doesn't matter. Mathematics is grounded in its reliability, not in any particular kind of insight.

Daniel Dennett (1990).
Immediately related elementsHow this works
-
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
Mathematical insight is non-algorithmic »Mathematical insight is non-algorithmic
Mathematical insight is not the important issue
Daniel Dennett »Daniel Dennett
+Commentaires (0)
+Citations (0)
+About