There’s more to mathematics than rigour and proofs - https://news.ycombinator.com/item?id=9517619 - May 2015 (32 comments)
There’s more to mathematics than rigour and proofs - https://news.ycombinator.com/item?id=4769216 - Nov 2012 (36 comments)