Qiaochu_Yuan comments on Probabilistic Löb theorem

[Qiaochu_Yuan]

It’s a good thing. Löb’s theorem is an obstacle (the “Löbstacle,” if you will).