gjm comments on Computable Universal Prior - Less Wrong

0 Post author: potato 11 December 2015 09:54AM

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

Comments (5)

You are viewing a single comment's thread.

Comment author: gjm 11 December 2015 11:10:22AM 1 point [-]

Clearly, it isn't a probability distribution

I don't think this is a problem. Make your programming language be prefix-free, so that every infinite string of bits begins with exactly one legal program. Then 2^-length(program) is a probability distribution over programs. (This is the same trick that one uses with the Solomonoff prior.)