Donald Knuth
Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan. |
Donald Ervin Knuth (s. 10. tammikuuta 1938, Milwaukee)[1] on tietojenkäsittelyteoreetikko ja emeritusprofessori Stanfordin yliopistossa. Knuthin teos The Art of Computer Programming on yksi algoritmiikan perusteoksista ja nimetty vuosisadan kahdentoista parhaan monografian joukkoon American Scientist -lehden mukaan.[2] Knuthia pidetään yhtenä algoritmianalyysin pääkehittäjistä. Hän on myös luonut TeX-julkaisujärjestelmän ja sen yhteydessä käytettävän Metafont-kirjasinjärjestelmän, ja muotoillut useita kirjasinlajeja, kuten TeX:n oletuskirjasinlajin Computer Modern. Knuth julkaisi Knuthin nuolinotaation vuonna 1976.
Donald Knuth | |
---|---|
Donald Knuth vuonna 2005. |
|
Henkilötiedot | |
Syntynyt | 10. tammikuuta 1938 |
Koulutus ja ura | |
Väitöstyön ohjaaja | Marshall Hall |
Tutkimusalue | Kombinatoriikka, tietojenkäsittelytiede ja algoritmianalyysi |
Palkinnot |
Turing-palkinto Grace Murray Hopper -palkinto |
Aiheesta muualla | |
www-cs-faculty.stanford.edu/~knuth | |
Opiskellessaan matematiikkaa hän totesi IBM 650:lle olevien esimerkkiohjelmien puutteet ja kirjoitti ne uudestaan sekä koulutukseen käytettävän oppikirjan. Sivuprojektina hän kehitti ohjelman koripallojoukkueen tilastoja varten. Kesälomalla hän kirjoitti ohjelmointikielten kääntäjiä ja ansaitsi enemmän kuin professorit.[3]
Knuth suoritti alemman korkeakoulututkinnon matematiikasta Case Institute of Technologyssa ja tohtorin arvon California Institute of Technologyssa vuonna 1963. Vuonna 1968 hän sai Stanfordin yliopiston professuurin. Knuth voitti ensimmäisen Grace Murray Hopper -palkinnon 1971. Muita hänen saamiaan tunnustuksia ovat Turing-palkinto, Yhdysvaltain National Medal of Science -palkinto, IEEE John von Neumann -mitali ja Kioto-palkinto. Hän on Ranskan tiedeakatemian ja Royal Societyn jäsen.
Knuth jäi eläkkeelle opetustehtävistä 1992 kirjoittaakseen kirjasarjan The Art of Computer Programming loppuun. Tunnustuksena saavutuksista Knuth nimettiin 1990 ainutkertaisella arvonimellä Professor of the Art of Computer Programming, joka on sittemmin muutettu ohjelmointitaidon emeritusprofessuuriksi.
Knuth tunnetaan myös nörttihuumoristaan. Knuth maksaa 2,56 dollarin palkkion kirjoistaan löytyvistä virheistä (koska 256 senttiä on yksi heksadesimaalidollari). Hänen ohjelmiensa TeXin ja Metafontin versionumerot lähestyvät rajattomasti lukuja π ja e.
Knuth lopetti sähköpostin käytön vuonna 1990 koska haluaa välttää häiriöitä. Knuthin itsensä mukaan hänen työnsä vaatii pitkää tutkimusta ja keskeytyksetöntä keskittymistä. Hän pyrkii oppimaan aiheesta tyhjentävästi ja sitten pureskelemaan asian muotoon, joka on ymmärrettävissä ihmisille, joilla ei ole aikaa vastaavaan tutkimiseen.[4]
Knuthin ensimmäinen julkaistu artikkeli oli The Potrzebie System of Weights and Measures[3] Mad-lehden kesäkuun 1957 numerossa.
Knuthin kirjoituksia ja esityksiä
muokkaaHistorian kirjoituksesta
muokkaaKnuth on esittänyt puheessaan vuonna 2014 vetoomuksen, että tietojenkäsittelyn historiaa ei "tyhmennetä": tietojenkäsittelytieteen historian kirjoituksesta puuttuu teknistä sisältöä ja historian kirjoittajien pitäisi palata uralle kuten matematiikan historioitsijat ovat aina olleet.[5] Knuthin mukaan hänen arvostamansa Martin Campbell-Kellyn vuoden 2007 artikkeli The History of the History of Software oli hänelle shokki: artikkeli oli pinnallinen ja täysin epätekninen.[5]
Ohjelmistojen patentoinnista
muokkaaKnuth vastustaa triviaalien asioiden patentointia.[6] Knuthin mukaan algoritmit ovat luonnostaan matemaattisia asioita ja pitäisi olla yhtä lailla patentoimattomia kuin piin arvo, mutta epätriviaaleihin asioihin pitäisi olla oikeus lisensoida rajatuksi ajaksi salassapidon sijaan.[6] Esimerkkinä Knuth esittää kysymyksen, onko vaikealla tavalla löydetty lukuarvo jotain luonnossa esiintyvää patentoimatonta vai onko siinä keksinnöllisyyttä.[6][7]
The Art of Computer Programming -kirjasarja
muokkaaKnuth aloitti sarjan kirjoittamisen, koska saatavilla olevien julkaisujen taso ei ollut korkea ja useat julkaistut artikkelit olivat yksinkertaisesti väärässä.[4] Knuth aloitti kirjoittamisen vuonna 1962, ja kolme ensimmäistä osaa julkaistiin vuosina 1968, 1969 ja 1973.[4] American Scientist on lisännyt sarjan vuonna 2013 kirjajoukkoon, johon kuuluvat tiedettä muokanneet teokset. Sarjaa on painettu yli miljoona kappaletta vuoteen 2018 mennessä.[3]
Asiat, jotka kuuluvat aiempiin osiin mutta ei ollut vielä keksitty kirjaa kirjoitettaessa julkaistaan vaiheosina, joista ensimmäinen on Volume 1 Fascicle 1.[8]
Julkaistuja
muokkaaJulkaistut osat (uusien painoksien tiedot): [8]
- Volume 1: Fundamental Algorithms, 1997. ISBN 0-201-89683-4
- Volume 1 Fascicle 1, MMIX: A RISC Computer for the New Millennium, 2005. ISBN 0-201-85392-2
- Volume 2: Seminumerical Algorithms, 1997. ISBN 0-201-89684-2
- Volume 3: Sorting and Searching, 1998. ISBN 0-201-89685-0
- Volume 4A: Combinatorial Algorithms, Part 1, 2011. ISBN 0-201-03804-8
- Volume 4B: Combinatorial Algorithms, Part 2, 2023. ISBN 0-201-03806-4
Ennakkojulkaistut vaiheet
muokkaaTietyt osat tulevista kirjoista on julkaistu ennakkoon beta-versioina. Osat ovat julkaistu ennen 4A ja 4B -osien julkaisua jotta niihin saadaan palautetta.[8]
- Volume 4 Fascicle 0, Introduction to Combinatorial Algorithms and Boolean Functions, 2008. ISBN 0-321-53496-4
- Volume 4 Fascicle 1, Bitwise Tricks & Techniques; Binary Decision Diagrams, 2009. ISBN 0-321-58050-8
- Volume 4 Fascicle 2, Generating All Tuples and Permutations, 2005. ISBN 0-201-85393-0
- Volume 4 Fascicle 3, Generating All Combinations and Partitions, 2005. ISBN 0-201-85394-9
- Volume 4 Fascicle 4, Generating All Trees; History of Combinatorial Generation, 2006. ISBN 0-321-33570-8
- Volume 4 Fascicle 5, Mathematical Preliminaries Redux; Introduction to Backtracking; Dancing Links, 2019. ISBN 978-0-13-467179-6
- Volume 4 Fascicle 6, Satisfiability, 2015. ISBN 978-0-13-439760-3
Suunnitteilla
muokkaaSuunnitellut osat: [8]
- Volume 4C: Combinatorial Algorithms, Part 3 (sekä muut osat, valmisteilla)
- Volume 5: Syntaxic Algorithms (valmisteilla, ennakoitu valmistuminen vuonna 2030)
- Volume 6: The Theory of Context-Free Languages
- Volume 7: Compiler Techniques
Lähteet
muokkaa- ↑ Donald Ervin Knuth
- ↑ Donald E. Knuth: The Art of Computer Programming (TAOCP) cs-faculty.stanford.edu. Viitattu 3.5.2022. (englanniksi)
- ↑ a b c Siobhan Roberts: The Yoda of Silicon Valley nytimes.com. 17.12.2018. Viitattu 16.4.2023. (englanniksi)
- ↑ a b c Donald E. Knuth Arkistoitu ”And the standard of available publications was not that high (…). A lot of the papers coming out were quite simply wrong.” Viitattu 16.4.2023. (englanniksi)
- ↑ a b Donald E. Knuth & Len Shustek: Let's Not Dumb Down the History of Computer Science cacm.acm.org. helmikuu 2021. doi:10.1145/3442377. Viitattu 20.4.2022. (englanniksi)
- ↑ a b c Donald Knuth and Software Patents (PDF) cs.montana.edu. 15.12.2003. Viitattu 28.9.2022. (englanniksi)
- ↑ All Questions Answered (PDF) Notices of the AMS. Viitattu 28.9.2022. (englanniksi)
- ↑ a b c d The Art of Computer Programming (TAOCP) cs.stanford.edu. Viitattu 16.4.2023. (englanniksi)
Aiheesta muualla
muokkaa- Kuvia tai muita tiedostoja aiheesta Donald Knuth Wikimedia Commonsissa
- Knuthin kotisivu (Arkistoitu – Internet Archive). (englanniksi)
- Donald Knuth DBLP-palvelussa (englanniksi)