You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

army1987 comments on How Bayes' theorem is consistent with Solomonoff induction - Less Wrong Discussion

9 Post author: Alex_Altair 09 July 2012 10:16PM

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

Comments (7)

You are viewing a single comment's thread.

Comment author: [deleted] 11 July 2012 12:52:52AM 5 points [-]

Huh? All of that applies to any choice of priors whatsoever, not just Solomonoff's. Or am I missing something?

Comment author: Alex_Altair 11 July 2012 02:14:05AM 2 points [-]

I'm saying that Solomonoff induction doesn't contradict Bayes' theorem. The purpose of Solomonoff induction was to find an objective prior, but then after they discovered it, it included a way of updating too. Bayes' theorem turned out to be redundant. But since we're pretty sure Bayes' theorem is correct, it's nice to see that they don't contradict.

Comment author: private_messaging 11 July 2012 07:10:12AM *  1 point [-]

Worth also noting possible misunderstanding from 0 and 1 are not probabilities .

I guess I made conversational assumption that when Bayes name is used rather than 'Aristotelian logic', it speaks of non-binary probabilities rather than the limit in which Bayes does not contradict Aristotelian logic of the form 'if hypothesis does not match data exactly, hypothesis is wrong'.

Comment author: [deleted] 11 July 2012 08:30:36AM 1 point [-]

Solomonoff induction as opposed to what? Is there any choice of priors which does contradict Bayes' theorem?

Comment author: Alex_Altair 11 July 2012 06:44:53PM 3 points [-]

Solomonoff induction is more than a choice of priors. It's also a method of finding all possible hypotheses, and a method of computing likelihoods. It's an entire system of reasoning.