Donald Knuth

 Nota: "Knuth" redireciona para este artigo. Para o asteroide, veja 21656 Knuth.
Donald Knuth
Conhecido(a) porThe Art of Computer Programming, TeX, METAFONT, Algoritmo de Knuth-Morris-Pratt, algoritmo de Knuth–Bendix, MMIX
Nascimento
10 de janeiro de 1938 (88 anos)

Milwaukee
NacionalidadeEstadunidense
Alma materCase Western Reserve University, Instituto de Tecnologia da Califórnia
PrêmiosPrêmio Grace Murray Hopper (1971), Prêmio Turing (1974), Gibbs Lecture (1978), Medalha Nacional de Ciências (1979), Prêmio W. Wallace McDowell (1980), Prêmio Leroy P. Steele (1986), Medalha Franklin (1988), Medalha John von Neumann IEEE (1995), Prêmio Kyoto (1996), Prêmios Fronteiras do Conhecimento (2010), Medalha Faraday (2011)
Carreira científica
Orientador(es)(as)Marshall Hall
Orientado(a)(s)Andrei Broder, Michael Fredman, Leonidas John Guibas, Scott Kim, Bernard Marcel Mont-Reynaud, Luis Trabb Pardo, Vaughan Pratt, Robert Sedgewick, Jeffrey Vitter
InstituiçõesUniversidade Stanford
Campo(s)Matemática, ciência da computação
Tese1963: Finite Semifields and Projective Planes
NotasPágina pessoal

