Donald E. Knuth

Donald Knuth (2005)

Donald Ervin "Don" Knuth [ kənuːθ ] (syntynyt Tammikuu 10, 1938 in Milwaukee , Wisconsin ) on amerikkalainen tietojenkäsittelytieteessä . Hän on professori emeritus klo Stanfordin yliopiston laatija standardin työn The Art of Computer Programming ja alullepanija ladonta järjestelmän TeX .

Elämä

Knuth on kirjanpidon opettajan poika, joka myös piti pientä kirjapaikkaa. Hän osallistui Milwaukeen luterilaiseen lukioon ja alkoi opiskella fysiikkaa Case Institute of Technologyssä (nykyään nimellä Case Western Reserve University ) syyskuussa 1956. Hän kuitenkin valitsi matematiikan toiselta opiskeluvuodelta kahdesta syystä: Ensinnäkin hän sai ongelman yhdellä hänen matematiikan professoreistaan, mikä sai hänelle arvosanan 1,0, toisaalta hän ei nauttinut fysiikan harjoittelusta.

Hän sai kandidaatin ja maisterin tutkinnon Case Western Reserve Universitystä vuonna 1960 . Vuonna 1963 hän sai väitöskirjan. Kalifornian teknologiainstituutista Marshall Hallista , josta hänestä tuli apulaisprofessori ja apulaisprofessori vuonna 1966 ja lopulta professori. Vuonna 1968 hänestä tuli tietojenkäsittelytieteen professori Stanfordin yliopistossa . Vuodesta 1977 hän oli siellä Fletcher Jonesin tietojenkäsittelytieteen professori ja vuodesta 1990 tietokoneohjelmoinnin taiteen professori . Hän on toiminut emeritusprofessorina vuodesta 1993.

Vuosina 1960–1968 hän oli konsultti Burroughs Corporationissa , jossa hän kirjoitti muun muassa varhaisia kääntäjiä . Vuosina 1968/69 hän oli henkilöstömatemaatikko puolustusanalyysilaitoksen viestintätutkimusosastolla .

Vuonna 2006 Knuth sai tietää, että hänellä oli varhaisvaiheen eturauhassyöpä . Hän koki operaatio saman vuoden joulukuussa, jonka jälkeen valo sädehoito ennaltaehkäisevänä toimenpiteenä. Videon omaelämäkerrassaan hän kutsui ennustetta melko hyväksi .

Hän on ollut naimisissa Nancy Jill Carterin kanssa vuodesta 1961 ja hänellä on poika ja tytär.

Job

Jo 1964 hän sai kansainvälistä mainetta suunnitteluehdotuksellaan Algol 60 -ohjelmointikielen syöttö- / tulostusjärjestelmäksi . Tämä järjestelmä on otettu käyttöön osana useimpia Algol 60 -järjestelmiä.

Erityisesti hänen moniteosisesta teoksestaan The Art of Computer Programming , jonka parissa hän työskentelee edelleen, hän loi TeX- ja METAFONT- tietokoneohjelmia, jotka mahdollistavat tulostusvalmiiden kirjoittamisen ja joita käytetään erityisesti matemaattis-akateemisella alalla.

Hän loi termin " lukutaitoinen ohjelmointi" - käsite tietokoneohjelmien kirjoittamisesta yhtä huolellisesti kuin kirjallinen teksti ja lähdetekstin ja ohjelmistodokumentaation yhdistäminen.

Tätä silmällä pitäen hän julkaisi kirjoja, joissa TeX: n ja METAFONTin lähdeteksti on painettu osittain yhdessä selitysten kanssa algoritmien suunnittelusta ja toimintatavasta (näitä ohjelmia käyttäen). Käyttöohjeiden julkaistiin myös sisältää paitsi käyttöohjeet käyttäjille näistä ohjelmista ( "Kuinka kertomalla TEX mahdollisista sanasta Murto?"), Mutta myös - enemmän tekninen kieli ja pienemmällä fontilla - yksityiskohtaiset tiedot toimivuudesta ( "miten toimiiko sananerotusalgoritmi? "). Samaan aikaan ne sisältävät myös näiden ohjelmien erittelyt .

