commrequest

Yess, I am always awed by everything Marx managed to accomplish in spite of struggling with political repression, poverty, and health issues, honestly inspiring

Calculus is one of those math topics I truly know nothing about rn (but would like to). I'm not rly sure why standard analysis become "standard" (is this cuz of another argument over consistency again lol) tbh. My understanding is that Marx's interest in calculus came out of wanting a more rigorous, "formal" structure for his work in political economy and dialectical philosophy (which I am VERY interested in). I should look into this sometime :3

That does sound like a good way to figure out physics more

I am also working with a high school math education here , except not rly cuz it mostly didn't stick in my brain lol (and it didn't include any calculus courses sadly). Idk... the only way I actually understand things is understanding them as systems and my classes never included anything about proofs and, more broadly, that fact that "math" is more than just a massive set of disconnected rules that you have to remember for manipulating static, already-existing formulas or something lol. The only way I have been able to make any of this make sense to me is by understanding math as.... basically a very complicated constructed language with high social status and multiple overlapping formal-systematic definitions lol. Not saying we should be teaching primary school children set theory necessarily (unless??) but it would have been nice to get some of that in school

One thing that has been rly helpful to me are computer proof systems. Like not only can I look at math concepts and structures proved in these things and see how they relate to the most basic fundamentals/axioms (and how they are proved from them) but I can also attempt my own proofs and have a computer tell me if I'm right or wrong :3

I have mentioned this system before on here but in particular Metamath and its associated database has been essential for me to even barely figure out what is going on lol. If you're unfamiliar, highly rec checking out, for example (related to your study) they actually have a computer-verified formal definition of real and complex analysis proved all the way from the axioms of classical prepositional/predicate calculus and ZFC set theory here: https://us.metamath.org/mpeuni/mmtheorems.html#dtl:13. One of the founding goals of the Metamath project was actually to make abstract math accessible to everyone, not just people who had tens of thousands of dollars (at least) to get a university education. Really cool project, honestly liberatory in a way. It's uhhh not so good as a complete, easy-to-use proof assistant (right now) compared to others but I am attracted by its relative simplicity hehe (the core Metamath program is legit just a few thousand lines of ANSI C code)