Non-Deductive Methods in Mathematics | Hacker News Reader