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.

gedymin comments on Understanding and justifying Solomonoff induction - Less Wrong Discussion

1 Post author: gedymin 15 January 2014 01:16AM

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

Comments (75)

You are viewing a single comment's thread. Show more comments above.

Comment author: gedymin 15 January 2014 12:43:41PM *  0 points [-]

According to the SchoIarpedia article, it's not required that the probabilities add up to 1:

∑x m(x) < 1

It's simpler to defined the Universal Prior in the way that not-halting programs are "not counted". So the sum is not over all program, just the halting ones.