cousin_it comments on Intuitive Explanation of Solomonoff Induction - Less Wrong

13 Post author: lukeprog 01 December 2011 06:56AM

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

Comments (31)

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

Comment author: cousin_it 02 December 2011 10:53:35AM *  3 points [-]

SI belongs to a class of priors that could be described as "almost computable" in a certain technical sense. The term is lower-semicomputable semimeasure. An interesting thing about SI is that it's also optimal (up to a constant) within its own class, not just better than all puny computable priors. The uncomputable prior you mention does not belong to that class, in some sense it's "more uncomputable" than SI.