You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

JoshuaZ comments on P(X = exact value) = 0: Is it really counterintuitive? - Less Wrong Discussion

8 Post author: lucidfox 29 July 2011 12:45PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (49)

You are viewing a single comment's thread.

Comment author: JoshuaZ 29 July 2011 02:12:42PM 11 points [-]

This actually gets even worse. Consider for example a hypothetical Bayesian version of Issac Newton, trying to estimate what exponent k the radius is raised to in F= GMm/R^k. There's an intuition that mathematically simple numbers should be more likely, such as say "2". A while ago jimrandomh and benelliiot discussed this with me. Ben suggested that in this sort of context you might just have a complicated distribution where part of the distribution arose from something continuous and the other part arose from discrete probabilities for simple numbers. This seems to do a decent job capturing our intuition but it seems to be very hard to actually use that sort of distribution.

Comment author: lucidfox 30 July 2011 11:17:56AM 4 points [-]

If Newton tried to derive his law purely from empirical measurements, then yes, he would never be exactly sure (ignoring general relativity for a moment) that the exponent is exactly 2. For all he would know, it could actually be 2.00000145...

But that would be like trying to derive the value of pi or the exponents in the Pythagorean theorem by measuring physical circles and triangles. If the law of gravity is derived from more general axioms, then its form can be computed exactly provided that these axioms are correct.

Comment author: Pfft 30 July 2011 02:39:17PM 1 point [-]

Do you think that the Dirichlet Processes models that machine learning people use might be relevant here? As I understand it, a DP prior says that the true probability distribution is a discrete probability distribution over some countable set of points, but you don't know which set in advance. So in the posterior, this can consistently assign some nonzero probability on a single point -- in fact, if you do the math the posterior is very simple, it's a mix between a DP and some finite probability mass on the values that you did see.

Comment author: JoshuaZ 30 July 2011 06:52:10PM 1 point [-]

My minimal knowledge base says that sounds potentially relevant. Unfortunately, I don't know nearly enough about this sort of thing other than to make very vague, non-committal remarks.

Comment author: Eugine_Nier 30 July 2011 02:32:42AM -1 points [-]

In summary Newton should assign probability 0 to the statement that his theory of relativity is exactly correct. This turns out to be the right thing to do.

Comment author: JoshuaZ 30 July 2011 06:51:07PM 2 points [-]

Huh? No. The probability shouldn't be zero that he's correct. Even now there's some very tiny probability that Newton's laws are exactly correct. This chance is vanishingly small but non-zero. Moreover, your argument implies too much because one could use the exact same logic for general relativity.

Comment author: Eugine_Nier 31 July 2011 12:13:53AM 2 points [-]

Moreover, your argument implies too much because one could use the exact same logic for general relativity.

And it would be equally correct.

Comment author: JoshuaZ 31 July 2011 04:13:31AM 1 point [-]

Ok. But even if you had a theory of quantum gravity that seemed to explain all observed data your argument would still go through. If your argument is accepted than any theory of everything would have to be assigned zero probability of being correct no matter how well it predicted things. This seems wrong.

Comment author: Will_Newsome 31 July 2011 03:09:53AM 0 points [-]

"Should"? I would much rather be logically inconsistent, or bet that the axioms of probability are meaningless or irrelevant---which in relevant decision theoretic problems they tend to be---than give odds of infinity to one.