Haupt >> Rechnende Menschen >> Donald Knut

Donald Knut

  Fotografiert von Jacob Appelbaum, 25. Oktober 2005
Fotografiert von Jacob Appelbaum, 25. Oktober 2005
Geboren 10. Januar 1938
Milwaukee, Wisconsin, USA
Residenz Hirsch
Staatsangehörigkeit UNS
Aufstellen Informatiker
Institution Universität in Stanford
Alma Mater Fall Institut für Technologie
Kalifornisches Institut der Technologie
Doktoratsberater Marshall Halle, Jr.
Doktoranden Vaughan Pratt
Robert Seggewick
Jeffrey Witter
Bekannt für TeX
Die Kunst der Computerprogrammierung
Bemerkenswerte Preise John von Neumann Medal (1995)
Religion Lutherisch

Donald Ervin Knuth ( [knuːθ] , geboren am 10. Januar 1938) ist ein renommierter Informatiker und emeritierter Professor an der Stanford University.

Knuth ist vor allem als Autor des mehrbändigen Buches bekannt Die Kunst der Computerprogrammierung , eine der angesehensten Referenzen im Bereich der Informatik. Er hat praktisch das Gebiet der rigorosen Analyse von Algorithmen geschaffen und viele wegweisende Beiträge zu mehreren Zweigen der theoretischen Informatik geleistet. Er ist auch der Schöpfer des TeX Schriftsatzsystem und des METAFONT-Schriftdesignsystems und leistete Pionierarbeit für das Konzept der literarischen Programmierung.



Bildung und wissenschaftliches Arbeiten

Geboren in Milwaukee, Wisconsin, erhielt er seinen Bachelor- und Master-Abschluss in Mathematik (gleichzeitig wurde seine B.S.-Arbeit als einen Master-Abschluss verdienend angesehen) im Jahr 1960 am Case Institute of Technology (jetzt Teil der Case Western Reserve University). 1963 erwarb er einen Ph.D. in Mathematik vom California Institute of Technology, wo er Professor wurde und anfing zu arbeiten Die Kunst der Computerprogrammierung , ursprünglich als siebenbändige Serie geplant. 1968 veröffentlichte er den ersten Band. Im selben Jahr trat er der Fakultät der Stanford University bei.

1971 erhielt Knuth den ersten ACM Grace Murray Hopper Award. Er hat verschiedene andere Auszeichnungen erhalten, darunter den Turing Award, die National Medal of Science, die John-von-Neumann-Medaille und den Kyoto-Preis. Nach der Produktion des dritten Bandes seiner Reihe im Jahr 1976 drückte er eine solche Frustration über den aufkeimenden Zustand der damals neu entwickelten elektronischen Veröffentlichungswerkzeuge (insbesondere derer, die Eingaben für Fotosetzer lieferten) aus, dass er sich eine Auszeit nahm, um am Schriftsatz zu arbeiten, und die erstellte TeX und METAFONT-Tools.

In Anerkennung von Knuths Beiträgen auf dem Gebiet der Informatik , 1990 wurde ihm der akademische Titel im Singular verliehen Professor für die Kunst der Computerprogrammierung , die inzwischen überarbeitet wurde Emeritierter Professor für die Kunst der Computerprogrammierung .

1992 wurde er Mitglied der Französischen Akademie der Wissenschaften. Ebenfalls in diesem Jahr zog er sich von der regulären Forschung und Lehre an der Stanford University zurück, um seinen Abschluss zu machen Die Kunst der Computerprogrammierung . 2003 wurde er zum Fellow der Royal Society gewählt. Ab 2004 wurden die ersten drei Bände seiner Reihe neu aufgelegt, und Knuth arbeitet derzeit an Band vier, von dem regelmäßig Auszüge auf seiner Website veröffentlicht werden. Unterdessen hält Knuth einige Male im Jahr informelle Vorlesungen an der Stanford University, die er Computer Musings nennt. Er ist außerdem Gastprofessor am Oxford University Computing Laboratory in der Vereinigtes Königreich .

