>>11859774This is bait for physicists to jerk off about muh real world by relegating mathematics to language. Mathematics involves language but the study itself is about abstracts objects and deductive systems that can help us reason about those abstract objects. You can’t prove everything to be true given a consistent dedicative system, not everything true has a proof of correctness, and there exists things that cannot be proven true or false in this system. Math is about what we can prove theorems about and the content of those implications, not just the language we use to do it.
Math has an uncanny ability to exactly help describe physics, but this doesn’t mean math is suddenly the language of physics. It means that we shouldn’t be concerned that mathematicians “waaaah aren’t working on real stuff!” If you look at anything from the mid 2010s back, all of that math is applicable to either physics or computer science theory. Number theory was by in large seen to be useless until cryptography and now separation bounds for different problems.
