Origem: Wikipédia, a enciclopédia livre.
| Donald Knuth |
| Matemática, ciência da computação |

|
|
| Nacionalidade |
Estadunidense |
|
| Nascimento |
10 de Janeiro de 1938 (74 anos) |
| Local |
Milwaukee |
|
| Actividade |
| Campo(s) |
Matemática, ciência da computação |
| Instituições |
Universidade Stanford |
| Alma mater |
Case Western Reserve University, Instituto de Tecnologia da Califórnia |
|
| Tese |
1963: Finite Semifields and Projective Planes |
| Orientador(es) |
Marshall Hall |
| Orientado(s) |
Leonidas John Guibas, Scott Kim, Vaughan Pratt, Robert Sedgewick, Jeffrey Vitter, Andrei Broder, Bernard Marcel Mont-Reynaud |
| Conhecido(a) por |
The Art of Computer Programming, Tex, METAFONT, Algoritmo de Knuth-Morris-Pratt, algoritmo de Knuth–Bendix, MMIX |
|
| Prêmio(s) |
Prêmio Turing (1974), Medalha Nacional de Ciências (1979), Prêmio Leroy P. Steele (1986), Medalha Franklin (1988), Medalha John von Neumann IEEE (1995), Prêmio Kyoto (1996) |
|
| Notas |
Página pessoal |
|
|
|
Donald Ervin Knuth (Milwaukee, 10 de Janeiro de 1938) é um cientista computacional de renome e professor emérito da Universidade de Stanford. É o autor do livro The Art of Computer Programming, uma das principais referências da ciência da computação. Ele praticamente criou o campo análise de algoritmos e fez muitas das principais contribuições a vários ramos da teoria da computação. Ele também criou o sistema tipográfico TEX, o sistema de criação de fontes METAFONT, além de ser pioneiro do conceito de programação literária. Finalmente, desenvolveu o conceito de número surreal.
[editar] Educação e vida acadêmica
Nascido no Wisconsin, graduou-se em 1960. Em 1963 obteve o doutorado no California Institute of Technology (Caltech), onde tornou-se professor e começou a trabalhar no livro The Art of Computer Programming, originalmente planejado como uma série de sete livros. O primeiro volume foi publicado em 1968. Neste mesmo ano transferiu-se para a Universidade de Stanford. Em 1974 ganhou o Prêmio Turing.
Em 1976, após produzir o terceiro volume de sua série, ficou tão frustrado com o estado antiquado das ferramentas de publicação que dedicou seu tempo à criação de algo melhor. De seus esforços sugiram as ferramentas TEX e METAFONT.
Em reconhecimento às suas contribuições à ciência da computação ele foi agraciado em 1990 com o singular título de Professor of the Art of Computer Programming, que depois foi atualizado para Professor Emeritus of the Art of Computer Programming.
Em 1992 tornou-se um associado da Academia Francesa de Ciências. Neste mesmo ano aposentou-se da universidade para concluir The Art of Computer Programming. Em 2003 foi eleito como Fellow da Royal Society. Em 2004 os primeiros três volumes de seu livro foram re-editados. Atualmente Knuth está trabalhando no quarto volume e trechos são liberados periodicamente em seu site pessoal.
[editar] Curiosidades
- Knuth é conhecido pelo seu humor geek: Para cada erro encontrado em seus livros ele oferece um cheque de US$ 2,56, pois "256 centavos são um dólar hexadecimal".
- As versões do TeX|TEX são numeradas de forma que se aproximem do valor exato de pi: 3, 3.1, 3.14, etc.
- As versões do METAFONT seguem um sistema parecido, mas relativo a e.
- Seu comentário mais famoso foi feito ao enviar uns comentários de um algoritmo a um colega: "Cuidado com os defeitos do código anterior, eu apenas os demonstrei, não os experimentei".
- Ele escreveu o livro 3:16 Bible Texts Illuminated, no qual ele tenta examinar a bíblia por um processo amostra estratificada aleatória. Para ser mais preciso, cada capítulo 3, versículo 16 de cada livro. Cada versículo é acompanhado por uma renderização de arte caligráfica, contribuição de um grupo de calígrafos liderados por Hermann Zapf.
- Os hobbies de Knuth incluem música, principalmente o órgão.
- Ele não usa e-mail, dizendo que já o usou de 1975 até 1990 e que foi o suficiente para uma vida inteira. Ele acha mais eficiente responder a correspondência em "modo batch", como uma vez a cada três meses.
- Ele é casado com Jill Knuth, com quem publicou um livro sobre liturgia, e tem dois filhos.
[editar] Ligações externas
|
Medalha Nacional de Ciências |
|
Ciência do Comportamento e Social |
|
|
|
|
|
Ciências Biológicas |
|
| 1960s |
|
| 1970s |
1970: Barbara McClintock e Albert Sabin · 1973: Daniel Arnon e Earl Sutherland · 1974: Britton Chance, Erwin Chargaff, James V. Neel e James Augustine Hannon · 1975: Hallowell Davis, Paul Gyorgy, Sterling Brown Hendricks e Orville Vogel · 1976: Roger C.L. Guillemin, Keith Roberts Porter, Efraim Racker e Edward O. Wilson · 1979: Robert H. Burris, Elizabeth C. Crosby, Arthur Kornberg, Severo Ochoa, Earl Reece Stadtman, George Ledyard Stebbins e Paul Alfred Weiss
|
| 1980s |
1981: Philip Handler · 1982: Seymour Benzer, Glenn W. Burton e Mildred Cohn · 1983: Howard L. Bachrach, Paul Berg, Wendell L. Roelofs e Berta Scharrer · 1986: Stanley Cohen, Donald Henderson, Vernon Mountcastle, George Palade e Joan A. Steitz · 1987: Michael E. Debakey, Theodor O. Diener, Harry Eagle, Har Khorana e Rita Levi-Montalcini · 1988: Michael Stuart Brown, Stanley Norman Cohen, Joseph Goldstein, Maurice Hilleman, Eric Kandel e Rosalyn Yalow · 1989: Katherine Esau, Viktor Hamburger, Philip Leder, Joshua Lederberg, Roger Sperry e Harland G. Wood
|
| 1990s |
1990: Baruj Benacerraf, Herbert Boyer, Daniel Koshland, Edward Lewis, David G. Nathan e Edward Donnall Thomas · 1991: Mary Ellen Avery, G. Evelyn Hutchinson, Elvin A. Kabat, Salvador Luria, Paul A. Marks, Folke K Skoog e Paul C. Zamecnik · 1992: Maxine Singer e Howard Martin Temin · 1993: Daniel Nathans e Salome G. Waelsch · 1994: Thomas Eisner e Elizabeth F. Neufeld · 1995: Alexander Rich · 1996: Ruth Patrick · 1997: James Watson e Robert A. Weinberg · 1998: Bruce Ames e Janet Rowley · 1999: David Baltimore, Jared Diamond e Lynn Margulis
|
| 2000s |
|
|
|
|
|
|
Ciências da Engenharia |
|
| 1960s |
|
| 1970s |
|
| 1980s |
|
| 1990s |
|
| 2000s |
|
|
|
|
Ciências Matemáticas, Estatísticas e Computacionais |
|
| 1960s |
|
| 1970s |
|
| 1980s |
|
| 1990s |
|
| 2000s |
|
|
|
|
Ciências Físicas |
|
| 1960s |
1963: Luis Walter Alvarez · 1964: Julian Schwinger, Harold Clayton Urey e Robert Burns Woodward · 1965: John Bardeen, Peter Debye, Leon Max Lederman e William Walden Rubey · 1966: Jacob Bjerknes, Subrahmanyan Chandrasekhar, Henry Eyring, John Hasbrouck Van Vleck e Vladimir Zworykin · 1967: Jesse Beams, Francis Birch, Gregory Breit · Louis Plack Hammett e George Kistiakowsky · 1968: Paul Doughty Bartlett, Herbert Friedman, Lars Onsager e Eugene Paul Wigner · 1969: Herbert Charles Brown e Wolfgang Panofsky
|
| 1970s |
1970: Robert Henry Dicke, Allan Rex Sandage, John Clarke Slater, John Archibald Wheeler e Saul Winstein · 1973: Carl Djerassi, William Maurice Ewing, Arie Jan Haagen-Smit, Vladimir Haensel, Frederick Seitz e Robert Rathbun Wilson · 1974: Nicolaas Bloembergen, Paul John Flory, William Alfred Fowler, Linus Pauling e Kenneth Sanborn Pitzer · 1975: Hans Bethe, Joseph Hirschfelder, Lewis Hastings Sarett, Edgar Bright Wilson e Chien-Shiung Wu · 1976: Samuel Abraham Goudsmit, Herbert S. Gutowsky, Frederick Rossini, Verner Suomi, Henry Taube e George Eugene Uhlenbeck · 1979: Richard Feynman, Hermann Mark, Edward Mills Purcell, John Sinfelt, Lyman Spitzer e Victor Weisskopf
|
| 1980s |
1982: Philip Warren Anderson, Yoichiro Nambu, Edward Teller e Charles Hard Townes · 1983: Margaret Burbidge, Maurice Goldhaber, Helmut Landsberg, Walter Munk, Frederick Reines, Bruno Rossi e John Robert Schrieffer · 1986: Solomon Buchsbaum, Horace Crane, Herman Feshbach, Robert Hofstadter e Chen Ning Yang · 1987: Philip Abelson, Walter Elsasser, Paul Christian Lauterbur, George Pake e James van Allen · 1988: David Allan Bromley, Chu Ching-wu, Walter Kohn, Norman Foster Ramsey, Jack Steinberger · 1989: Arnold Orville Beckman, Eugene Parker, Robert Sharp e Henry Stommel
|
| 1990s |
|
| 2000s |
|
|
|
|
Prêmio Leroy P. Steele (1970 — 2012) |
| Agraciados até 1978 |
1970: Solomon Lefschetz • 1971: James B. Carrell, Jean Dieudonné e Phillip Griffiths • 1972: Edward B. Curtis, William John Ellison, Lawrence F. Payne e Dana Scott • 1975: Lipman Bers, Martin Davis, H. Blaine Lawson, George W. Mackey e Joseph L. Taylor
|
| Seminal Contribution to Research |
1979: Joseph Kohn e Hans Lewy • 1980: Gerhard Hochschild • 1981: Eberhard Hopf • 1982: John Milnor • 1983: Stephen Kleene • 1984: Lennart Carleson • 1985: Robert Steinberg • 1986: Rudolf Kalman • 1987: Herbert Federer e Wendell Fleming • 1988: Gian-Carlo Rota • 1989: Alberto Calderón • 1990: Bertram Kostant • 1991: Eugenio Calabi • 1992: James Glimm • 1993: George Mostow • 1994: Louis de Branges de Bourcia • 1995: Edward Nelson • 1996: Daniel Stroock e S. R. Srinivasa Varadhan • 1997: Mikhael Gromov • 1998: Herbert Wilf e Doron Zeilberger • 1999: Michael Crandall e John Forbes Nash • 2000: Barry Mazur • 2001: Leslie Greengard e Vladimir Rokhlin • 2002: Mark Goresky e Robert MacPherson • 2003: Ronald Jensen e Michael Morley • 2004: Lawrence C. Evans e Nikolai Wladimirowitsch Krylow • 2005: Robert Langlands • 2006: Clifford Gardner, John Greene, Martin Kruskal e Robert Miura • 2007: Karen Uhlenbeck • 2008: Endre Szemerédi • 2009: Richard Hamilton • 2010: Robert Griess • 2011: Ingrid Daubechies • 2012: William Thurston
|
| Lifetime Achievement |
1979: Salomon Bochner e Antoni Zygmund • 1980: André Weil • 1981: Oscar Zariski • 1982: Fritz John • 1983: Shiing-Shen Chern • 1984: Joseph Leo Doob • 1985: Hassler Whitney • 1986: Saunders Mac Lane • 1987: Samuel Eilenberg • 1988: Deane Montgomery • 1989: Irving Kaplansky • 1990: Raoul Bott • 1991: Armand Borel • 1992: Peter Lax • 1993: Eugene Dynkin • 1994: Louis Nirenberg • 1995: John Tate • 1996: Goro Shimura • 1997: Ralph Phillips • 1998: Nathan Jacobson • 1999: Richard Kadison • 2000: Isadore Singer • 2001: Harry Kesten • 2002: Michael Artin e Elias Stein • 2003: Ronald Graham e Victor Guillemin • 2004: Cathleen Synge Morawetz • 2005: Israel Gelfand • 2006: Frederick Gehring e Dennis Sullivan • 2007: Henry McKean • 2008: George Lusztig • 2009: Luis Caffarelli • 2010: William Fulton • 2011: John Milnor • 2012: Ivo Babuška
|
| Mathematical Exposition |
1979: Robin Hartshorne • 1980: Harold Edwards • 1981: Nelson Dunford e Jacob T. Schwartz • 1982: Tsit-Yuen Lam • 1983: Paul Halmos • 1984: Elias Stein • 1985: Michael Spivak • 1986: Donald Knuth • 1987: Martin Gardner • 1988: Sigurdur Helgason • 1989: Daniel Gorenstein • 1990: Robert Richtmyer • 1991: François Treves • 1992: Jacques Dixmier • 1993: Walter Rudin • 1994: Ingrid Daubechies • 1995: Jean-Pierre Serre • 1996: Bruce Berndt e William Fulton • 1997: Anthony Knapp • 1998: Joseph Silverman • 1999: Serge Lang • 2000: John Conway • 2001: Richard P. Stanley • 2002: Yitzhak Katznelson • 2003: John Garnett • 2004: John Willard Milnor • 2005: Branko Grünbaum • 2006: Lars Hörmander • 2007: David Bryant Mumford • 2008: Neil Trudinger • 2009: Ian Macdonald • 2010: David Eisenbud • 2011: Henryk Iwaniec • 2012: Michael Aschbacher, Richard Lyons, Steven Smith e Ronald Solomon
|
|
Medalha Franklin (1915 — 1997) |
|
1915: Thomas Edison, Heike Kamerlingh Onnes · 1916: John Joseph Carty, Theodore William Richards · 1917: Hendrik Lorentz, David Watson Taylor · 1918: Guglielmo Marconi, Thomas Corwin Mendenhall · 1919: James Dewar, George Owen Squier · 1920: Svante Arrhenius, Charles Algernon Parsons · 1921: Charles Fabry, Frank Julian Sprague · 1922: Ralph Modjeski, Joseph John Thomson · 1923: Gustave-Auguste Ferrié, Albert Abraham Michelson · 1924: Ernest Rutherford, Edward Weston · 1925: Elihu Thomson, Pieter Zeeman · 1926: Niels Bohr, Samuel Rea · 1927: George Ellery Hale, Max Planck · 1928: Charles Francis Brush, Walther Nernst · 1929: Emil Berliner, Charles Thomson Rees Wilson · 1930: William Henry Bragg, John Frank Stevens · 1931: James Hopwood Jeans, Willis Rodney Whitney · 1932: Philipp Lenard, Ambrose Swasey · 1933: Paul Sabatier, Irmãos Wright · 1934: Irving Langmuir, Henry Norris Russell · 1935: Albert Einstein, John Ambrose Fleming · 1936: Frank Baldwin Jewett, Charles Kettering · 1937: Peter Debye, Robert Andrews Millikan · 1938: William Frederick Durand, Charles August Kraus · 1939: Edwin Powell Hubble, Albert Sauveur · 1940: Leo Baekeland, Arthur Holly Compton · 1941: Edwin Armstrong, Chandrasekhara Venkata Raman · 1942: Jerome Clarke Hunsaker, Paul Dyer Merica · 1943: George Washington Pierce, Harold Clayton Urey · 1944: William David Coolidge, Pyotr Kapitsa · 1945: Harlow Shapley · 1946: Henry Clapp Sherman, Henry Tizard · 1947: Enrico Fermi, Robert Robinson · 1948: Wendell Meredith Stanley, Theodore von Kármán · 1949: Theodor Svedberg · 1950: Eugene Paul Wigner · 1951: James Chadwick · 1952: Wolfgang Pauli · 1953: William Francis Gibbs · 1954: Charles Edward Kenneth Mees · 1955: Arne Tiselius · 1956: Frank Whittle · 1957: Hugh Stott Taylor · 1958: Donald Wills Douglas · 1959: Hans Bethe · 1960: Roger Adams · 1961: Detlev Bronk · 1962: Geoffrey Ingram Taylor · 1963: Glenn Theodore Seaborg · 1964: Gregory Breit · 1965: Frederick Seitz · 1966: Britton Chance · 1967: Murray Gell-Mann · 1968: Marshall Nirenberg · 1969: John Archibald Wheeler · 1970: Wolfgang Panofsky · 1971: Hannes Alfvén · 1972: George Kistiakowsky · 1973: Theodosius Dobzhansky · 1974: Nikolai Bogoliubov · 1975: John Bardeen · 1976: Mahlon Hoagland · 1977: Cyril Manton Harris · 1978: Elias James Corey · 1979: George Evelyn Hutchinson · 1980: Avram Goldstein, Lyman Spitzer · 1981: Stephen Hawking · 1982: César Milstein, Kenneth Wilson · 1984: Verner Suomi · 1985: George Claude Pimentel · 1986: Benoît Mandelbrot · 1987: Stanley Cohen · 1988: Donald Knuth · 1990: Hugh Huxley, David Turnbull · 1992: Frederick Reines · 1995: Gerardus 't Hooft · 1996: Richard Smalley · 1997: Mario Capecchi
|