Donald Ervin Knuth ([kəˈnuːθ] kə-NOOTH-'; nascido em 10 de janeiro de 1938) é um cientista da computação e matemático americano. Ele é professor emérito na Universidade de Stanford. É o recipiente de 1974 do Prêmio Turing da ACM, considerado informalmente como o Prêmio Nobel da ciência da computação. Knuth tem sido chamado de "pai da análise de algoritmos".

Knuth é o autor da obra em múltiplos volumes The Art of Computer Programming ("A Arte da Programação de Computadores"). Ele contribuiu para o desenvolvimento da análise rigorosa da complexidade computacional de algoritmos e sistematizou técnicas matemáticas formais para isso. No processo, ele também popularizou a notação Big O. Além de contribuições fundamentais em vários ramos da ciência da computação teórica, Knuth é o criador do sistema de diagramação computadorizada TeX, do sistema de definição e renderização de fontes relacionado METAFONT e da família de tipos de letra Computer Modern.

Como escritor e estudioso, Knuth criou os sistemas de programação de computadores WEB e CWEB projetados para incentivar e facilitar a programação literata, e projetou as arquiteturas de conjunto de instruções MIX/MMIX. Ele se opõe fortemente à concessão de patentes de software e expressou sua opinião ao Escritório de Patentes e Marcas dos Estados Unidos e à Organização Europeia de Patentes.

Biografia

Primeiros anos

Donald Knuth nasceu em Milwaukee, Wisconsin, filho de Ervin Henry Knuth e Louise Marie Bohning. Ele descreve sua herança como "luterana alemã do meio-oeste".:66 Seu pai possuía uma pequena gráfica e ensinava escrituração contábil. Quando estudante na Milwaukee Lutheran High School, Knuth pensava em maneiras engenhosas de resolver problemas. Por exemplo, na oitava série, ele entrou em um concurso para descobrir o número de palavras que as letras em "Ziegler's Giant Bar" poderiam formar; os juízes haviam identificado 2.500 dessas palavras. Com o tempo ganho fora da escola devido a uma falsa dor de estômago, Knuth usou um dicionário completo e determinou se cada entrada do dicionário poderia ser formada usando as letras da frase. Ele identificou mais de 4.500 palavras, vencendo o concurso.:3 Como prêmios, a escola recebeu uma nova televisão e barras de chocolate suficientes para todos os seus colegas de escola comerem.

Educação

Knuth recebeu uma bolsa de estudos em física no Case Institute of Technology (agora parte da Case Western Reserve University) em Cleveland, Ohio, matriculando-se em 1956. Ele também se juntou ao Capítulo Beta Nu da fraternidade Theta Chi. Enquanto estudava física no Case, Knuth foi apresentado ao IBM 650, um computador comercial antigo. Depois de ler o manual do computador, Knuth decidiu reescrever o código de montagem e compilador para a máquina usada em sua escola porque acreditava que poderia fazê-lo melhor.

Em 1958, Knuth criou um programa para ajudar o time de basquete de sua escola a vencer seus jogos. Ele atribuiu "valores" aos jogadores para avaliar sua probabilidade de marcar pontos, uma abordagem inovadora sobre a qual a Newsweek e o CBS Evening News relataram posteriormente.

Knuth foi um dos editores fundadores do Engineering and Science Review do Case Institute, que ganhou um prêmio nacional como melhor revista técnica em 1959. Ele então mudou da física para a matemática e recebeu dois diplomas do Case em 1960: seu Bacharelado em Ciências e, simultaneamente, um mestrado em ciências por uma premiação especial do corpo docente, que considerou seu trabalho excepcionalmente notável.

No final de seu último ano no Case em 1960, Knuth propôs à Burroughs Corporation escrever um compilador ALGOL para o B205 por $5.500. A proposta foi aceita e ele trabalhou no compilador ALGOL entre sua formatura no Case e sua ida para o Caltech.:66:7

Em 1963, com o matemático Marshall Hall como seu orientador, ele obteve um doutorado em matemática pelo Instituto de Tecnologia da Califórnia, com uma tese intitulada Finite Semifields and Projective Planes ("Semicorpos Finitos e Planos Projetivos").

Trabalho inicial

Em 1963, após receber seu doutorado, Knuth ingressou no corpo docente do Caltech como professor assistente.

Enquanto estava no Caltech e após o sucesso do compilador ALGOL para o Burroughs B205, ele se tornou consultor da Burroughs Corporation, juntando-se ao Departamento de Planejamento de Produtos. No Caltech, ele atuava como matemático, mas na Burroughs como programador, trabalhando com as pessoas que ele considerava terem escrito o melhor software da época: o compilador ALGOL para o computador B220 (sucessor do B205).:9

Knuth recusou um contrato de $100.000 para escrever compiladores na Green Tree Corporation, decidindo em vez disso otimizar a renda e continuar no Caltech e na Burroughs. Ele recebeu uma Bolsa da National Science Foundation e uma Bolsa da Woodrow Wilson Foundation, mas elas tinham a condição de que o beneficiário não pudesse fazer mais nada além de estudar como aluno de pós-graduação, então ele não poderia continuar como consultor da Burroughs. Ele optou por recusar as bolsas e continuou com a Burroughs.:12 No verão de 1962, ele escreveu um compilador FORTRAN para a Univac, mas considerou que "eu vendi minha alma ao diabo" para escrever um compilador FORTRAN.:15

Após se formar, Knuth retornou à Burroughs em junho de 1961, mas não lhes disse que havia se formado com um mestrado, em vez do bacharelado esperado. Impressionado com o gráfico de sintaxe do ALGOL, a tabela de símbolos, a abordagem de descida recursiva e a separação das funções de varredura, análise sintática e emissão do compilador, Knuth sugeriu uma extensão para a tabela de símbolos: que um símbolo poderia representar uma cadeia de símbolos. Isso se tornou a base do DEFINE no Burroughs ALGOL, que desde então foi adotado por outras linguagens. No entanto, alguns realmente não gostaram da ideia e queriam que o DEFINE fosse removido. A última pessoa a achar que era uma ideia terrível foi Edsger Dijkstra em uma visita à Burroughs.:17

Knuth trabalhou em linguagens de simulação na Burroughs, produzindo SOL 'Simulation Oriented Language' ("Linguagem Orientada a Simulação"), uma melhoria em relação ao estado da arte, co-projetada com J. McNeeley. Ele participou de uma conferência na Noruega em maio de 1967, organizada pelas pessoas que inventaram a linguagem Simula. Knuth influenciou a Burroughs a usar Simula. Knuth teve uma longa associação com a Burroughs como consultor de 1960 a 1968 até sua mudança para um trabalho mais acadêmico em Stanford em 1969.

Em 1962, Knuth aceitou uma comissão da Addison-Wesley para escrever um livro sobre compiladores de linguagem de programação de computadores. Enquanto trabalhava neste projeto, ele decidiu que não poderia tratar adequadamente o tópico sem primeiro desenvolver uma teoria fundamental da programação de computadores, que se tornou The Art of Computer Programming ("A Arte da Programação de Computadores"). Ele originalmente planejou publicar isso como um único livro, mas à medida que desenvolvia seu esboço para o livro, concluiu que precisaria de seis volumes, e depois sete, para cobrir completamente o assunto. Ele publicou o primeiro volume em 1968.

Pouco antes de publicar o primeiro volume de The Art of Computer Programming, Knuth deixou o Caltech para aceitar um emprego na Divisão de Pesquisa em Comunicações do Institute for Defense Analyses, então situada no campus da Princeton, que estava realizando pesquisas matemáticas em criptografia para apoiar a Agência de Segurança Nacional.

Em 1967, Knuth participou de uma conferência da Society for Industrial and Applied Mathematics e alguém perguntou o que ele fazia. Na época, a ciência da computação era dividida em análise numérica, inteligência artificial e linguagens de programação. Com base em seu estudo e no livro The Art of Computer Programming, Knuth decidiu que na próxima vez que alguém perguntasse, ele diria: "Análise de algoritmos".

Em 1969, Knuth deixou sua posição em Princeton para se juntar ao corpo docente da Universidade de Stanford, onde se tornou Professor de Ciência da Computação Fletcher Jones em 1977. Ele se tornou Professor de The Art of Computer Programming em 1990 e é emérito desde 1993.

Obras escritas

Knuth é um escritor além de cientista da computação.

The Art of Computer Programming (TAOCP)

"A melhor maneira de se comunicar de um ser humano para outro é através de histórias."

— Donald Knuth

Na década de 1970, Knuth chamou a ciência da computação de "um campo totalmente novo sem identidade real. E o padrão das publicações disponíveis não era tão alto. Muitos dos artigos que saíam eram simplesmente errados. ... Então, uma das minhas motivações foi endireitar uma história que havia sido contada muito mal."

De 1972 a 1973, Knuth passou um ano na Universidade de Oslo entre pessoas como Ole-Johan Dahl. Foi lá que ele originalmente pretendia escrever o sétimo volume de sua série de livros, que trataria de linguagens de programação. Mas Knuth havia terminado apenas os dois primeiros volumes quando chegou a Oslo, e assim passou o ano no terceiro volume, além de lecionar. O terceiro volume saiu logo após Knuth retornar a Stanford em 1973.

Concrete Mathematics: A Foundation for Computer Science ("Matemática Concreta: Uma Fundação para a Ciência da Computação") originou-se com uma expansão da seção de preliminares matemáticas do Volume 1 do TAoCP. Knuth descobriu que havia ferramentas matemáticas necessárias para o Volume 1, mas faltando em seu repertório, e decidiu que um curso introduzindo essas ferramentas para estudantes de ciência da computação seria útil. Knuth introduziu o curso em Stanford em 1970. As notas do curso desenvolvidas por Oren Patashnik evoluíram para o texto de 1988, com os autores Ronald Graham, Knuth e Patashnik. Uma segunda edição de Concrete Mathematics foi publicada em 1994.

Em 2011, o Volume 4A do TAoCP havia sido publicado. Em abril de 2020, Knuth disse que previa que o Volume 4 do TAoCP teria pelo menos as partes A a F. O Volume 4B foi publicado em outubro de 2022.

Outras obras

Knuth é também o autor de Surreal Numbers ("Números Surreais"), uma novelinha matemática sobre a teoria dos conjuntos de John Horton Conway da construção de um sistema alternativo de números. Em vez de simplesmente explicar o assunto, o livro busca mostrar o desenvolvimento da matemática. Knuth queria que o livro preparasse os alunos para fazer pesquisa original e criativa.

Em 1995, Knuth escreveu o prefácio do livro A=B de Marko Petkovšek, Herbert Wilf e Doron Zeilberger. Ele também contribui ocasionalmente com quebra-cabeças linguísticos para a Word Ways: The Journal of Recreational Linguistics.

Knuth se aprofundou na matemática recreativa. Ele contribuiu com artigos para o Journal of Recreational Mathematics a partir da década de 1960 e foi reconhecido como um importante colaborador em Mathematics on Vacation ("Matemática nas Férias") de Joseph Madachy.

Knuth também aparece em vários vídeos do Numberphile e Computerphile no YouTube, onde discute tópicos desde a escrita de Surreal Numbers até por que ele não usa e-mail.

Knuth havia proposto o nome "algoritmica" como um nome melhor para a disciplina de ciência da computação.

Knuth fez uma contribuição substancial para o estudo do Problema do Emparelhamento Estável.

Obras sobre suas crenças religiosas

Além de seus escritos sobre ciência da computação, Knuth, um luterano, também é o autor de 3:16 Bible Texts Illuminated ("3:16 Textos Bíblicos Iluminados"), no qual ele examina a Bíblia por meio de um processo de amostragem sistemática, ou seja, uma análise do capítulo 3, versículo 16 de cada livro. Cada versículo é acompanhado por uma representação em arte caligráfica, contribuída por um grupo de calígrafos liderados por Hermann Zapf. Knuth foi convidado a dar um conjunto de palestras no MIT sobre as visões sobre religião e ciência da computação por trás de seu projeto 3:16, resultando em outro livro, Things a Computer Scientist Rarely Talks About ("Coisas sobre as quais um Cientista da Computação Raramente Fala"), onde publicou as palestras God and Computer Science ("Deus e a Ciência da Computação").

Opinião sobre patentes de software

Knuth se opõe fortemente à concessão de patentes de software para soluções triviais que deveriam ser óbvias, mas expressou visões mais matizadas para soluções não triviais, como o método de ponto interior da programação linear. Ele expressou sua discordância diretamente tanto ao Escritório de Patentes e Marcas dos Estados Unidos quanto à Organização Europeia de Patentes.

Programação

Diagramação digital

Na década de 1970, os editores do TAOCP abandonaram o Monotype em favor da fotocomposição. Knuth ficou tão frustrado com a incapacidade do último sistema de se aproximar da qualidade dos volumes anteriores, que foram diagramados usando o sistema mais antigo, que ele reservou um tempo para trabalhar em diagramação digital e criou o TeX e o Metafont.

Programação literata

Ao desenvolver o TeX, Knuth criou uma nova metodologia de programação, que chamou de programação literata, porque acreditava que os programadores deveriam pensar nos programas como obras de literatura:

Em vez de imaginar que nossa principal tarefa é instruir um computador sobre o que fazer, concentremo-nos antes em explicar aos seres humanos o que queremos que um computador faça.


Knuth incorporou a ideia de programação literata no sistema WEB. A mesma fonte WEB é usada para tecer (weave) um arquivo TeX e para embaralhar (tangle) um arquivo fonte Pascal. Estes, por sua vez, produzem uma descrição legível do programa e um binário executável, respectivamente. Uma iteração posterior do sistema, CWEB, substitui Pascal por C, C++ e Java.

Knuth usou o WEB para programar o TeX e o METAFONT, e publicou ambos os programas como livros, ambos originalmente publicados no mesmo ano: TeX: The Program (1986); e METAFONT: The Program (1986). Por volta da mesma época, o LaTeX, o pacote de macros agora amplamente adotado baseado no TeX, foi desenvolvido pela primeira vez por Leslie Lamport, que mais tarde publicou seu primeiro manual do usuário em 1986.

Vida pessoal

Donald Knuth casou-se com Nancy Jill Carter em 24 de junho de 1961, enquanto era aluno de pós-graduação no Instituto de Tecnologia da Califórnia. Eles têm dois filhos: John Martin Knuth e Jennifer Sierra Knuth.

Knuth dá palestras informais algumas vezes por ano na Universidade de Stanford, que ele chama de "Computer Musings" ("Divagações Computacionais"). Ele foi professor visitante no Departamento de Ciência da Computação da Universidade de Oxford no Reino Unido até 2017 e membro honorário do Magdalen College.

Knuth é organista e compositor. Ele e seu pai serviram como organistas para congregações luteranas. Knuth e sua esposa têm um órgão de 16 registros em sua casa. Em 2016, ele completou uma peça para órgão, Fantasia Apocalyptica, que ele chama de "tradução do texto grego do Apocalipse de São João em música". Foi estreada na Suécia em 10 de janeiro de 2018.

O nome chinês de Knuth é Gao Dena. Ele recebeu este nome em 1977 por Frances Yao pouco antes de fazer uma viagem de três semanas à China. Na tradução chinesa de 1980 do Volume 1 de The Art of Computer Programming, Knuth explica que abraçou seu nome chinês porque queria ser conhecido pelo número crescente de programadores de computador na China na época. Em 1989, seu nome chinês foi colocado no topo do cabeçalho do Journal of Computer Science and Technology, o que, segundo Knuth, "me faz sentir próximo de todos os chineses, embora eu não fale sua língua".

Humor

Um dos cheques de recompensa de Knuth

Knuth costumava pagar uma taxa de localização de $2,56 por quaisquer erros tipográficos ou enganos descobertos em seus livros, porque "256 centavos são um dólar hexadecimal", e $0,32 por "sugestões valiosas". De acordo com um artigo na Technology Review do Instituto de Tecnologia de Massachusetts, esses cheques de recompensa de Knuth são "entre os troféus mais cobiçados do mundo da computação". Knuth teve que parar de enviar cheques reais em 2008 devido a fraudes bancárias e agora dá a cada localizador de erro um "certificado de depósito" de um saldo listado publicamente em seu fictício "Banco de San Serriffe".

Ele uma vez avisou um correspondente: "Cuidado com bugs no código acima; eu apenas provei que está correto, não o testei."

Knuth publicou seu primeiro artigo "científico" em uma revista escolar em 1957 sob o título "The Potrzebie System of Weights and Measures" ("O Sistema Potrzebie de Pesos e Medidas"). Nele, ele definiu a unidade fundamental de comprimento como a espessura da Mad No. 26, e nomeou a unidade fundamental de força como "whatmeworry". A Mad publicou o artigo na edição nº 33 (junho de 1957).

Para demonstrar o conceito de recursão, Knuth intencionalmente referiu "Definição circular" e "Definição, circular" uma à outra no índice de The Art of Computer Programming, Volume 1.

O prefácio de Concrete Mathematics tem o seguinte parágrafo:

Quando DEK ensinou Matemática Concreta em Stanford pela primeira vez, ele explicou o título um tanto estranho dizendo que era sua tentativa de ensinar um curso de matemática que era difícil em vez de fácil. Ele anunciou que, ao contrário das expectativas de seus colegas, ele não iria ensinar a Teoria dos Agregados, nem o Teorema da Incorporação de Stone, nem mesmo a compactificação de Stone–Čech. (Vários alunos do departamento de engenharia civil se levantaram e saíram silenciosamente da sala.)


Na Conferência TUG 2010, Knuth anunciou um sucessor satírico do TeX baseado em XML, intitulado "iTeX" (en, pronunciado enquanto tocava uma campainha), que suportaria recursos como unidades irracionais escaladas arbitrariamente, impressão 3D, entrada de sismógrafos e monitores cardíacos, animação e som estereofônico.

Prêmios e honrarias

Em 1971, Knuth recebeu o primeiro Prêmio Grace Murray Hopper da ACM. Ele recebeu vários outros prêmios, incluindo o Prêmio Turing, a National Medal of Science, a Medalha John von Neumann e o Prêmio Kyoto.

Knuth foi eleito Membro Distinto da British Computer Society (DFBCS) em 1980 em reconhecimento às suas contribuições ao campo da ciência da computação.

Em 1990, foi-lhe concedido o título acadêmico único de Professor da Arte da Programação de Computadores; o título foi posteriormente revisado para Professor Emérito da Arte da Programação de Computadores.

Knuth foi eleito para a Academia Nacional de Ciências em 1975. Ele também foi eleito membro da Academia Nacional de Engenharia em 1981 por organizar vastas áreas temáticas da ciência da computação para que fossem acessíveis a todos os segmentos da comunidade da computação. Em 1992, tornou-se associado da Academia Francesa de Ciências. Também naquele ano, aposentou-se da pesquisa regular e do ensino na Universidade de Stanford para terminar The Art of Computer Programming. Em 1996, foi agraciado com o grau de Doutor Honoris Causa na área de Ciências Matemáticas pela Faculdade de Informática da Universidade Masaryk em Brno. Ele foi eleito Membro Estrangeiro da Royal Society em 2003.

Knuth foi eleito Fellow (primeira turma de Fellows) da Society for Industrial and Applied Mathematics em 2009 por suas contribuições notáveis à matemática. Ele é membro da Academia Norueguesa de Ciências e Letras. Em 2012, tornou-se fellow da Sociedade Matemática Americana e membro da Sociedade Filosófica Americana. Outros prêmios e honrarias incluem:

Publicações

Uma lista curta de suas publicações inclui:

The Art of Computer Programming:

  1. ——— (1997). The Art of Computer Programming. 1: Fundamental Algorithms 3rd ed. [S.l.]: Addison-Wesley Professional. ISBN 978-0-201-89683-1 
  2. ——— (1997). The Art of Computer Programming. 2: Seminumerical Algorithms 3rd ed. [S.l.]: Addison-Wesley Professional. ISBN 978-0-201-89684-8 
  3. ——— (1998). The Art of Computer Programming. 3: Sorting and Searching 2nd ed. [S.l.]: Addison-Wesley Professional. ISBN 978-0-201-89685-5 
  4. ——— (2011). The Art of Computer Programming. 4A: Combinatorial Algorithms, Part 1. [S.l.]: Addison-Wesley Professional. ISBN 978-0-201-03804-0 
  5. ——— (2022). The Art of Computer Programming. 4B: Combinatorial Algorithms, Part 2. [S.l.]: Addison-Wesley Professional. ISBN 978-0-201-03806-4 
  6. ——— (2005). MMIX—A RISC Computer for the New Millennium. 1, Fascicle 1. [S.l.]: Pearson Education. ISBN 978-0-201-85392-6 
  7. ——— (2008). The Art of Computer Programming. 4, Fascicle 0: Introduction to Combinatorial Algorithms and Boolean Functions. [S.l.]: Addison-Wesley. ISBN 978-0-321-53496-5 
  8. ——— (2009). The Art of Computer Programming. 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. [S.l.]: Addison-Wesley. ISBN 978-0-321-58050-4 
  9. ——— (2005). The Art of Computer Programming. 4, Fascicle 2: Generating All Tuples and Permutations. [S.l.]: Addison-Wesley. ISBN 978-0-201-85393-3 
  10. ——— (2005). The Art of Computer Programming. 4, Fascicle 3: Generating All Combinations and Partitions. [S.l.]: Addison-Wesley. ISBN 978-0-201-85394-0 
  11. ——— (2006). The Art of Computer Programming. 4, Fascicle 4: Generating All Trees—History of Combinatorial Generation. [S.l.]: Addison-Wesley. ISBN 978-0-321-33570-8 
  12. ——— (2018). The Art of Computer Programming. 4, Fascicle 5: Mathematical Preliminaries Redux; Backtracking; Dancing Links. [S.l.]: Addison-Wesley. ISBN 978-0-134-67179-6 
  13. ——— (2015). The Art of Computer Programming. 4, Fascicle 6: Satisfiability. [S.l.]: Addison-Wesley. ISBN 978-0-134-39760-3 
  14. ——— (2025). The Art of Computer Programming. 4, Fascicle 7: Constraint Satisfaction. [S.l.]: Addison-Wesley. ISBN 978-0-135-32824-8 

Computers and Typesetting (todos os livros são de capa dura, a menos que indicado de outra forma):

  1. ——— (1984). Computers & Typesetting. A, The TeXbook. Reading, MA: Addison-Wesley. ISBN 978-0-201-13447-6 , x+483pp.
  2. ——— (1984). Computers & Typesetting. A, The TeXbook. Reading, MA: Addison-Wesley. ISBN 978-0-201-13448-3  (brochura).
  3. ——— (1986). Computers & Typesetting. B, TeX: The Program. Reading, MA: Addison-Wesley. ISBN 978-0-201-13437-7 , xviii+600pp.
  4. ——— (1986). Computers & Typesetting. C, The METAFONTbook. Reading, MA: Addison-Wesley. ISBN 978-0-201-13445-2 , xii+361pp.
  5. ——— (1986). Computers & Typesetting. C, The METAFONTbook. Reading, MA: Addison-Wesley. ISBN 978-0-201-13444-5  (brochura).
  6. ——— (1986). Computers & Typesetting. D, METAFONT: The Program. Reading, MA: Addison-Wesley. ISBN 978-0-201-13438-4 , xviii+566pp.
  7. ——— (1986). Computers & Typesetting. E, Computer Modern Typefaces. Reading, MA: Addison-Wesley. ISBN 978-0-201-13446-9 , xvi+588pp.
  8. ——— (2000). Computers & Typesetting. A-E Boxed Set. Reading, MA: Addison-Wesley. ISBN 978-0-201-73416-4 

Livros de artigos coletados:

  1. ——— (1992). Literate Programming. Col: Lecture Notes. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-0-937073-80-3 
  2. ——— (1996). Selected Papers on Computer Science. Col: Lecture Notes. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-881526-91-9 
  3. ——— (1999). Digital Typography. Col: Lecture Notes. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-57586-010-7 
  4. ——— (2000). Selected Papers on Analysis of Algorithms. Col: Lecture Notes. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-57586-212-5 
  5. ——— (2003). Selected Papers on Computer Languages. Col: Lecture Notes. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-57586-381-8 , ISBN 1-57586-382-0 (brochura)
  6. ——— (2003). Selected Papers on Discrete Mathematics. Col: Lecture Notes. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-57586-249-1 , ISBN 1-57586-248-4 (brochura)
  7. 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. ISBN 1-57586-583-1 (cloth), ISBN 1-57586-582-3 (brochura)
  8. 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. ISBN 978-1-57586-585-0 (cloth), ISBN 978-1-57586-584-3 (brochura)
  9. 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. ISBN 978-1-57586-635-2 (cloth), ISBN 978-1-57586-634-5 (brochura)

Outros livros:

  1. Graham, Ronald L; Knuth, Donald E.; Patashnik, Oren (1994). Concrete mathematics: A foundation for computer science Second ed. Reading, MA: Addison-Wesley. ISBN 978-0-201-55802-9. MR 1397498  xiv+657 pp.
  2. Knuth, Donald Ervin (1974). Surreal numbers: how two ex-students turned on to pure mathematics and found total happiness: a mathematical novelette. [S.l.]: Addison-Wesley. ISBN 978-0-201-03812-5 
  3. Donald E. Knuth, The Stanford GraphBase: A Platform for Combinatorial Computing (New York, ACM Press) 1993. second paperback printing 2009. ISBN 0-321-60632-9
  4. Donald E. Knuth, 3:16 Bible Texts Illuminated (Madison, Wisconsin: A-R Editions), 1990. ISBN 0-89579-252-4
  5. Donald E. Knuth, Things a Computer Scientist Rarely Talks About (Center for the Study of Language and Information—CSLI Lecture Notes no 136), 2001. ISBN 1-57586-326-X
  6. Donald E. Knuth, MMIXware: A RISC Computer for the Third Millennium (Heidelberg: Springer-Verlag— Lecture Notes in Computer Science, no. 1750), 1999. viii+550pp. ISBN 978-3-540-66938-8
  7. Donald E. Knuth and Silvio Levy, The CWEB System of Structured Documentation (Reading, Massachusetts: Addison-Wesley), 1993. iv+227pp. ISBN 0-201-57569-8. Third printing 2001 with hypertext support, ii + 237 pp.
  8. Donald E. Knuth, Tracy L. Larrabee, and Paul M. Roberts, Mathematical Writing (Washington, D.C.: Mathematical Association of America), 1989. ii+115pp ISBN 978-0883850633
  9. Daniel H. Greene and Donald E. Knuth, Mathematics for the Analysis of Algorithms (Boston: Birkhäuser), 1990. viii+132pp. ISBN 978-0817647285
  10. Donald E. Knuth, Mariages Stables: et leurs relations avec d'autres problèmes combinatoires (Montréal: Les Presses de l'Université de Montréal), 1976. 106pp. ISBN 978-0840503428
  11. Donald E. Knuth, Stable Marriage and Its Relation to Other Combinatorial Problems: An Introduction to the Mathematical Analysis of Algorithms. ISBN 978-0821806036
  12. Donald E. Knuth, Axioms and Hulls (Heidelberg: Springer-Verlag—Lecture Notes in Computer Science, no. 606), 1992. ix+109pp. ISBN 3-540-55611-7