Neben seinen Schriften zur Informatik ist Knuth auch Autor von 3:16 Bibeltexte beleuchtet (1991), ISBN 0-89579-252-4, in dem er versucht, die Bibel durch einen Prozess geschichteter Zufallsstichproben zu untersuchen, nämlich eine Analyse von Kapitel 3, Vers 16 jedes Buches. Jeder Vers wird von einer kalligrafischen Darstellung begleitet, die von einer Gruppe von Kalligraphen unter der Leitung von Hermann Zapf beigesteuert wurde.

Knuths Humor

Knuth ist ein berühmter Programmierer, der für seinen professionellen Geek-Humor bekannt ist.

  • Er zahlt eine Findergebühr von 2,56 $ für alle Tippfehler/Fehler, die in seinen Büchern entdeckt werden, weil „256 Cent sind ein hexadezimaler Dollar“. (Sein Kopfgeld für Errata in 3:16 Bibeltexte beleuchtet, beträgt jedoch 3,16 $). Laut einem Artikel im MIT Technologieüberprüfung , gehören diese Belohnungsschecks 'zu den wertvollsten Trophäen der Computerwelt'.
  • Versionsnummern von ihm TeX Software-Annäherung an die transzendente Zahl Pi , d.h. die Versionen erhöhen sich im Stil 3, 3.1, 3.14 und so weiter. Versionsnummern von Metafont nähern sich der Zahl und ähnlich.
  • Er warnte einmal Benutzer seiner Software, 'Vorsicht vor Fehlern im obigen Code; ich habe ihn nur als richtig bewiesen, nicht ausprobiert.'
  • Alle Anhänge in der Reihe Computer und Schriftsatz haben Titel, die mit dem Buchstaben beginnen, der den Anhang identifiziert.
  • TAOCP v3 (1973) hat den Indexeintrag 'Royalties, use of, 405'. Seite 405 enthält keine ausdrückliche Erwähnung von Tantiemen, enthält aber ein Diagramm einer „Orgelpfeifenanordnung“ in Abbildung 2. Anscheinend war der Kauf der Pfeifenorgel in seinem Haus (siehe persönlich unten) wurde durch Lizenzgebühren von TAOCP finanziert.
  • Aus dem Vorwort von Konkrete Mathematik : Als DEK zum ersten Mal Konkrete Mathematik in Stanford unterrichtete, erklärte er den etwas seltsamen Titel damit, dass es sein Versuch sei, einen Mathematikkurs zu unterrichten, der hart statt weich sei. Er gab bekannt, dass er es entgegen den Erwartungen einiger seiner Kollegen war nicht Ich werde die Theorie der Aggregate lehren, noch das Einbettungstheorem von Stone, noch nicht einmal die Stone-Čech-Kompaktifizierung. (Einige Studenten des Fachbereichs Bauingenieurwesen standen auf und verließen leise den Raum.)
  • Knuth veröffentlichte seinen ersten „wissenschaftlichen“ Artikel in einer Schülerzeitung 1957 unter dem Titel „Potrzebie System of Weights and Measures“. Darin definierte er die grundlegende Längeneinheit als Dicke WÜTEND Magazin Nr. 26, und benannte die grundlegende Einheit von Macht 'Was für Sorgen'. WÜTEND Magazin kaufte den Artikel und veröffentlichte ihn in der Ausgabe vom Juni 1957.
  • Knuths erster „mathematischer“ Artikel war ein kurzer Aufsatz, der 1955 bei einem Wettbewerb zur Suche nach „wissenschaftlichen Talenten“ für Abiturienten eingereicht und 1960 veröffentlicht wurde, in dem er Zahlensysteme mit negativer Basis diskutierte. Er verallgemeinerte dies weiter auf Zahlensysteme, in denen die Basis eine komplexe Zahl war. Insbesondere definierte er das viertelimaginäre Zahlensystem, das die imaginäre Zahl 2i als Basis verwendet, mit der Besonderheit, dass jede komplexe Zahl mit den Ziffern 0, 1, 2 und 3 ohne Vorzeichen dargestellt werden kann.
  • Knuths Artikel über die Rechenkomplexität von Liedern wurde zweimal nachgedruckt Informatik Zeitschriften.