Sen lisäksi, että Knuth pyrkii luomaan houkuttelevan esteettisen ulkonäön ladattavalle, oikeellisuus on hänelle ensisijainen tavoite. Siksi hän antaa jokaisesta kirjassaan havaitusta uudesta virheestä palkinnon "heksadesimaalidollarilla", jonka arvo on 2,56 dollaria (100 heksadesimaalia vastaa 256 desimaalia). Hän jopa palkitsee ohjelmissaan havaitut virheet 80 heksadesimaalilla (0x 80,00 dollaria), mikä vastaa desimaalia 327,68 dollaria. Hyvin harvat näistä shekeistä on lunastettu toistaiseksi. Koska Knuth enää pitää tarkastuksia turvalliseksi, himoitun tunnustaminen tarkastukset on annettu henkilökohtaisina talletuksia kuvitteellinen Pankin San Serriff vuodesta 2008 .

Vuonna 1974 hän kuvaili ja suosituksi surreaaliluku esitteli by John Horton Conway teoksessaan surreaaliluku: miten kaksi Ex-opiskelijoiden käytössä, jotta puhdasta matematiikkaa ja Found Yhteensä Happiness .

Hän yhdisti mieltymyksensä kauniisti painettuihin teksteihin teologiseen kiinnostukseensa (hän ​​on evankelis-luterilainen ) 3:16 -projektissa, kun hän vuonna 1985 Raamatun avainkohdan pohjalta ( Joh. 3:16 ) poimii luvun 3 jokainen Raamatun kirja , tutkittu jae 16 ja eri taiteilijoiden kirjoittama englanninkielinen käännös ja julkaissut nämä kalligrafiat jakeineen.

1. tammikuuta 1990 Knuth ilmoitti, ettei tästä lähtien enää käytä sähköpostiosoitetta keskittyäkseen työhönsä.

Vuodesta 1993 lähtien Knuth on jäänyt eläkkeelle omistautuakseen yksinomaan tietokoneohjelmoinnin taiteen suorittamiseen . Numero 4A, joka käsittelee yhdistelmätekniikkaa , on ollut saatavilla helmikuusta 2011 lähtien . Numerot 4B ja 4C seuraavat, ja hän toivoo, että osa 5 (seitsemästä suunnitellusta) valmistuu vuoteen 2025 mennessä.

Syksyllä 1999 hän piti MIT : ssä osana tunnettujen tutkijoiden monivuotista luentosarjaa "Jumala ja tietokone" kuudesta luennosta tietojenkäsittelytieteen ja uskonnon välisistä yhteyksistä hänen henkilökohtaisesta näkökulmastaan ​​ja osallistui viimeiseen paneelikeskusteluun . Heidän transkriptinsa julkaistiin hänen kirjassaan Asiat, joista tietotieteilijä puhuu harvoin .

Viime aikoina hän on useaan otteeseen arvostellut julkisesti ohjelmistopatenttien myöntämistä Yhdysvalloissa ja osallistunut keskusteluun tieteellisten aikakauslehtien julkaisujen vapaammasta saatavuudesta.

Tietojenkäsittelyn taiteen jatkotutkimuksensa aikana Knuth on kehittänyt uuden suoritinarkkitehtuurin ja siihen liittyvän kokoonpanijan ja julkaisee tämän tulevassa ensimmäisen osan painoksessa (vastaava kuvaus on jo saatavilla alustavana versiona). Tämä 64-bittinen arkkitehtuuri ( MMIX ) tukee Unix- tyyppistä käyttöjärjestelmää (nimeltään NNIX ), jolla TeX-tulkki voidaan sitten suorittaa . Täten tietokoneohjelmoinnin ja tietokoneiden ja konekirjoituksen taito yhdessä ilmaisten ohjelmistojen kanssa olisi täysin itse dokumentoiva järjestelmä, joka koostuu laitteistosta ja ohjelmistosta.

Tietokoneohjelmoinnin taide sisältää myös lukuisia yksityiskohtaisia ​​matemaattisia historiallisia muistiinpanoja; hän kirjoitti myös joitain esseitä matematiikan historiasta.

Knuth tunnetaan myös tieteellisistä vitseistään , joten hän kirjoitti artikkelin The Complexity of Songs ja suunnitteli Potrzebie -yksikköjärjestelmän , jossa 26. MAD -lehden paksuus toimii perusyksikkönä. Se oli myös hänen ensimmäinen julkaisunsa MAD -lehdessä (numero 33) vuonna 1957.

Palkinnot

