Non-Deductive Methods in Mathematics | Dark Hacker News