There’s more to mathematics than rigour and proofs [2014] | Hacker News Reader