Donald Knuth

Donald Ervin Knuth ( ; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer science. Knuth has been called the "father of the analysis of algorithms".

He is the author of the multi-volume work ''The Art of Computer Programming'' and contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. In the process, he also popularized the asymptotic notation. In addition to fundamental contributions in several branches of theoretical computer science, Knuth is the creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, and the Computer Modern family of typefaces.

As a writer and scholar, Knuth created the WEB and CWEB computer programming systems designed to encourage and facilitate literate programming, and designed the MIX/MMIX instruction set architectures. Knuth strongly opposes the granting of software patents, having expressed his opinion to the United States Patent and Trademark Office and European Patent Organisation.

Biography

Early life

Knuth was born in Milwaukee, Wisconsin, to Ervin Henry Knuth and Louise Marie Bohning. He describes his heritage as "Midwestern Lutheran German". His father owned a small printing business and taught bookkeeping. Donald, a student at Milwaukee Lutheran High School, thought of ingenious ways to solve problems. For example, in eighth grade, he entered a contest to find the number of words that the letters in "Ziegler's Giant Bar" could be rearranged to create; the judges had identified 2,500 such words. With time gained away from school due to a pretend stomach ache, and working the problem the other way, Knuth used an unabridged dictionary and determined if each dictionary entry could be formed using the letters in the phrase. Using this algorithm, he identified over 4,500 words, winning the contest. As prizes, the school received a new television and enough candy bars for all of his schoolmates to eat.

Education

Knuth received a scholarship in physics to the Case Institute of Technology (now part of Case Western Reserve University) in Cleveland, Ohio, enrolling in 1956. He also joined the Beta Nu Chapter of the Theta Chi fraternity. While studying physics at Case, Knuth was introduced to the IBM 650, an early commercial computer. After reading the computer's manual, Knuth decided to rewrite the assembly and compiler code for the machine used in his school, because he believed he could do it better.

In 1958, Knuth created a program to help his school's basketball team win their games. He assigned "values" to players in order to gauge their probability of getting points, a novel approach that ''Newsweek'' and '' CBS Evening News'' later reported on.

Knuth was one of the founding editors of Case Institute's ''Engineering and Science Review'', which won a national award as best technical magazine in 1959. He then switched from physics to mathematics, and received two degrees from Case in 1960: his bachelor of science degree, and simultaneously a master of science by a special award of the faculty, who considered his work exceptionally outstanding.

In 1963, with mathematician Marshall Hall as his adviser, he earned a PhD in mathematics from the California Institute of Technology for a thesis entitled ''Finite Semifields and Projective Planes''.

Early work

After receiving his PhD, Knuth joined Caltech's faculty as an assistant professor.

He accepted a commission to write a book on computer programming language compilers. While working on this project, Knuth decided that he could not adequately treat the topic without first developing a fundamental theory of computer programming, which became ''The Art of Computer Programming''. He originally planned to publish this as a single book. As Knuth developed his outline for the book, he concluded that he required six volumes, and then seven, to thoroughly cover the subject. He published the first volume in 1968.

Just before publishing the first volume of ''The Art of Computer Programming'', Knuth left Caltech to accept employment with the Institute for Defense Analyses' Communications Research Division, then situated on the Princeton University campus, which was performing mathematical research in cryptography to support the National Security Agency.

In 1967, Knuth attended a Society for Industrial and Applied Mathematics conference and someone asked what he did. At the time, computer science was partitioned into numerical analysis, artificial intelligence and programming languages. Based on his study and ''The Art of Computer Programming'' book, Knuth decided the next time someone asked he would say, "Analysis of algorithms."

Knuth then left his position to join the Stanford University faculty in 1969, where he is now Fletcher Jones Professor of Computer Science, Emeritus.

Writings

Knuth is a writer, as well as a computer scientist.

''The Art of Computer Programming'' (''TAOCP'')

In the 1970s, Knuth described computer science as "a totally new field with no real identity. And the standard of available publications was not that high. A lot of the papers coming out were quite simply wrong. ... So one of my motivations was to put straight a story that had been very badly told."

From 1972 to 1973, Knuth spent a year at the University of Oslo among people such as Ole-Johan Dahl. This is where he had originally intended to write the seventh volume in his book series, a volume that was to deal with programming languages. However, Knuth had only finished the first two volumes when he came to Oslo, and thus spent the year on the third volume, next to teaching. The third volume in the series came out just after Knuth returned to Stanford in 1973.

By 2011, Volume 4A had been published. '' Concrete Mathematics: A Foundation for Computer Science'' 2nd ed., which originated with an expansion of the mathematical preliminaries section of Volume 1 of ''TAoCP'', has also been published. In April 2020, Knuth said he anticipates that Volume 4 will have at least parts A through F. Volume 4B was published in October 2022.

Other works

Knuth is also the author of '' Surreal Numbers'', a mathematical novelette on John Conway's set theory construction of an alternate system of numbers. Instead of simply explaining the subject, the book seeks to show the development of the mathematics. Knuth wanted the book to prepare students for doing original, creative research.

In 1995, Knuth wrote the foreword to the book ''A=B'' by Marko Petkovšek, Herbert Wilf and Doron Zeilberger. Knuth is also an occasional contributor of language puzzles to '' Word Ways: The Journal of Recreational Linguistics''.

Knuth has also delved into recreational mathematics. He contributed articles to the '' Journal of Recreational Mathematics'' beginning in the 1960s, and was acknowledged as a major contributor in Joseph Madachy's ''Mathematics on Vacation''.

Knuth has also appeared in a number of Numberphile and Computerphile videos on YouTube where he has discussed topics from writing ''Surreal Numbers'' to why he does not use email.

Works regarding his religious beliefs

In addition to his writings on computer science, Knuth, a Lutheran, is also the author of ''3:16 Bible Texts Illuminated'', in which he examines the Bible by a process of systematic sampling, namely an analysis of chapter 3, verse 16 of each book. Each verse is accompanied by a rendering in calligraphic art, contributed by a group of calligraphers under the leadership of Hermann Zapf. Subsequently, he was invited to give a set of lectures at MIT on his views on religion and computer science behind his 3:16 project, resulting in another book, '' Things a Computer Scientist Rarely Talks About'', where he published the lectures ''"God and Computer Science"''.

Opinion on software patents

Knuth is strongly opposed to the policy of granting software patents for trivial solutions that should be obvious, but has expressed more nuanced views for nontrivial solutions such as the interior-point method of linear programming. He has expressed his disagreement directly to both the United States Patent and Trademark Office and European Patent Organisation.

Computer Musings

Knuth gives informal lectures a few times a year at Stanford University, which he titled "Computer Musings". He was a visiting professor at the Oxford University Department of Computer Science in the United Kingdom until 2017 and an Honorary Fellow of Magdalen College.

Programming

Digital typesetting

In the 1970s the publishers of TAOCP abandoned Monotype in favor of phototypesetting. Knuth became so frustrated with the inability of the latter system to approach the quality of the previous volumes, which were typeset using the older system, that he took time out to work on digital typesetting and created TeX and Metafont.

Literate programming

While developing TeX, Knuth created a new methodology of programming, which he called literate programming, because he believed that programmers should think of programs as works of literature. "Instead of imagining that our main task is to instruct a computer what to do, let us concentrate rather on explaining to human beings what we want a computer to do."

Knuth embodied the idea of literate programming in the WEB system. The same WEB source is used to ''weave'' a TeX file, and to ''tangle'' a Pascal source file. These in their turn produce a readable description of the program and an executable binary respectively. A later iteration of the system, CWEB, replaces Pascal with C.

Knuth used WEB to program TeX and METAFONT, and published both programs as books: ''TeX: The Program'', which was originally published in 1986, and ''METAFONT: The Program'', which was originally published in 1986. Around the same time, LaTeX, the now-widely adopted macro package based on TeX, was first developed by Leslie Lamport, who later published its first user manual in 1986.

Music

Knuth is an organist and a composer. In 2016 he completed a musical piece for organ titled ''Fantasia Apocalyptica'', which he describes as "translation of the Greek text of the Revelation of Saint John the Divine into music". It was premièred in Sweden on January 10, 2018.

Personal life

Donald Knuth married Nancy Jill Carter on 24 June 1961, while he was a graduate student at the California Institute of Technology. They have two children: John Martin Knuth and Jennifer Sierra Knuth.

Chinese name

Knuth's Chinese name is Gao Dena (). In 1977, he was given this name by Frances Yao, shortly before making a 3-week trip to China. In the 1980 Chinese translation of Volume 1 of ''The Art of Computer Programming'' (), Knuth explains that he embraced his Chinese name because he wanted to be known by the growing numbers of computer programmers in China at the time. In 1989, his Chinese name was placed atop the ''Journal of Computer Science and Technology'' header, which Knuth says "makes me feel close to all Chinese people although I cannot speak your language".

Health concerns

In 2006, Knuth was diagnosed with prostate cancer. He underwent surgery in December that year and stated, "a little bit of radiation therapy ... as a precaution but the prognosis looks pretty good", as he reported in his video autobiography.

Humor

Knuth used to pay a finder's fee of $2.56 for any typographical errors or mistakes discovered in his books, because "256 pennies is one hexadecimal dollar", and $0.32 for "valuable suggestions". According to an article in the Massachusetts Institute of Technology's ''Technology Review'', these Knuth reward checks are "among computerdom's most prized trophies". Knuth had to stop sending real checks in 2008 due to bank fraud, and instead now gives each error finder a "certificate of deposit" from a publicly listed balance in his fictitious "Bank of San Serriffe".

He once warned a correspondent, "Beware of bugs in the above code; I have only proved it correct, not tried it."

Knuth published his first "scientific" article in a school magazine in 1957 under the title "The Potrzebie System of Weights and Measures". In it, he defined the fundamental unit of length as the thickness of '' Mad'' No. 26, and named the fundamental unit of force "whatmeworry". ''Mad'' published the article in issue No. 33 (June 1957).

To demonstrate the concept of recursion, Knuth intentionally referred "Circular definition" and "Definition, circular" to each other in the index of ''The Art of Computer Programming, Volume 1''.

The preface of '' Concrete Mathematics'' has the following paragraph:

At the TUG 2010 Conference, Knuth announced a satirical XML-based successor to TeX, titled "iTeX" (, performed with a bell ringing), which would support features such as arbitrarily scaled irrational units, 3D printing, input from seismographs and heart monitors, animation, and stereophonic sound.

Awards and honors

In 1971, Knuth was the recipient of the first ACM Grace Murray Hopper Award. He has received various other awards including the Turing Award, the National Medal of Science, the John von Neumann Medal, and the Kyoto Prize.

Knuth was elected a Distinguished Fellow of the British Computer Society (DFBCS) in 1980 in recognition of Knuth's contributions to the field of computer science.

In 1990 he was awarded the one-of-a-kind academic title of ''Professor of The Art of Computer Programming'', which has since been revised to ''Professor Emeritus of The Art of Computer Programming''.

Knuth was elected to the National Academy of Sciences in 1975. He was also elected a member of the National Academy of Engineering in 1981 for organizing vast subject areas of computer science so that they are accessible to all segments of the computing community. In 1992, he became an associate of the French Academy of Sciences. Also that year, he retired from regular research and teaching at Stanford University in order to finish ''The Art of Computer Programming''. He was elected a Foreign Member of the Royal Society (ForMemRS) in 2003.

Knuth was elected as a Fellow (first class of Fellows) of the Society for Industrial and Applied Mathematics in 2009 for his outstanding contributions to mathematics. He is a member of the Norwegian Academy of Science and Letters. In 2012, he became a fellow of the American Mathematical Society and a member of the American Philosophical Society. Other awards and honors include:

* First ACM Grace Murray Hopper Award, 1971
* Turing Award, 1974
* Lester R. Ford Award, 1975 and 1993
* Josiah Willard Gibbs Lecturer, 1978
* National Medal of Science, 1979
* Golden Plate Award of the American Academy of Achievement, 1985
* Franklin Medal, 1988
* John von Neumann Medal, 1995
* Harvey Prize from the Technion, 1995
* Kyoto Prize, 1996
* Fellow of the Computer History Museum "for his fundamental early work in the history of computing algorithms, development of the TeX typesetting language, and for major contributions to mathematics and computer science." 1998
* Asteroid 21656 Knuth, named in his honor in May 2001
* Katayanagi Prize, 2010
* BBVA Foundation Frontiers of Knowledge Award in the category of Information and Communication Technologies, 2010
* Turing Lecture, 2011
* Stanford University School of Engineering Hero Award, 2011
* Flajolet Lecture Prize, 2014

Publications

A short list of his publications include:

''The Art of Computer Programming'':

#
#
#
#
#
#
#
#
#
#
#
#
#

''Computers and Typesetting'' (all books are hardcover unless otherwise noted):

# , x+483pp.
# (softcover).
# , xviii+600pp.
# , xii+361pp.
# (softcover).
# , xviii+566pp.
# , xvi+588pp.
#

Books of collected papers:

#
#
#
#
# , (paperback)
# , (paperback)
# Donald E. Knuth, Selected Papers on Design of Algorithms (Stanford, California: Center for the Study of Language and Information—CSLI Lecture Notes, no. 191), 2010. (cloth), (paperback)
# Donald E. Knuth, Selected Papers on Fun and Games (Stanford, California: Center for the Study of Language and Information—CSLI Lecture Notes, no. 192), 2011. (cloth), (paperback)
# Donald E. Knuth, Companion to the Papers of Donald Knuth (Stanford, California: Center for the Study of Language and Information—CSLI Lecture Notes, no. 202), 2011. (cloth), (paperback)

Other books:

# xiv+657 pp.
#
# Donald E. Knuth, The Stanford GraphBase: A Platform for Combinatorial Computing (New York, ACM Press) 1993. second paperback printing 2009.
# Donald E. Knuth, 3:16 Bible Texts Illuminated (Madison, Wisconsin: A-R Editions), 1990.
# Donald E. Knuth, Things a Computer Scientist Rarely Talks About (Center for the Study of Language and Information—CSLI Lecture Notes no 136), 2001.
# Donald E. Knuth, MMIXware: A RISC Computer for the Third Millennium (Heidelberg: Springer-Verlag— Lecture Notes in Computer Science, no. 1750), 1999. viii+550pp.
# Donald E. Knuth and Silvio Levy, The CWEB System of Structured Documentation (Reading, Massachusetts: Addison-Wesley), 1993. iv+227pp. . Third printing 2001 with hypertext support, ii + 237 pp.
# Donald E. Knuth, Tracy L. Larrabee, and Paul M. Roberts, Mathematical Writing (Washington, D.C.: Mathematical Association of America), 1989. ii+115pp
# Daniel H. Greene and Donald E. Knuth, Mathematics for the Analysis of Algorithms (Boston: Birkhäuser), 1990. viii+132pp.
# Donald E. Knuth, , 1976. 106pp.
# Donald E. Knuth, Stable Marriage and Its Relation to Other Combinatorial Problems: An Introduction to the Mathematical Analysis of Algorithms.
# Donald E. Knuth, Axioms and Hulls (Heidelberg: Springer-Verlag—Lecture Notes in Computer Science, no. 606), 1992. ix+109pp.

See also

* Asymptotic notation
* Attribute grammar
* CC system
* Dancing Links
* Knuth -yllion
* Knuth–Bendix completion algorithm
* Knuth Prize
* Knuth shuffle
* Knuth's Algorithm X
* Knuth's Simpath algorithm
* Knuth's up-arrow notation
* Davis–Knuth dragon
* Bender–Knuth involution
* Trabb Pardo–Knuth algorithm
* Fisher–Yates shuffle
* Robinson–Schensted–Knuth correspondence
* Man or boy test
* Plactic monoid
* Quater-imaginary base
* TeX
* Termial
* The Complexity of Songs
* Uniform binary search
* List of pioneers in computer science
* List of science and religion scholars

References

Bibliography

*
*
*

External links

Donald Knuth's home page
at Stanford University.
*
* Knuth discusses software patenting, structured programming, collaboration and his development of TeX.
*
*
*
*
*
*
*

Biography of Donald Knuth
from the Institute for Operations Research and the Management Sciences

Donald Ervin Knuth – Stanford Lectures (Archive)

Interview with Donald Knuth
by Lex Fridman
* Siobhan Roberts
The Yoda of Silicon Valley
''The New York Times'', 17 December 2018.

{{DEFAULTSORT:Knuth, Donald Ervin

American computer scientists
American computer programmers
Mathematics popularizers
American people of German descent
American technology writers
1938 births
Living people
Combinatorialists
Free software programmers
Programming language designers
Scientists from California
Writers from California
Turing Award laureates
Grace Murray Hopper Award laureates
National Medal of Science laureates
Fellows of the Association for Computing Machinery
Fellows of the American Mathematical Society
Fellows of the British Computer Society
Fellows of the Society for Industrial and Applied Mathematics
Kyoto laureates in Advanced Technology
Donegall Lecturers of Mathematics at Trinity College Dublin
Members of the United States National Academy of Engineering
Members of the United States National Academy of Sciences
Foreign Members of the Royal Society
Foreign Members of the Russian Academy of Sciences
Members of the French Academy of Sciences
Members of the Norwegian Academy of Science and Letters
Members of the Department of Computer Science, University of Oxford
Stanford University School of Engineering faculty
Stanford University Department of Computer Science faculty
California Institute of Technology alumni
Case Western Reserve University alumni
Scientists from Milwaukee
American Lutherans
American typographers and type designers
Writers from Palo Alto, California
20th-century American mathematicians
21st-century American mathematicians
20th-century American scientists
21st-century American scientists
Computer science educators
Mad (magazine) people
Burroughs Corporation people
American organists
American composers
University of Oslo faculty