/sci/ - Science & Math

>>12095662
I recently stumbled upon this nLab page article, which kind of argues against this point
https://ncatlab.org/nlab/show/Is+probability+theory+a+branch+of+mathematics%3F

(This is btw. not a very canon nLab type article, as you can see in the forum discussion, but they also want more people to write there.)
It's by Michael Hardy, the guy who - I'd not be surprised - it seems wrote about 1% of all math Wikipedia content, plusminus, over the last decade
https://en.wikipedia.org/wiki/User:Michael_Hardy

The text makes the case that probability theory/statistics/stochastic is more like physics, a field that uses math. I'm not sure if I agree, but mostly just because I'm not sure what math is or can be. But I think it's a fair case.

I personally don't feel like decision theory is a branch of math (not more than physics is), nor do I think that e.g. Bayes rule is a "theorem" about probability.
It certainly is a theorem in the Kolmogorov axiomatization of probability, but we should confused that with the thing itself - there's many dozens of probability theoretical paradoxes still around (assinging priors, differences of modeling in objects vs. subjective Bayesianism, etc)