ata comments on What would you do with a solution to 3-SAT? - Less Wrong

3 Post author: alexflint 27 April 2011 06:19PM

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

Comments (78)

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

Comment author: ata 28 April 2011 04:28:46PM 0 points [-]

I know that. I was saying, given that people still prove things about Solomonoff induction's accuracy even though it's uncomputable, are there any results on how successful this type of prediction could be, relative to the standard set by Solomonoff induction? That is, how powerful can induction be if you have a mere NP oracle, compared to a halting oracle?