News for hackers. Stuff that matters.
Re:How has mathematics gotten so abstract? by griffzhowl on Tuesday September 30, 2025 @09:04PM (#45433191)
The difference is that in mathematics you only have to check the argument. In the empirical sciences you have to both check the argument and also test the conclusion against observations
Re:How has mathematics gotten so abstract? by Jensson on Wednesday October 01, 2025 @03:10AM (#45435150)
> In the empirical sciences you have to both check the argument and also test the conclusion against observations

That isn't true, you just test new axioms but most stuff we do in empirical sciences don't require new axioms.

The only difference between material sciences and math is that in math you don't test axioms while in empirical sciences you do.

Re:How has mathematics gotten so abstract? by griffzhowl on Wednesday October 01, 2025 @10:41AM (#45438283)
Empirical science uses both deductive logic to make predictions, and observations to check those predictions. I'm not saying that's all it involves. Not sure which part of that you disagree with

And a lot of what goes on in foundations of mathematics could be described as "testing the axioms", i.e. identifying which theorems require which axioms, what are the consequences of removing, adding, or modifying axioms, etc.