3 ms·
I also had this view, but thinking a bit more about it, what we consider 'reasonable axioms' in math, all come more or less from our logical intuition. Which wa
by frotaur 2y ago
I also had this view, but thinking a bit more about it, what we consider 'reasonable axioms' in math, all come more or less from our logical intuition. Which was built from our evolution, which respects the laws of physics.
This has changed my point of view to where math is kinda derived from physics, as the axioms (but even the derivation rules, like modus ponens) are chosen because they respect what feels intuitively 'logical'. But this intuition cannot be disentangled from physics, as it was a product of physics.
- llm_trw 2y agoI mean mainstream maths sure, that doesn't mean you can't replace the axioms with one's that aren't.