Stuart_Armstrong comments on Probabilistic Löb theorem - Less Wrong

24 Post author: Stuart_Armstrong 26 April 2013 06:45PM

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

Comments (39)

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

Comment author: Stuart_Armstrong 28 April 2013 07:32:07AM 0 points [-]

Nope, it's pretty much done - you can trust your future copies probabilistically, without weakening. However, that would require a P that's both defined and computable - not a trivial task.