There’s more to mathematics than rigour and proofs (2009) | Hacker News Reader