Turing Award Laureates

"When a theory is sufficiently general to cover many fields of application, it acquires some "truth" from each of them. Thus... a positive value for generalization in mathematics."

"The beauty of mathematics often makes the subject matter much more attractive and easier to master."

"If you expect to continue learning all your life, you will be teaching yourself much of the time. You must learn to learn, especially the difficult topic of mathematics."

"The assumptions and definitions of mathematics and science come from our intuition, which is based ultimately on experience. They then get shaped by further experience in using them and are occasionally revised. They are not fixed for all eternity."

"In the face of almost infinite useful knowledge, we have adopted the strategy of "information regeneration rather than information retrieval." ...most importantly, you should be able to generate the result you need even if no one has ever done it before you—you will not be dependent on the past to have done everything you will ever need in mathematics."

"Most mathematics books are filled with finished theorems and polished proofs, and to a surprising extent they ignore the methods used to create mathematics. It is as if you merely walked through a picture gallery and never told how to mix paints, how to compose pictures, or all the other "tricks of the trade.""

"Probability is the mathematics of uncertainty. ...many modern theories have uncertainty built into their foundations. Thus learning to think in terms of probability is essential."

"Calculus is the mathematics of change. ...Change is characteristic of the world."

"Probability and statistics are now so obviously necessary tools for understanding many diverse things that we must not ignore them even for the average student."

"Any unwillingness to learn mathematics today can greatly restrict your possibilities tomorrow."

"You live in an age that is dominated by science and engineering. ...Thus if you wish to be effective in the world and to achieve the things that you want, it is necessary to understand both science and engineering (and those require mathematics)."

"The methods of mathematics are the main topic of the course, not a long list of finished mathematical results with such highly polished proofs that the poor student can only marvel at the results, with no hope of understanding how mathematics is actually created by practicing mathematicians."

"The use of the high level language made each programmer a factor of 5 to 10 more productive in a coding sense and more concerned with the semantics than the syntax of modules."

"Clearly, one can obfuscate one's ideas with a compiler language but it's harder. To some extent one is talking about what one wants rather than how one wants to do it. The trouble with machine code, of course, is that when you look at a random section of machine code you don't know what properties of the instructions the programmer really wanted to exploit."

"Regardless of whether one is dealing with assembly language or compiler language, the number of debugged lines of source code per day is about the same!"

"Systems with unknown behavioral properties require the implementation of iterations which are intrinsic to the design process but which are normally hidden from view. Certainly when a solution to a well-understood problem is synthesized, weak designs are mentally rejected by a competent designer in a matter of moments. On larger or more complicated efforts, alternative designs must be explicitly and iteratively implemented. The designers perhaps out of vanity, often are at pains to hide the many versions which were abandoned and if absolute failure occurs, of course one hears nothing. Thus the topic of design iteration is rarely discussed. Perhaps we should not be surprised to see this phenomenon with software, for it is a rare author indeed who publicizes the amount of editing or the number of drafts he took to produce a manuscript."

"Because one has to be an optimist to begin an ambitious project, it is not surprising that underestimation of completion time is the norm."

"The computer field is intoxicated with change. We have seen galloping growth over a period of four decades and it still does not seem to be slowing down. The field is not mature yet and already it accounts for a significant percentage of the Gross National Product."

"To our dismay, users who had been enduring several hour waits between jobs run under batch processing were suddenly restless when response times were more than a second."

"Design bugs are often subtle and occur by evolution with early assumptions being forgotten as new features or uses are added to systems."

"One is faced with a dilemma: If one places total trust in all other users, one is vulnerable to the antisocial behavior of any malicious user—consider the case of viruses. But if one tries to be totally reclusive and isolated, one is not only bored, but one's information universe will cease to grow and be enhanced by interaction with others. The result is that most of us operate in a complicated trade-off zone with various arrangements of trust and security mechanisms."

"It is important to emphasize the value of simplicity and elegance, for complexity has a way of compounding difficulties and as we have seen, creating mistakes. My definition of elegance is the achievement of a given functionality with a minimum of mechanism and a maximum of clarity."

"The value of metaphors should not be underestimated. Metaphors have the virtue of an expected behavior that is understood by all. Unnecessary communication and misunderstandings are reduced. Learning and education are quicker. In effect metaphors are a way of internalizing and abstracting concepts allowing one's thinking to be on a higher plane and low-level mistakes to be avoided."

"The establishment of formal standards for proofs about programs [...] and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel."

"For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms."

"To the designer of programming languages, I say: unless you can support the paradigms I use when I program, or at least support my extending your language into one that does support my programming methods, I don't need your shiny new languages. [...] To persuade me of the merit of your language, you must show me how to construct programs in it."

"If I ask another professor what he teaches in the introductory programming course, whether he answers proudly "Pascal" or diffidently "FORTRAN," I know that he is teaching a grammar, a set of semantic rules, and some finished algorithms, leaving the students to discover, on their own, some process of design."

"If there is ever a science of programming language design, it will probably consist largely of matching languages to the design methods they support."

"Although my own previous enthusiasm has been for syntactically rich languages like the Algol family, I now see clearly and concretely the force of Minsky's 1970 Turing lecture, in which he argued that Lisp's uniformity of structure and power of self reference gave the programmer capabilities whose content was well worth the sacrifice of visual form."

