ciphergoth comments on A potential problem with using Solomonoff induction as a prior - Less Wrong

13 Post author: JoshuaZ 07 April 2011 07:27PM

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

Comments (18)

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

Comment author: ciphergoth 15 April 2011 03:19:24PM 1 point [-]

So how many cycles of

  • hypothesize a computable halt-tester
  • figure out from that an example where it makes the wrong call
  • test it, find that the experiment makes the correct call
  • hypothesize a new computable halt-tester that makes the correct call on this example

would you have to go through before concluding the universe was not computable?

I have to confess that I don't really see what's so special about the bottom of the compute hierarchy that you would be so certain that's where the universe is.