Mathematical incompletness and life | Hacker News Reader