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