On: If math is more than proof, we need to better celebrate the rest of it

[QuesnayJr]

Understanding has been the point of mathematics for millenia. The idea that purpose of math is to produce machine-checkable proofs is an entirely modern idea.