Remix.run Logo
w10-1 5 days ago

Not sure this article captured it for me.

Plato's Meno has Socrates showing that even a slave can reason mathematically.

It's not really math alone but modeling more generally that activates people's reasoning. Math and logic are just those models that are continuous+topological and discrete+logic-operation variants, both based in dimension/orthogonality. But all modeling is over attribution - facts, opinions, etc., and there's a lot of modeling with a healthy dose of salience - heuristics, emotions, practice, etc. Math by design is salience-free (though it incorporates goals and weights), so it's the perspective and practice that liberates people from bias and assumptions. In that respect it can be beautiful, and makes other more conditioned reasoning seem tainted (but it has to work harder to be relevant).

However, experts can project mathematical models onto reality. Hogwash about quantum observer effects and effervescent quantum fields stem from projecting the assumptions required to do the math (or adopt the simplifying forms). Yes, the model is great at predictions. No, it doesn't say what else is possible, or even what we're seeing (throwing baseballs at the barn, horses run out, so barns are made of horses...). Something similar happens with AI math: it can generate neat output, so it must be intelligent. The impulse is so strong that adherents declare that non-symbolic thinking is not thinking at all, and discount anything unquantifiable (in discourse at least). Assuming what you're trying to prove is rarely helpful, but very easy to do accidentally when tracking structured thinking.