Ver também

Referências

  1. 1 2 3 4 Knuth, Donald Ervin. «Frequently Asked Questions». Home page. Stanford University. Consultado em 2 de novembro de 2010. Cópia arquivada em 3 de agosto de 2019
  2. 1 2 3 4 5 6 7 8 9 Walden, David. «Donald E. Knuth - A.M. Turing Award Laureate». Consultado em 14 de dezembro de 2022. Cópia arquivada em 17 de outubro de 2019
  3. ↑ Karp, Richard M. (fevereiro de 1986). «Combinatorics, Complexity, and Randomness». Communications of the ACM. 29 (2): 98–109. doi:10.1145/5657.5658Acessível livremente
  4. ↑ O'Connor, John J.; Robertson, Edmund F. (outubro de 2015), «Donald Knuth», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews, consultado em 2 de julho de 2021
  5. 1 2 3 4 5 6 Feigenbaum, Edward (2007). «Oral History of Donald Knuth» (PDF). Computer History Museum. Consultado em 17 de setembro de 2020. Cópia arquivada (PDF) em 9 de dezembro de 2008
  6. ↑ Molly Knight Raskin (2013). No Better Time: The Brief, Remarkable Life of Danny Lewin--the Genius who Transformed the Internet. [S.l.]: Da Capo Press, Incorporated. pp. 61–62. ISBN 978-0-306-82166-0
  7. ↑ Advertisement, Minneapolis Star, 13 de fevereiro de 1952, página 59.
  8. ↑ Shasha, Dennis Elliott; Lazere, Cathy A (1998). Out of their minds: the lives and discoveries of 15 great computer scientists. [S.l.]: Springer. p. 90. ISBN 978-0-387-98269-4
  9. ↑ Knuth, Donald (2011). Selected Papers on Fun and Games. [S.l.]: Center for the Study of Language and Information—CSLI Lecture Notes, no. 192. p. 400. ISBN 978-1-57586-584-3
  10. 1 2 «Donald E. Knuth». Encyclopedia.com. Consultado em 17 de setembro de 2020
  11. 1 2 3 Koshy, Thomas (2004). Discrete mathematics with applications. [S.l.]: Academic Press. p. 244. ISBN 978-0-12-421180-3. Consultado em 30 de julho de 2011. Cópia arquivada em 12 de novembro de 2012
  12. ↑ Lyons, Keith (25 de setembro de 2018). «Donald Knuth, basketball and computers in sport». Clyde Street Archive. Consultado em 16 de agosto de 2019. Cópia arquivada em 16 de agosto de 2019
  13. ↑ «Beta Nu of Theta Chi, History of Beta Nu Chapter». CWRU. Consultado em 15 de abril de 2019. Cópia arquivada em 4 de setembro de 2016
  14. ↑ «Beta Nu, Theta Chi». Theta Chi. Consultado em 21 de dezembro de 2019. Cópia arquivada em 21 de dezembro de 2019
  15. 1 2 Waychoff, Richard. «Stories About the B5000 and People Who Were There» (PDF). Computer History Museum
  16. ↑
  17. ↑ Knuth, Donald Ervin (1963). Finite Semifields and Projective Planes (PDF) (PhD). California Institute of Technology
  18. 1 2 Knuth, Donald Ervin. «Curriculum vitae». Stanford University. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  19. ↑ Dahl, Ole-Johan. «The Birth of Object Orientation: the Simula Languages» (PDF)
  20. ↑ «Biography»
  21. ↑ «Interview with Richard Nance 2013»
  22. ↑ Dahl, Ole-Johan. «The Birth of Object Orientation: the Simula Languages»
  23. 1 2 Knuth, Donald Ervin (3 de agosto de 2019). «The Art of Computer Programming (TAOCP)». Consultado em 6 de fevereiro de 2018. Cópia arquivada em 3 de agosto de 2019
  24. ↑ «Institute for Defense Analyses». INFORMS. 27 de agosto de 2021. Consultado em 8 de janeiro de 2024
  25. 1 2 3 D'Agostino, Susan (16 de abril de 2020). «The Computer Scientist Who Can't Stop Telling Stories». Quanta Magazine. Consultado em 19 de abril de 2020
  26. ↑ «Timeline». Computer Science @ Stanford - Spotlight at Stanford. 21 de junho de 2019. Consultado em 8 de janeiro de 2024
  27. ↑ Knuth, Donald Ervin. «Home page». Stanford University. Consultado em 16 de março de 2005. Cópia arquivada em 27 de novembro de 2019
  28. ↑ «Donald Knuth». Profiles. Stanford University. Consultado em 24 de agosto de 2020. Cópia arquivada em 12 de junho de 2016
  29. ↑ «BBVA Foundation Frontiers of Knowledge Awards». Consultado em 15 de outubro de 2016. Cópia arquivada em 19 de agosto de 2016
  30. ↑ «Publikasjonen "Datahistorien ved Universitetet i Oslo - Institutt for informatikk 1977 - 1997" utgitt» [The publication "Computer history at the University of Oslo - Department of Informatics 1977 - 1997" published]. University of Oslo (em norueguês). 1997. Consultado em 29 de abril de 2021. Cópia arquivada em 29 de abril de 2021
  31. 1 2 Knuth, Donald Ervin. «Surreal numbers». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  32. ↑ Zeilberg. «DEK». Rutgers. Consultado em 26 de março de 2020. Cópia arquivada em 28 de agosto de 2017
  33. ↑ «The Linguist List -- Journal Page». linguistlist.org. Consultado em 14 de dezembro de 2022. Cópia arquivada em 11 de junho de 2021
  34. ↑ Madachy, Joseph S.,Mathematics on Vacation, Thomas Nelson & Sons Ltd. 1966
  35. ↑ «Videos about Numbers and Stuff». Numberphile. Consultado em 16 de agosto de 2019. Cópia arquivada em 4 de novembro de 2018
  36. ↑ Numberphile (27 de junho de 2016), Surreal Numbers (writing the first book) - Numberphile, consultado em 19 de julho de 2019, cópia arquivada em 11 de dezembro de 2021
  37. ↑ Computerphile (21 de agosto de 2015), Why Don Knuth Doesn't Use Email - Computerphile, consultado em 19 de julho de 2019, cópia arquivada em 11 de julho de 2018
  38. ↑ Burkholder, Leslie (1992). Philosophy and the Computer. [S.l.]: Taylor & Francis. ISBN 9780429301629
  39. ↑ Knuth, Donald E. (1976), Mariages stables et leurs relations avec d'autres problèmes combinatoires (PDF), ISBN 0-8405-0342-3 (em francês), Montréal, Quebec: Les Presses de l'Université de Montréal, MR 0488980. See in particular Problem 6, pp. 87–94.
  40. ↑ Platoni 2006.
  41. ↑ Knuth, Donald Ervin (1991). 3:16 : Bible texts illuminated. Madison, WI: A-R Eds. ISBN 978-0-89579-252-5
  42. ↑ Knuth, Donald Ervin (2001). Things a Computer Scientist Rarely Talks About. Stanford, California: Center for the Study of Language and Information Publications. ISBN 978-1-57586-326-9
  43. ↑ «All Questions Answered» (PDF). Notices of the AMS (article). Março de 2002. Consultado em 26 de março de 2020. Cópia arquivada (PDF) em 30 de abril de 2019
  44. ↑ Knuth, Donald Ervin. «Against software patents» (PDF). Consultado em 1 de fevereiro de 2020. Cópia arquivada (PDF) em 24 de setembro de 2015 Letter to the patent offices in the USA and Europe.
  45. ↑ «February 1994 letter to the Commissioner of Patents and Trademarks, Washington, DC». MIT CSAIL. Consultado em 9 de setembro de 2025
  46. ↑ Knuth, Donald Erwin (1997). «Digital Typography (Kyoto Prize Lecture, 1996)» (PDF). Cópia arquivada (PDF) em 27 de janeiro de 2018
  47. ↑ Knuth, Donald Erwin (1984). «Literate Programming» (PDF). Consultado em 26 de março de 2020. Cópia arquivada (PDF) em 19 de agosto de 2019
  48. ↑ «Knuth and Levy: CWEB»
  49. ↑ Knuth, Donald (11 de abril de 2019). «Knuth: Computers and Typesetting». www-cs-faculty.stanford.edu. Consultado em 19 de julho de 2019. Cópia arquivada em 11 de abril de 2019
  50. ↑ Lamport, Leslie (1986). LATEX : a document preparation system. [S.l.]: Addison-Wesley Pub. Co. ISBN 020115790X. OCLC 12550262
  51. ↑ O'Connor, J. J.; Robertson, E. F. (2015). «Donald Ervin Knuth». University of St Andrews. Consultado em 20 de outubro de 2017. Cópia arquivada em 5 de outubro de 2017
  52. ↑ «Professor Donald Knuth». Magdalen College. Consultado em 6 de dezembro de 2010. Cópia arquivada em 4 de janeiro de 2011
  53. ↑ «Notices». Oxford University Gazette. 30 de outubro de 2014. Consultado em 21 de maio de 2015. Cópia arquivada em 15 de maio de 2015
  54. ↑ «The Organ of Don and Jill Knuth». Consultado em 11 de janeiro de 2023 – via Stanford.edu
  55. ↑ de Groot, Martin (3 de novembro de 2018). «Arts and Culture: A polymath brings his genius to bear on a multimedia work for pipe organ». Waterloo Region Record
  56. ↑ Reutenauer, Arthur. «A brief history of TeX, volume II». TUGboat: 68–72. ISSN 0896-3207
  57. 1 2 Knuth, Donald Ervin (1980). 计算机程序设计技巧 (Ji suan ji cheng xu she ji ji qiao) [The Art of Computer Programming]. Traduzido por Guan, JiWen; Su, Yunlin. Beijing: Defense Industry Publishing Co. I fondly hope that many Chinese computer programmers will learn to recognize my Chinese name Gao Dena, which was given to me by Francis Yao just before I visited your country in 1977. I still have very fond memories of that three-week visit, and I have been glad to see Gao Dena on the masthead of the Journal of Computer Science and Technology since 1989. This name makes me feel close to all Chinese people although I cannot speak your language.
  58. ↑ «Rewriting the Bible in 0s and 1s». Technology Review. Cópia arquivada em 9 de julho de 2022
  59. ↑ Knuth, Donald Ervin (junho de 1957). «The Potrzebie System of Weights & Measures». Mad Magazine (33). Consultado em 26 de março de 2020. Cópia arquivada em 6 de novembro de 2018
  60. ↑ Kidder, Tracy (2016). A Truck Full of Money. [S.l.]: Random House. p. 68. ISBN 9780812995244
  61. ↑ Knuth, Don (2010). «TUG 2010» (conference panel video). Zeeba TV. Consultado em 26 de março de 2020. Cópia arquivada em 25 de março de 2016
  62. ↑ Knuth, Donald Ervin, An Earth-shaking announcement (video recording), Zeeba TV
  63. ↑ Knuth, Donald Ervin (2010). «An Earthshaking Announcement» (PDF). TUGboat. 31 (2): 121–24. ISSN 0896-3207. Consultado em 26 de março de 2020. Cópia arquivada (PDF) em 13 de abril de 2019
  64. ↑ Anon (2016). «Roll of Distinguished Fellows». British Computer Society. Consultado em 10 de setembro de 2014. Cópia arquivada em 4 de março de 2016
  65. ↑ «Donald E. Knuth Computer scientist, United States of America». Consultado em 5 de março de 2026
  66. ↑
  67. ↑ «Fellows». Siam. 2009. Consultado em 26 de março de 2020. Cópia arquivada em 21 de abril de 2019
  68. ↑ «Gruppe 1: Matematiske fag» (em norueguês). Norwegian Academy of Science and Letters. Consultado em 7 de outubro de 2010. Cópia arquivada em 10 de novembro de 2013
  69. ↑ «Fellows of the American Mathematical Society». Consultado em 14 de dezembro de 2022
  70. ↑ «APS Member History». search.amphilsoc.org. Consultado em 19 de março de 2021
  71. ↑ Knuth, D. E. (1974). «Computer science and its relation to mathematics». Amer. Math. Monthly. 81 (4): 323–343. JSTOR 2318994. doi:10.2307/2318994. Consultado em 26 de março de 2020. Cópia arquivada em 20 de fevereiro de 2019
  72. ↑ Knuth, D. E. (1992). «Two notes on notation». Amer. Math. Monthly. 99 (5): 403–422. Bibcode:1992math......5211K. JSTOR 2325085. arXiv:math/9205211Acessível livremente. doi:10.2307/2325085. Consultado em 26 de março de 2020. Cópia arquivada em 20 de fevereiro de 2019
  73. ↑ «Josiah Willard Gibbs Lectures». American Mathematical Society. Consultado em 15 de outubro de 2016. Cópia arquivada em 7 de outubro de 2016
  74. ↑ Knuth, Donald E. (1979). «Mathematical typography» (PDF). Bull. Amer. Math. Soc. (N.S.). 1 (2): 337–372. MR 520078. doi:10.1090/s0273-0979-1979-14598-1Acessível livremente. Consultado em 1 de junho de 2022. Cópia arquivada (PDF) em 28 de setembro de 2015
  75. ↑ «The President's National Medal of Science: Recipient Details - NSF - National Science Foundation». www.nsf.gov. Consultado em 26 de março de 2020. Cópia arquivada em 23 de novembro de 2018
  76. ↑ «Golden Plate Awardees of the American Academy of Achievement». www.achievement.org. American Academy of Achievement
  77. ↑ «Harvey». IL: Technion. 1995. Cópia arquivada em 21 de julho de 2011
  78. ↑ «Donald Knuth: 1998 Fellow». Computer History Museum. 2015. Consultado em 12 de março de 2018. Cópia arquivada em 13 de março de 2018
  79. ↑ «21656 Knuth (1999 PX1)». Minor Planet Center. Consultado em 23 de fevereiro de 2019. Cópia arquivada em 8 de maio de 2016
  80. ↑ «MPC/MPO/MPS Archive». Minor Planet Center. Consultado em 23 de fevereiro de 2019. Cópia arquivada em 5 de março de 2019
  81. ↑ «Katayanagi». CMU. Consultado em 6 de janeiro de 2020. Cópia arquivada em 15 de junho de 2019
  82. ↑ Galardonados (2010). «Fronteras» (em espanhol). ES: FBBVA. Cópia arquivada em 19 de agosto de 2016
  83. ↑ Myers, Andrew (1 de junho de 2001). «Stanford's Don Knuth, a pioneering hero of computer programming». Stanford Report. Consultado em 27 de junho de 2011. Cópia arquivada em 23 de junho de 2011
  84. ↑ Knuth, Donald. «Problems That Philippe Would Have Loved» (PDF). Stanford University. Consultado em 23 de março de 2022. Cópia arquivada (PDF) em 16 de março de 2018
  85. ↑ Knuth, Donald Ervin. «Books». Home page (list). Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  86. ↑ Knuth, Donald Ervin. «Literate Programming». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  87. ↑ Knuth, Donald Ervin. «Selected Papers on Computer Science». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  88. ↑ Knuth, Donald Ervin (1983). «Digital Typography». Scientific American. 249 (2): 106–119. Bibcode:1983SciAm.249b.106B. doi:10.1038/scientificamerican0883-106. Consultado em 26 de março de 2020. Cópia arquivada em 5 de maio de 2019
  89. ↑ Knuth, Donald Ervin. «Selected Papers on Analysis of Algorithms». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  90. ↑ Knuth, Donald Ervin. «Selected Papers on Computer Languages». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  91. ↑ Knuth, Donald Ervin. «Selected Papers on Discrete Mathematics». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  92. ↑ Knuth, Donald Ervin. «Selected Papers on Design of Algorithms». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  93. ↑ Knuth, Donald Ervin. «Selected Papers on Fun and Games». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019
  94. ↑ Knuth, Donald Ervin. «Companion to the Papers of Donald Knuth». Home page. Consultado em 26 de março de 2020. Cópia arquivada em 3 de agosto de 2019

Bibliografia

Ligações externas


Precedido por
Charles Bachman		 Prêmio Turing
1974		 Sucedido por
Allen Newell e Herbert Simon
Precedido por
Stanley Cohen		 Medalha Franklin
1988		 Sucedido por
Hugh Huxley e David Turnbull
Precedido por
John Cocke		 Medalha John von Neumann IEEE
1995		 Sucedido por
Carver Mead