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.

Decius 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: Decius 30 April 2013 01:45:09AM 0 points [-]

Concur- the infinite product of 0<b(n)<1 is in [0,1). That makes sense for probabilities.

Powered by Reddit Powered by Reddit