Hän on moninkertainen kunniatohtori; 1980–2005 hänelle myönnettiin 25 kunniatohtoria, muun muassa ETH Zürich (2005) ja Eberhard Karls University of Tübingen (2001).

Lisäksi Knuth on Knuth -palkinnon nimi, joka on jaettu vuosittain vuodesta 1997 lähtien . Asteroidi (21656) Knuth on nimetty hänen mukaansa.

Vuonna 1992 hänestä tuli Académie des Sciences -yliopiston ja vuonna 2008 Venäjän tiedeakatemian , 1973 Amerikan taide- ja tiedeakatemian , 1975 National Academy of Sciences -yhtiön , 2003 Royal Society -yhtiön 2003 jäsen , 1982 kunniajäsen IEEE: n jäsen, Computing Machinery Associationin (ACM) ja National Academy of Engineerin jäsen vuonna 1981 . Hän on Norjan tiedeakatemian liitännäisjäsen, vuodesta 1998 lähtien Baijerin tiedeakatemian vastaava jäsen ja vuodesta 2012 lähtien American Philosophical Societyn jäsen . Hän on American Mathematical Societyn jäsen ja Lontoon Mathematical Society -yhdistyksen kunniajäsen vuodesta 2015 .

tehtaita

  • Donald E. Knuth: Numeroiden saari . Useiden teoreettisten synty vuoropuhelussa. Vieweg ja Teubner, Braunschweig 1979, ISBN 3-528-08403-0 (englanti: Surreal Numbers. Kuinka kaksi ex-oppilasta kääntyi puhtaan matematiikan puoleen ja löysi täydellisen onnen. Matemaattinen novelette .).
  • TEX ja METAFONT. Uudet ohjeet kirjoittamiseen . Addison-Wesley, Reading (MA) 1979, ISBN 0-932376-02-9 .
  • 3:16. Raamatun tekstit valaistu . AR Editions, Madison (Wis.) 1991, ISBN 0-89579-252-4 .
  • Lukutaitoinen ohjelmointi . Center for the Study of Language and Information, Stanford (CA) 1992, ISBN 0-937073-80-6 .
  • jossa RL Graham ja O. Patashnik: Betoni matematiikka . 2. painos, Addison-Wesley, Reading (MA) 1994, ISBN 0-201-55802-5
  • Tietokoneohjelmoinnin taito . Vuosikerta 1: Perusalgoritmit . 3. Painos. Addison-Wesley, Reading, MA 1997, ISBN 0-201-89683-4 .
  • Tietokoneohjelmoinnin taito . Vol. 1, Fascicle 1: MMIX - RISC -tietokone uudelle vuosituhannelle . 1. painos. Addison-Wesley, Upper Saddle River, NJ 2005, ISBN 0-201-85392-2 .
  • Tietokoneohjelmoinnin taito . Vuosikerta 2: Seminumeeriset algoritmit . 3. Painos. Addison-Wesley, Reading, MA 1997, ISBN 0-201-89684-2 .
  • Tietokoneohjelmoinnin taito . Vuosikerta 3: Lajittelu ja etsiminen . 2. painos. Addison-Wesley, Reading, MA 1998, ISBN 0-201-89685-0 .
  • Tietokoneohjelmoinnin taito . Vuosikerta 4A: Yhdistelmäalgoritmit, osa 1 . 1. painos. Addison-Wesley, Upper Saddle River, NJ 2011, ISBN 0-201-03804-8 .
  • MMIXware. RISC -tietokone kolmannelle vuosituhannelle . Springer, Berliini / New York 1999, ISBN 3-540-66938-8 .
  • Aritmetiikka . Springer, Berliini, 2001, ISBN 3-540-66745-8 .
  • Daniel H. Greene Matematiikka algoritmien analysointia varten , Birkhäuser 2007 (ensimmäinen 1981)
  • TeXbook . (Computers & Typesetting, Vuosikerta A) Addison-Wesley 1984, ISBN 0-201-13447-0 .
  • TeX: Ohjelma. (Computers & Typesetting, Vol. B) Addison-Wesley 1986, ISBN 0-201-13437-3 .
  • METAFONT -kirja. (Computers & Typesetting, Vol. C) Addison-Wesley 1986, ISBN 0-201-13445-4 .
  • METAFONT: Ohjelma. (Computers & Typesetting, Vuosikerta D) Addison-Wesley 1986, ISBN 0-201-13438-1 .
  • Tietokoneen modernit kirjasimet. (Computers & Typesetting, Vol. E) Addison-Wesley 1986, ISBN 0-201-13446-2 .
  • Stanford GraphBase: yhdistelmälaskennan alusta , ACM Press, Addison-Wesley 1993
  • Digitaalinen typografia , CLSI -julkaisut 1999 (CLSI = Center for the Study of Language and Information)
  • jossa Silvio Levy CWEB järjestelmä strukturoitujen dokumentaation: versio 3.0 , Addison-Wesley 1994
  • Aksioomit ja rungot , Springer Verlag 1992
  • Selected Papers on Computer Science , Cambridge University Press 1996
  • Selected Papers on Computer Languages , Stanford CLSI 2003
  • Valitut paperit algoritmien suunnittelusta , Stanford, CLSI 2010
  • Valitut artikkelit algoritmien analysoinnista , Stanford, CLSI 2000
  • Selected Papers on fun and games , Stanford, CLSI 2010
  • Selected Papers on diskreet matematiikka , Stanford, CLSI 2003
  • Asiat, joista tietojenkäsittelytieteilijä puhuu harvoin , Stanford, CLSI 2001

