Comment by QuesnayJr

1 day ago

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.

0 comments