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.

lukeprog comments on Logical Uncertainty as Probability - Less Wrong Discussion

3 Post author: gRR 29 April 2012 10:26PM

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

Comments (22)

You are viewing a single comment's thread.

Comment author: lukeprog 30 April 2012 12:04:15AM 9 points [-]

I don't know much about logical uncertainty, but have ya'll seen Gaifman's paper on the subject?

Gaifman (2004), Reasoning with limited resources and assigning probabilities to arithmetical statements.

Comment author: lukstafi 30 April 2012 07:31:14PM 1 point [-]

From taking a quick look at page 8 above (numbered 104 in the document), if gRR used X instead of OLC(X), it would result in something like the above article. The point is in having consistent probability distribution over held beliefs, not over some infinite closure of beliefs.