logoalt Hacker News

skybrian • today at 6:33 PM • 0 replies • view on HN

That seems wrong unless you have an unusual definition of "understanding":

* Lots of people use math for calculations without having proven any theorems.

* You can understand a mathematical statement without understanding or even having a proof. There are proofs built on the axiom of choice and conjectured results.