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.

ThisSpaceAvailable comments on An additional problem with Solomonoff induction - Less Wrong Discussion

2 Post author: gedymin 22 January 2014 11:34PM

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

Article Navigation

Comments (51)

Comments (51)

You are viewing a single comment's thread.

Comment author: ThisSpaceAvailable 23 January 2014 02:23:38AM 1 point [-]

To solve any decision problem P with the Halting oracle, we can reformulate it as program source code: "if P, then halt; otherwise: loop forever" and feed this program to the Halting oracle.

Is "computable" understood as being implicit in the term "decision problem P"?

Comment author: gedymin 23 January 2014 11:44:35AM 0 points [-]

Yes.

Powered by Reddit Powered by Reddit