Formal proofs, where there is deliberately no meaning, can convince only formalists, and of the results they themselves seem to deny any meaning. Is … - 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?

English
Collect this quote

About Richard Hamming

Richard Wesley Hamming (February 11, 1915 – January 7, 1998) was an American mathematician whose work had many implications for computer science and telecommunications. He received the 1968 Turing Award "for his work on numerical methods, automatic coding systems, and error-detecting and error-correcting codes."

Biography information from Wikiquote

Also Known As

Native Name: Richard Wesley Hamming
Alternative Names: Richard W. Hamming
PREMIUM FEATURE

Advanced Search Filters

Filter search results by source, date, and more with our premium search tools.

Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.

Additional quotes by Richard Hamming

One of the characteristics of successful scientists is having courage. Once you get your courage up and believe that you can do important problems, then you can. If you think you can't, almost surely you are not going to. [...] The average scientist, so far as I can make out, spends almost all his time working on problems which he believes will not be important and he also doesn't believe that they will lead to important problems. [...] In summary, I claim that some of the reasons why so many people who have greatness within their grasp don't succeed are: they don't work on important problems, they don't become emotionally involved, they don't try and change what is difficult to some other situation which is easily done but is still important, and they keep giving themselves alibis why they don't.

If you cannot drop a wrong problem, then the first time you meet one you will be stuck with it for the rest of your career. Einstein was tremendously creative in his early years, but once he began, in midlife, the search for a unified theory, he spent the rest of his life on it and had about nothing to show for all the effort. I have seen this many times while watching how science is done. It is most likely to happen to the very creative people; their previous successes convince them they can solve any problem, but there are other reasons besides overconfidence why, in many fields, sterility sets in with advancing age. Managing a creative career is not an easy task, or else it would often be done. In mathematics, theoretical physics, and astrophysics, age seems to be a handicap (all characterized by high, raw creativity), while in music composition, literature, and statesmanship, age and experience seem to be an asset. As valued by Bell Telephone Laboratories in the late 1970s, the first 15 years of my career included all they listed, and for my second 15 years they listed nothing I was very closely associated with! Yes, in my areas the really great things are generally done while the person is young, much as in athletics, and in old age you can turn to coaching (teaching), as I have done. Of course, I do not know your field of expertise to say what effect age will have, but I suspect really great things will be realized fairly young, though it may take years to get them into practice. My advice is if you want to do significant things, now is the time to start thinking (if you have not already done so) and not wait until it is the proper moment — which may never arrive!

Works in ChatGPT, Claude, or Any AI

Add semantic quote search to your AI assistant via MCP. One command setup.

Apparently an "art"—which almost by definition cannot be put into words—is probably best communicated by approaching it from many sides and doing so repeatedly, hoping thereby students will finally master enough of the art, or if you wish, style, to significantly increase their future contributions to society.

Loading...