persönlich

Zu Knuths Hobbys gehört die Musik, insbesondere das Orgelspiel. Er hat eine Pfeifenorgel in seinem Haus installiert. Knuth bestreitet jedes besondere Talent für das Instrument.

Er benutzt keine E-Mail und sagt, dass er sie von etwa 1975 bis zum 1. Januar 1990 benutzt hat, und das war genug für ein ganzes Leben. Er findet es effizienter, Korrespondenz im „Batch-Modus“ zu beantworten, beispielsweise alle drei Monate einen Tag, der per Post verschickt wird.

Er ist mit Jill Knuth verheiratet, die ein Buch über Liturgie mit dem Titel veröffentlicht hat Banner ohne Worte , veröffentlicht von Resource Publications im Jahr 1986. Sie haben zwei Kinder.

Er ist Mitglied der Theta-Chi-Bruderschaft.

Knuth verwendet die Emacs Texteditor.

Auszeichnungen

  • Erster ACM Grace Murray Hopper Award - 1971
  • Turing-Preis - 1974
  • Nationale Wissenschaftsmedaille - 1979
  • John von Neumann Medal - 1995
  • Kyoto-Preis - 1996

Er hat auch einen chinesischen Namen 高德納 ( Pinyin : Gāo Dénà ), den Frances Yao 1977 kurz vor seinem ersten Besuch in China gegeben hat.

Funktioniert

Eine kurze Liste seiner Werke:

  • Donald E. Knuth, Die Kunst der Computerprogrammierung, Bände 1–4, Addison-Wesley Professional
  1. Band 1: Fundamental Algorithms (3. Auflage), 1997. Addison-Wesley Professional, ISBN 0-201-89683-4
  2. Band 2: Seminumerical Algorithms (3. Auflage), 1997. Addison-Wesley Professional, ISBN 0-201-89684-2
  3. Band 3: Sortieren und Suchen (2. Auflage), 1998. Addison-Wesley Professional, ISBN 0-201-89685-0
  4. Band 4: Kombinatorische Algorithmen, in Vorbereitung
  5. Band 5: Syntaktische Algorithmen, in Vorbereitung, voraussichtlich 2015 fertig
  • Donald E. Knuth, Die Kunst der Computerprogrammierung, Faszikel:
  1. Band 1, Faszikel 1: MMIX – Ein RISC-Computer für das neue Jahrtausend, 2005. ISBN 0-201-85392-2
  2. Band 4, Faszikel 2: Generieren aller Tupel und Permutationen, 2005. ISBN 0-201-85393-0
  3. Band 4, Faszikel 3: Alle Kombinationen und Partitionen generieren, 2005. ISBN 0-201-85394-9
  4. Band 4, Faszikel 4: Alle Bäume erzeugen – Geschichte der kombinatorischen Erzeugung, 2006. ISBN 0-321-33570-8
  • Donald E. Knuth, The TeXbook (Reading, Massachusetts: Addison-Wesley), 1984. ISBN 0-201-13448-9
  • Donald E. Knuth, The METAFONTbook (Reading, Massachusetts: Addison-Wesley), 1986. ISBN 0-201-13444-6
  • Ronald L. Graham, Donald E. Knuth, Oren Patashnik, Konkrete Mathematik: Eine Stiftung für Informatik, 2. Auflage (Reading, Massachusetts: Addison-Wesley), 1994. ISBN 0-201-55802-5
  • Ausgewählte Papiere Serie:
  1. Donald E. Knuth, Literate Programming (Zentrum für das Studium von Sprache und Information – Vorlesungsunterlagen), 1992. ISBN 0-937073-80-6
  2. Donald E. Knuth, Selected Papers on Computer Science (Stanford, Kalifornien: Center for the Study of Language and Information – CSLI Lecture Notes, Nr. 59), 1996. ISBN 1-881526-91-7
  3. Donald E. Knuth, Digital Typography (Stanford, Kalifornien: Center for the Study of Language and Information – CSLI Lecture Notes, Nr. 78), 1999. ISBN 1-57586-010-4
  4. Donald E. Knuth, Selected Papers on Analysis of Algorithms (Stanford, Kalifornien: Center for the Study of Language and Information – CSLI Lecture Notes, Nr. 102), 2000. ISBN 1-57586-212-3
  5. Donald E. Knuth, Selected Papers on Computer Languages ​​(Stanford, Kalifornien: Center for the Study of Language and Information – CSLI Lecture Notes, Nr. 139), 2003. ISBN 1-57586-381-2 (Leinwand), ISBN 1- 57586-382-0 (Taschenbuch)
  6. Donald E. Knuth, Selected Papers on Discrete Mathematics (Stanford, Kalifornien: Center for the Study of Language and Information – CSLI Lecture Notes, Nr. 106), 2003. ISBN 1-57586-249-2 (Leinwand), ISBN 1- 57586-248-4 (Taschenbuch)
  7. Donald E. Knuth, Selected Papers on Design of Algorithms (geplante Veröffentlichung 2007)
  8. Donald E. Knuth, Selected Papers on Fun and Games (geplante Veröffentlichung 2007)
  • Donald E. Knuth, 3:16 Bible Texts Illuminated (Madison, Wisconsin: AR Editions), 1990. ISBN 0-89579-252-4
  • Donald E. Knuth, Things a Computer Scientist Rarely Talks About (Centre for the Study of Language and Information – CSLI Lecture Notes no 136), 2001. ISBN 1-57586-326-X

