[sinuhe69]

Not in math.

[TeMPOraL]

Yes in math. Formalisms come after casual thoughts, at every step.

[mdp2021]

It's totally different: those formalisms are in a workbench, following a set of rules that either work or not.

So, yes, that (math) is representative of the actual process: pattern recognition gives you spontaneous ideas, that you assess for truthfulness in conscious acts of verification.

[sinuhe69]

What is a casual thought that you cannot explain in math?

[TeMPOraL]

That question makes no sense. You can explain anything in math, because math is a language and lets you define whatever terms and axioms you need at a given moment.

(Whether or not such explanation is useful for anything is another issue entirely.)

[worldsayshi]

Can you explain how intuition led you to try a certain approach?

[TeMPOraL]

Is it enough if I hand-wave it with probability distributions, or do you want me to write out adjacency search in a high-dimensional space?

[legel]

Math comes from brains.

[HeavyStorm]

That's some misunderstanding of the human brain and thought process...