Formal proofs, where there is deliberately no meaning, can convince only formalists, and of the results they themselves seem to deny any meaning. Is that to be the mathematics we are to use to understand the world we live in?

— Richard Hamming, Mathematics on a Distant Planet (1998)

Topics: mathematics