Interviews, Vorträge, Q&A

  • Doernberg, D. Computerkompetenz-Interview mit Donald Knuth. 7. Dezember 1993.
  • TUG'95 (St. Petersburg, FL, USA) Fragen und Antworten mit Prof. Donald E. Knuth. Schlepper 17 (1), 1996
  • Wöhr, J. Ein Interview mit Donald Knuth DR. Dobbs Tagebuch , April 1996, p. 16-2
  • Donald Knuth über die Kunst der Computerprogrammierung Addison-Wesley Innovations, 1996
  • Fragen und Antworten mit Prof. Donald E. Knuth. Tschechische TUG, Karlsuniversität, Prag , neunzehn sechsundneunzig
  • Knuth trifft NTG-Mitglieder, Amsterdam , 13. März 1996.
  • Knuth Kommentare zu Code, Byte-Magazin, September 1996.
  • Donald Knuth: Ein Lebenswerk in der Programmierkunst Amazon.com, 1997.
  • U.K. TUG, Oxford, 12. September 1999: Frage-Antwort-Sitzung mit Donald Knuth. Schlepper , 22 (1/2), 2001.
  • Dr. Dobbs Audio- und Videoarchiv von Knuth MMIX und Gott & Computer Vorlesungen @ MIT, Herbst 1999
  • Donald Knuth: MMIX, ein RISC-Computer für das neue Jahrtausend. Audiomitschnitt eines Vortrags beim Monatstreffen der Boston ACM 30. Dezember 1999
  • Wallace, Markus. Die Kunst von Don E. Knuth Interview auf salon.com, 1999.
  • Advogato, 2000, auch als HTML-Version verfügbar
  • AMS, 2001
  • Geek-Promis, 2001
  • Oslo, 2002
  • c't, 2002
  • NZZ-Folio, 2002
  • Donald Knuth, Gründungskünstler der Informatik. Audio-Interview von David Kestenbaum im National Public Radio; oder Abschrift, 14. März 2005.
  • Free Software Magazine Interview von Gianluca Pignalberi, August 2005.