Löb's Theorem and Curry's Paradox | Hacker News Reader