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

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