timtyler 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: timtyler 02 December 2011 11:04:15AM *  -1 points [-]

An entity using Solomonoff induction cannot, no matter how many digits it sees, assign the obvious hypothesis any likelyhood.

Uncomputable sequences have computable approxiomations. Solomonoff induction could do very well at predicting such sequences. However, it wouldn't assume that they are uncomputable. Why should it? That is a bizarre hypothesis - not an "obvious" one. It is surely more likely that the observed finite prefix was generated by some computable method.

Comment author: JoshuaZ 02 December 2011 01:33:12PM -1 points [-]

Being a less likely hypothesis is not the same thing as having probability zero.

Comment author: timtyler 02 December 2011 02:01:53PM 0 points [-]

Solomonoff induction only deals with finite sequences. It doesn't assign p=0 to any sequence consistent with its observations so far. Uncomputable sequences are necessarily inifinite - and though Solomonoff induction can't handle them, neither can the observable universe. I think that the case that they matter remains to be made.