gedymin comments on Understanding and justifying Solomonoff induction - Less Wrong

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.