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.

Stuart_Armstrong comments on Probabilistic Löb theorem - Less Wrong Discussion

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.

Article Navigation

Comments (39)
Tags: logic probability proof theorem

Comments (39)

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

Comment author: Stuart_Armstrong 29 April 2013 07:11:15AM 0 points [-]

We don't have that system yet! Just that that is what we generally do with the systems we have.

Powered by Reddit Powered by Reddit