Stuart_Armstrong comments on Probabilistic Löb theorem

[Stuart_Armstrong]

The “can” has now been changed into “cannot”. D’oh!