News for hackers. Stuff that matters.
Re:Surprise Computer Science Proof Stuns Mathematicians by mik1998 on Tuesday March 21, 2023 @04:30PM (#35252076)
> which is an inexact model of the physical realm

Mathematics have nothing to do with the real world.

The set of all true statements provable with a set of axioms is determined only by the axioms. All the true statements are already true whether we know they are or not; in that sense math is like exploring the unknown land that exists outside of the physical realm. It's discovered.

Re:Surprise Computer Science Proof Stuns Mathematicians by claytongulick on Wednesday March 22, 2023 @01:12AM (#35257086)
I agree with you, except that math does have a relationship with the physical world.

Math was invented and refined over time in order to find ways to model, communicate and reason about our observed physical phenomenon.

I understand though, that there is a ton of subject matter within the field that is completely divorced from the "real" world.