"If the advancement of the general art of programming requires the continuing invention and elaboration of paradigms, advancement of the art of the individual programmer requires that he expand his repertory of paradigms."

"It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability, [...] This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop."

"A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of these types, a verification condition on the antecedents and consequents."

"The most important motivation for the research work that resulted in the relational model was the objective of providing a sharp and clear boundary between the logical and physical aspects of database management."

"I could imagine how those queries would have been represented in CODASYL by programs that were five pages long that would navigate through this labyrinth of pointers and stuff. Codd would sort of write them down as one-liners. … They weren't complicated at all. I said, "Wow." This was kind of a conversion experience for me."

"For his fundamental and continuing contributions to the theory and practice of database management systems. He originated the relational approach to database management in a series of research papers published commencing in 1970. His paper "A Relational Model of Data for Large Shared Data Banks" was a seminal paper, in a continuing and carefully developed series of papers. Dr. Codd built upon this space and in doing so has provided the impetus for widespread research into numerous related areas, including database languages, query subsystems, database semantics, locking and recovery, and inferential subsystems."

"At the time, Nixon was normalizing relations with China. I figured that if he could normalize relations, then so could I."

"Relational processing entails treating whole relationships as operands. Its primary purpose is loop-avoidance, an absolute requirement for end users to be productive at all, and a clear productivity booster for application programmers."

"It is no surprise that attempts such as those of CODASYL and ANSI to develop data structure language (DDL) and data manipulation language (DML) in separate communities have yielded many misunderstandings and incompatibilities."

"The adverse impact on development productivity of requiring programmers to navigate along access paths to reach target data [...] was enormous. In addition, it was not possible to make slight changes in the layout in storage without simultaneously having to revise all programs that relied on the previous structure. [...] As a result, far too much manpower was being invested in continual (and avoidable) maintenance of application programs."

"Computer science is an empirical discipline. [...] Each new machine that is built is an experiment. Actually constructing the machine poses a question to nature; and we listen for the answer by observing the machine in operation and analyzing it by all analytical and measurement means available. Each new program that is built is an experiment. It poses a question to nature, and its behavior offers clues to an answer."

"Although he was somewhat anti a lot of this stuff, he was very eclectic. He was very broadminded. He realized that sooner or later there was going to be a connection between what went on in the mind and what went on in the brain. Carnegie Mellon was a big place. Newell was in favor of having people do all sorts of things there, so he was basically in favor of having someone who worked on neural nets there. He could see it coming back into fashion. Even though it wasn't what he did, and he didn't really believe in it, he had enough insight to realize that it was going to come back into fashion again... That's how I ended up at CMU. I was very impressed by the fact that Newell was open to getting somebody in an area that he didn't believe in. It's very rare to see that in academics."

"In joint scientific efforts extending over twenty years, initially in collaboration with J. C. Shaw at the RAND Corporation, and subsequently with numerous faculty and student colleagues at Carnegie-Mellon University, they have made basic contributions to artificial intelligence, the psychology of human cognition, and list processing."

"It has been a long road from Plato's Meno to the present, but it is perhaps encouraging that most of the progress along that road has been made since the turn of the twentieth century, and a large fraction of it since the midpoint of the century. Thought was still wholly intangible and ineffable until modern formal logic interpreted it as the manipulation of formal tokens. And it seemed still to inhabit mainly the heaven of Platonic ideals, or the equally obscure spaces of the human mind, until computers taught us how symbols could be processed by machines."

"[The] amount of search is not a measure of the amount of intelligence being exhibited. What makes a problem a problem is not that a large amount of search is required for its solution, but that a large amount would be required if a requisite level of intelligence were not applied."

"If you think there is nothing problematic or mysterious about a symbol system solving problems, then you are a child of today, whose views have been formed since mid-century. Plato (and by his account, Socrates) found difficulty understanding even how problems could be entertained, much less how they could be solved. Let me remind you of how he posed the conundrum in the Meno:"

"Heuristic Search Hypothesis. The solutions to problems are represented as symbol structures. A physical symbol system exercises its intelligence in problem solving by search—that is, by generating and progressively modifying symbol structures until it produces a solution structure."

"The Physical Symbol System Hypothesis. A physical symbol system has the necessary and sufficient means for general intelligent action."

"With the hubris common to physicists, I have always felt that I have known what good science is — it is theory cast in terms of mechanisms that describe how parts of the universe behave. With sometimes immense historical delay, these mechanisms always move towards being grounded in the larger mechanistic view of the universe. Theories always propose a view of how the universe is. They can never be effectively argued to be true, but only be brought before the bar of empirical evidence. All the modern concern for contextualism, hermeneutics and the social determination of meaning has its point, but is a mere footnote to the massive evidence for this view of science. The overwhelming success within this framework of modern biology over the last half century has provided another major confirmation, if one is needed. Someday we will get another striking confirmation from cognitive science. Though it can be argued that we are well on our way, we still have an immense distance to go. Arguments are no match for the evidence that cognitive science does not control its subject the way physics, chemistry and now biology do."

"An ancient adage warns, "Never go to sea with two chronometers; take one or three.""

"A little retrospection shows that although many fine, useful software systems have been designed by committees and built as part of multipart projects, those software systems that have excited passionate fans are those that are the products of one or a few designing minds, great designers."