Remix.run Logo
TeMPOraL 3 days ago

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

mdp2021 3 days ago | parent | next [-]

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 3 days ago | parent | prev | next [-]

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

TeMPOraL 3 days ago | parent [-]

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 3 days ago | parent [-]

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

TeMPOraL 3 days ago | parent [-]

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 3 days ago | parent | prev [-]

Math comes from brains.