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

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. Show more comments above.

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.