Surprises in Logic: Chaitin's incompleteness theorem | Hacker News Reader