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)

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

Related topics

formal live mathematics meaning use world

Related quotes

Innocence always calls mutely for protection when we would be so much wiser to guard ourselves against it: innocence is like a dumb leper who has lost his bell, wandering the world, meaning no harm. View quote
Graham Greene
When I read a book I seem to read it with my eyes only, but now and then I come across a passage, perhaps only a phrase, which has a meaning for me, and it becomes part of me. View quote
W. Somerset Maugham
Most social acts have to be understood in their setting, and lose meaning if isolated. No error in thinking about social facts is more serious than the failure to see their place and function. View quote
Solomon Asch
If God has made the world a perfect mechanism, He has at least conceded so much to our imperfect intellect that in order to predict little parts of it, we need not solve innumerable differential equations, but can use dice with fair success. View quote
Max Born
You are not here merely to prepare to make a living. You are here to enable the world to live more amply, with greater vision, and with a finer spirit of hope and achievement. You are here to enrich the world, and you impoverish yourself if you forget this errand. View quote
Woodrow Wilson