Professor |
---|
Fødsel |
10. januar 1938 Milwaukee |
---|---|
Navn på morsmål | Donald Ervin Knuth |
Nasjonalitet | amerikansk |
Opplæring |
Milwaukee Lutheran High School ( inn ) (til1956) Case Western Reserve University ( Master of Science and Bachelor of Science ) (inntil1960) California Institute of Technology ( Philosophiæ doctor ) (September 1960 -Juni 1963) |
Aktiviteter | Matematiker , informatiker , matematikhistoriker , forfatter , programmerer , universitetsprofessor , ingeniør , lærd |
TeX , Metafont , Kunsten å dataprogrammering , Computer Modern , WEB |
Donald Ervin Knuth ( [kə.ˈnuːθ] ), født den10. januar 1938i Milwaukee , Wisconsin , er en kjent amerikansk datavitenskapsmann og matematiker , professor emeritus i datavitenskap ved Stanford University (som "professor emeritus of the art of programmering"). Han er en av pionerene innen algoritmikk og har gitt mange bidrag innen flere grener av teoretisk informatikk .
Knuth er forfatter av hundre artikler og ti bøker om algoritmer og diskret matematikk ; de tre første bindene, sammen med den allerede publiserte delen av bind 4 (4A) av The Art of Computer Programming (TAOCP), forblir oppslagsverk .
For å ha en god kvalitetsoppsett for den andre utgaven av TAOCP, opprettet Knuth to gratis programvare , som senere ble brukt i profesjonell typografi og matematikk, TeX og Metafont . Hans interesse for typografi førte også til at han opprettet Computer Modern font, TeXs standard font.
Knuth ble født i Milwaukee , Wisconsin , og mottok sin bachelorgrad summa cum laude og sin mastergrad (begge samtidig, mens juryen vurderte at B.Sc.-arbeidet hans var verdt en M.Sc. ) i matematikk fra Case Institute of Technology. (nå Case Western Reserve University ) i 1960.
Hans første algoritmeanalyse dateres tilbake til sommeren 1962. Han ble da imponert over et verk av den sovjetiske datavitenskapsmannen Andreï Ershov .
Knuth oppdaget ved denne anledningen en kobling mellom effektiviteten til en hashingalgoritme og matematikk som dateres tilbake til Ramanujan .
I 1963 forsvarte han sin doktorgrad i matematikk ved California Institute of Technology .
I 1968 ble han medlem av fakultetet ved Stanford University, hvor han til slutt mottok en akademisk tittel som ble opprettet for ham: professor emeritus i kunst av dataprogrammering . I 1971 var Knuth den første som mottok Grace Murray Hopper Award fra Association for Computing Machinery (ACM). Han mottar mange andre utmerkelser, inkludert Turing-prisen , National Medal of Science (USA), John von Neumann-medaljen fra IEEE , samt Kyoto-prisen og Franklin-medaljen . Han ble valgt som assosiert medlem av det franske vitenskapsakademiet i 1992 og medlem av Royal Society i 2003 .
Knuth er en datamaskinfigur kjent for sin geek- humor : for eksempel tilbyr han en bonus på $ 2,56 for hver typografiske feil eller feil som blir oppdaget i bøkene hans, og forklarer at "256 cent er en heksadesimal dollar" (for feil i hans 3:16 Bible Texts Illuminated book , men premien er $ 3,16). Versjonsnumrene til TeX konvergerer til pi , det vil si at versjonene følger hverandre som følger: “3”, “3.1”, “3.14”, etc., versjonsnumrene til Metafont konvergerer til tallet e . Han advarte også brukere av en av programvaren sin: “Se opp for feil i denne koden; Jeg demonstrerte bare at det var riktig, jeg prøvde det ikke. "
Knuth har sluttet å bruke e-posten og sa at han brukte den mellom 1975 og1 st januar 1990, og det var nok for livet. Han synes det er mer effektivt å holde korrespondanse i " batch- modus ", og bruke en dag til det hvert halvår ved å svare på "klassisk" post.
Knuth liker musikk og liker spesielt å spille orgel . Han fikk bygget en i sitt eget hus. Knuth tallbestemmélse sitt organ i indeksen til volum 3 av The Art of Computer Programming : inngangsTies, bruk av refererer til “ organ rørarrangement ” grafisk .
Han er gift med Nancy Jill Carter, som har gitt ut en bok om liturgien og illustrert boken på surrealistiske tall . De har to barn. Med henne samler han fotografier av amerikanske veiskilt (diamantformede faresignaler), med fokus på de mest overraskende.
Knuth publiserte sin første artikkel (som var veldig humoristisk) i juni 1957- utgaven av det amerikanske magasinet Mad .
Etter en typografidefekt på små delta (δ), ber Knuth en appell om å rette opp problemet og ber om å oppdatere Computer Modern- skrifttypen og sier at han "ikke orket å skrive dokumenter ved hjelp av dette symbolet, nå støtter det ikke lesing av dokumenter som fremdeles bruker den ”.
Donald Knuths arbeid er spesielt opptatt av algoritmer og diskret matematikk, men han laget også programvare som fremdeles er mye brukt i dag, TeX og Metafont .
Don Knuth er skaper av flere algoritmer som bærer navnet hans, blant annet:
Knuth er skaperen av TeX- dokumentkomposisjonssystemet og Metafont-fontopprettingssystemet .
Misfornøyd med måten bøkene hans ble skrevet på, viet han flere år av sitt liv, fra og med 1977 , til å skrive programvare slik at han kunne få en korrekt gjengivelse av matematiske formler for profesjonell typografi. Det er et markeringsspråk som SGML , som lar deg fokusere på strukturen til dokumentet, og overlate layoutarbeidet til kompilatoren. Knuths mål da han opprettet TeX var å ha et innholdsbeskrivelsesspråk som ville tillate gjengivelse av høy kvalitet med minimal innsats og være uavhengig av maskinvarearkitekturen. Leveres med kildene, TeX er en av de første gratis programvarene , eller nesten. Faktisk er den eneste begrensningen som Knuth pålegger endringer, at den ikke tar navnet TeX. I dag er det flere utvidelser av TeX, den mest populære er pdfTeX , XeTeX og LuaTeX .
Metafont er et språk som brukes til å komponere rasterskrifter. Utviklet samtidig med TeX, ble det brukt av Knuth til å lage Computer Modern font . Metafont-språket fødte også MetaPost , som gjør det mulig å produsere PostScript- figurer fra en geometrisk beskrivelse.
Knuth er opphavsmannen til mange programmeringskonsepter. Vi kan sitere:
Knuth er best kjent som forfatteren av The Art of Computer Programming (TAOCP), en referanse innen informatikk . Denne boken har etablert et felt: analyse av algoritmer , som består i å bruke matematikk for å studere forestillingene (i tid, minne ...) til en algoritme på settet med mulige henrettelser.
I begynnelsen av XXI th århundre, nå nesten Knuth vier all sin energi til å fullføre de sju mengder TAOCP (den første utgaven av de første volum dateres tilbake til 1968, og bare de første tre bind har dukket opp, og tre avdrag på den fjerde volumet ).
Dette er settet som består av:
En tekst med lekende måte de surrealistiske tallene til Conway :
Knuth er også forfatter av 3:16 Bible Texts Illuminated ( 1991 ) ( ISBN 0-89579-252-4 ) , der han prøver å undersøke Bibelen gjennom en analyse av kapittel 3 , vers 16 i hver bok. Hvert vers ledsages av en kalligrafi produsert av en gruppe kalligrafer ledet av Hermann Zapf . Den franske oversettelsen ble utgitt i 2017 under tittelen 3.16, Bible en lumière ( ISBN 978-2-227-49168-7 )
Han har også skrevet en bok om " stabile ekteskap " og relaterte algoritmer. Dette er et kombinatorisk optimaliseringsproblem, som de som oppstår når man prøver å matche to typer aktører eller objekter med lister over preferanser: studenter og praksisplasser ... Dette arbeidet ble først publisert på fransk i 1976, etter et foredrag holdt ved University of Montreal. , deretter oversatt til engelsk tjue år senere.
Boken Elements for a History of Computer Science , redigert av CLSI Publications (Stanford) og Société mathatique de France (2011), samler ulike artikler av Donald Knuth om informatikkens historie, valgt og oversatt av Patrick Cégielski, og delvis omskrevet ved denne anledningen.
I samarbeid med Ronald Graham og Oren Patashnik utviklet han matematikkavsnittene i TAOCP i form av en kombinatorikk- kursmanual , med tittelen Concrete Mathematics .
Donald Knuth har mottatt over hundre priser og utmerkelser over hele verden:
Han mottok en rekke doktorgrad honoris causa :
Noe informasjon kommer fra hans CV [PDF]