Katso myös

  • Arrow Notation - matemaattinen menetelmä, jonka Donald E. Knuth kehitti vuonna 1976 kirjoittamaan erittäin suuria numeroita.
  • Knuth-Morris-Pratt -algoritmi- merkkijonohakualgoritmi, joka on nimetty Donald E.Knuthin, James H.Morrisin ja Vaughan Prattin mukaan.
  • LR -jäsennys - jäsennin, joka perustuu Knuthin kehittämään menetelmään
  • Buddy Technique - tekniikka muistin varaamiseksi prosesseille, Donald E. Knuth.
  • MIX (fiktiivinen tietokone) - kuvitteellinen, ihanteellinen tietokone, tarkemmin sanottuna abstrakti Von Neumann -tietokone, jota Donald E. Knuth käyttää algoritmien havainnollistamiseen kirjassaan The Art of Computer Programming .
  • The Complexity of Songs - Donald E. Knuthin julkaisema erikoisartikkeli ja tieteellinen vitsi kappaleiden pituudesta riippuen tekstistä, joka on opittava monimutkaisuusteorian menetelmillä .

kirjallisuus

nettilinkit

Commons : Donald Ervin Knuth  - Kokoelma kuvia, videoita ja äänitiedostoja
Wikiquote: Donald Ervin Knuth  - Lainauksia

Alaviitteet

  1. ↑ Usein kysytyt kysymykset Knuthin verkkosivustolla Stanfordin yliopistossa
  2. ^ Elämäkerrallisia muistiinpanoja Donald Knuthista. Haettu 6. marraskuuta 2016 .
  3. ↑ Tiivistelmä Knuthin artikkelista ACM: ssä
  4. ^ Sekit ja todistukset Ashutosh Mehra vastaanotettu
  5. ^ Osio palkinnoista Donald Knuthin kotisivulla
  6. ^ A b Donald Knuth: Financial Fiasco , käytetty 11. tammikuuta 2011
  7. ↑ b Donald E. Knuth on merkittävimpiä nimiä Database (Englanti)
  8. ^ Donald E. Knuth: Knuth vastaan ​​sähköposti , käytetty 8. marraskuuta 2009
  9. ^ The Art of Computer Programming (TAOCP) , henkilökohtainen verkkosivusto (Stanfordin yliopisto), käytetty 11. helmikuuta 2011
  10. ↑ D. Knuthin kirje amerikkalaiselle patenttiviranomaiselle (englanti), Mirror, luettu 8. marraskuuta 2009
  11. ↑ Kirje Journal of Algoritms -lehden toimitukselle 25. lokakuuta 2003 (PDF; 210 kB)
  12. ↑ BBVA -säätiön palkinto ( Memento 19. elokuuta 2016 Internet -arkistossa )
  13. ^ Donald Knuthille myönnettiin Peter Karow -palkinto
henkilökohtaiset tiedot
SUKUNIMI Knuth, Donald E.
VAIHTOEHTOISET NIMET Knuth, Donald Ervin (koko nimi); Knuth, Don (lempinimi)
LYHYT KUVAUS Amerikkalainen tietotekniikan tutkija
SYNTYMÄPÄIVÄ 10. tammikuuta 1938
SYNTYMÄPAIKKA Milwaukee , Wisconsin