Vladimir_Nesov comments on Another attempt to explain UDT - Less Wrong

35 Post author: cousin_it 14 November 2010 04:52PM

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

Comments (50)

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

Comment author: cousin_it 14 November 2010 11:23:20PM *  1 point [-]

Eliezer has expressed the idea that using a Solomonoff-type prior over all programs doesn't mean you believe the universe to be computable - it just means you're trying to outperform all other (ETA: strike the word "other") computable agents. This position took me a lot of time to parse, but now I consider it completely correct. Unfortunately the reason it's correct is not easy to express in words, it's just some sort of free-floating math idea in my head.

Not sure how exactly this position meshes with UDT, though.

Comment author: Vladimir_Nesov 14 November 2010 11:31:16PM 2 points [-]

Eliezer has expressed the idea that using a Solomonoff-type prior over all programs doesn't mean you believe the universe to be computable - it just means you're trying to outperform all other computable agents.

Outperform at generating "predictions", but why is that interesting? Especially if universe is not computable, so that "predictions" don't in fact have anything to do with the universe? (Which again assumes that "universe" is interesting.)