There’s more to mathematics than rigour and proofs (2007) - https://news.ycombinator.com/item?id=31086970 - April 2022 (90 comments)
There’s more to mathematics than rigour and proofs - https://news.ycombinator.com/item?id=13092913 - Dec 2016 (2 comments)
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)