Bayesian probability may use a lot of math, but math isn’t what it is.
Yet it seems that math is what it should be. Bayesian probability, as it’s used in probabilistic inference, is usually founded on the same Kolmogorov axioms, standard mathematical probability theory. I don’t see any problems with the mathematical part, I dispute your characterization of Bayesian probability as an inherently informal theory (hence it was taken in quotation marks in my comment).
I think smoofra is talking about the same sorts of things Jaynes is when he writes:
The danger here is particularly great because mathematicians generally regard these limit theorems as the most important and sophisticated fruits of probability theory, and have a tendency to use language which implies that they are proving properties of the real world. Our point is that these theorems are valid properties of the abstract mathematical model that was defined and analyzed [emphasis in original]. The issue is: to what extent does that model resemble the real world? It is probably safe to say that no limit theorem is directly applicable in the real world, simply because no mathematical model captures every circumstance that is relevant in the real world.
Jaynes aggressively scorns abstract mathematics. I love abstract mathematics. We both agree that just because you have a model or a theorem, it doesn’t necessarily apply to the real world.
I come to quote Jaynes, not to praise him; the scorn that men write lives after them, the good is oft interred with their bones—let it not be thus with Jaynes.
Yep, you shouldn’t wirehead yourself into developing a theory about the mathematical formalism, you should instead develop a theory about the world. But the theory that you develop should be mathematical where possible.
Arguably there may be, if it can be shown that you normatively should worry only about the real world, even if what you are doing in the real world is thinking math.
if it can be shown that you normatively should worry only about the real world,
It can’t be. Not in any system of norms I would give a fig about. Art, Fiction, and Math are worthwhile. They don’t have to be useful. If you disagree with that, then we simply have different utility functions, and there’s no point in arguing further.
You are seeing “useful” too narrowly. I only stated that whatever you consider “useful”, it’s probably a statement exclusively about the real world, and “doing math” is one of the activities in the real world. I don’t see how you could place Art in the same cached thought, since it was remarked many times that you shouldn’t go Spock.
Any theory about the real world is inherently informal.
Do you disagree that Bayesian probability theory is about as informal as physics, or do you disagree with my characterization of physics as informal? If it’s the latter, then we don’t disagree on anything except the meaning of words.
A theory about the real world may be perfectly formal, it just won’t have a perfectly formal applicability proof. On the other hand, if you can show that a theory is applicable with probability of 1-2^{-10000}, it’s as good as formally proven to apply.
I disagree that it’s correct terminology to call a theory informal, just because it’s can’t be formally proven to apply to the real world.
It’s not the lack of a proof that makes it informal, it’s that the elements themselves of the theory aren’t precisely, formally, mathematically defined. A valid proposition in measure-theoretic probability is a subset of the measure space. nothingelse will do. Propositions in Bayseian probability are written in natural language, about events in the real world.
I’m using the word “formal” in the sense that it is used in mathematics. If you’re going to say that propositions written in natural language, about events in the real world are “formal” in that sense, then you’re just refusing to communicate.
Yet it seems that math is what it should be. Bayesian probability, as it’s used in probabilistic inference, is usually founded on the same Kolmogorov axioms, standard mathematical probability theory. I don’t see any problems with the mathematical part, I dispute your characterization of Bayesian probability as an inherently informal theory (hence it was taken in quotation marks in my comment).
I think smoofra is talking about the same sorts of things Jaynes is when he writes:
- PT:LOS, pp 65-66.
ADBOC
Jaynes aggressively scorns abstract mathematics. I love abstract mathematics. We both agree that just because you have a model or a theorem, it doesn’t necessarily apply to the real world.
edit: (ADBOC directed to jaynes, not to cyan)
I come to quote Jaynes, not to praise him; the scorn that men write lives after them, the good is oft interred with their bones—let it not be thus with Jaynes.
Yep, you shouldn’t wirehead yourself into developing a theory about the mathematical formalism, you should instead develop a theory about the world. But the theory that you develop should be mathematical where possible.
There’s nothing wrong with doing pure Math, if you know that’s what your doing.
Arguably there may be, if it can be shown that you normatively should worry only about the real world, even if what you are doing in the real world is thinking math.
It can’t be. Not in any system of norms I would give a fig about. Art, Fiction, and Math are worthwhile. They don’t have to be useful. If you disagree with that, then we simply have different utility functions, and there’s no point in arguing further.
You are seeing “useful” too narrowly. I only stated that whatever you consider “useful”, it’s probably a statement exclusively about the real world, and “doing math” is one of the activities in the real world. I don’t see how you could place Art in the same cached thought, since it was remarked many times that you shouldn’t go Spock.
Any theory about the real world is inherently informal.
Do you disagree that Bayesian probability theory is about as informal as physics, or do you disagree with my characterization of physics as informal? If it’s the latter, then we don’t disagree on anything except the meaning of words.
A theory about the real world may be perfectly formal, it just won’t have a perfectly formal applicability proof. On the other hand, if you can show that a theory is applicable with probability of 1-2^{-10000}, it’s as good as formally proven to apply.
I disagree that it’s correct terminology to call a theory informal, just because it’s can’t be formally proven to apply to the real world.
It’s not the lack of a proof that makes it informal, it’s that the elements themselves of the theory aren’t precisely, formally, mathematically defined. A valid proposition in measure-theoretic probability is a subset of the measure space. nothing else will do. Propositions in Bayseian probability are written in natural language, about events in the real world.
I’m using the word “formal” in the sense that it is used in mathematics. If you’re going to say that propositions written in natural language, about events in the real world are “formal” in that sense, then you’re just refusing to communicate.