Decius 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: 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.