Quotessence
Home / Quotes / Quote by Ronald Graham

Quote by Ronald Graham

“Incidentally, when we're faced with a "prove or disprove," we're usually better off trying first to disprove with a counterexample, for two reasons: A disproof is potentially easier (we need just one counterexample); and nitpicking arouses our creative juices. Even if the given assertion is true, our search for a counterexample often leads to a proof, as soon as we see why a counterexample is impossible. Besides, it's healthy to be skeptical.”

Quote by Ronald Graham

Work

Concrete mathematics: a foundation for computer science

This book covers a wide range of mathematical topics relevant to computer science, including discrete mathematics, combinatorics, and number theory. It is designed to provide a solid foundation for understanding the mathematical underpinnings of computer science. more

Author

Ronald Graham
Ronald Graham

Ronald Graham is a renowned mathematician known for his contributions to combinatorial mathematics and graph theory. He received his Ph.D. from Stanford University and has held academic positions at several institutions. more

You May Also Like

“It's [programming] the only job I can think of where I get to be both an engineer and an artist. There's an incredible, rigorous, technical element to it, which I like because you have to do very precise thinking. On the other hand, it has a wildly creative side where the boundaries of imagination are the only real limitation.”

“In the development of the understanding of complex phenomena, the most powerful tool available to the human intellect is abstraction. Abstraction arises from the recognition of similarities between certain objects, situations, or processes in the real world and the decision to concentrate on these similarities and to ignore, for the time being, their differences.”

“What is the central core of the subject [computer science]? What is it that distinguishes it from the separate subjects with which it is related? What is the linking thread which gathers these disparate branches into a single discipline. My answer to these questions is simple -it is the art of programming a computer. It is the art of designing efficient and elegant methods of getting a computer to solve problems, theoretical or practical, small or large, simple or complex. It is the art of translating this design into an effective and accurate computer program.”

“To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.”