Hopp til innhold

Edsger Dijkstra

Fra Wikipedia, den frie encyklopedi
Edsger Dijkstra
FødtEdsger Wybe Dijkstra
11. mai 1930[1][2][3][4]Rediger på Wikidata
Rotterdam (Nederland)[5][6]
Død6. aug. 2002[1][2][7][8]Rediger på Wikidata (72 år)
Nuenen (Nederland)[9][6][10]
BeskjeftigelseMatematiker, fysiker, informatiker, ingeniør, universitetslærer, informasjonsviter, programmerer Rediger på Wikidata
EmbeteProfessor i informatikk
Utdannet vedUniversitetet i Leiden (19481956) (studieretning: fysikk, matematikk)[6]
Gymnasium Erasmianum (–1948)[6]
Universitetet i Amsterdam (19561959) (studieretning: informatikk, akademisk grad: ph.d.)[11][6]
University of Cambridge (19511951) (field of training: programmering)[11]
Doktorgrads-
veileder
Adriaan van Wijngaarden (1959)[12]
EktefelleMaria C. Debets[13][14]
NasjonalitetKongeriket Nederlandene[6]
Medlem avKoninklijke Nederlandse Akademie van Wetenschappen
American Academy of Arts and Sciences
Association for Computing Machinery (1994–) (ACM Fellow)[15]
Utmerkelser
7 oppføringer
Turing-prisen (1972)[6]
ACM Fellow (1994)[16]
Dijkstra Prize (2002)[17][18]
Harry H. Goode Memorial Award (1974)[19][20]
Fellow of the British Computer Society (1971)[17]
Computer Pioneer Award (1982)[21]
C&C-prisen (2002)
ArbeidsstedTechnische Universiteit Eindhoven, University of Texas at Austin
FagfeltInformatikk, databehandling,[22] matematikk,[22] programmering,[22] fysikk,[22] computer algorithm,[22] programmeringsspråk,[22] dataprogram[22]
UtdannelseHovedfag i teoretisk fysikk (Universitetet i Leiden)
Doktorgrad ved Universitetet i Amsterdam
Doktorgrads-
studenter
7 oppføringer
Nico Habermann (1967)[23]
Martin Rem (1976)[24]
David Andrew Naumann (1992)[24]
Jan L.A. van de Snepscheut (1983)[24]
Antonetta Johanna Maria van Gasteren (1988)[24]
Jan Tijmen Udding (1984)[24]
Kees Hemerik (1984)[24]
Kjent forDijkstras algoritme, semaforer, Dining philosophers problem, ALGOL m.fl.

Edsger Wybe Dijkstra (født 11. mai 1930 i Rotterdam i Nederland, død 6. august 2002 i Nuenen) var en nederlandsk fysiker og informatiker. Han var med på å grunnlegge informatikk som vitenskap.

Liv og virke

[rediger | rediger kilde]

I 1945 begynte Edsger Dijkstra på Universitetet i Leiden, der han studerte teoretisk fysikk. Sommeren 1951 lærte han seg programmering på et sommerkurs. Han begynte å arbeide deltid for Det matematiske senter i Amsterdam i mars 1952, noe som gjorde ham enda mer interessert i programmering. Edsger tok sin grad i fysikk så raskt som mulig, og konsentrerte seg deretter om programmeringen.

I 1973 fikk Edsger Dijkstra en forskerstilling ved Burroughs Corporation i USA. Han mottok Turingprisen i 1972. Han flyttet til Austin i Texas i 1984. Samme år fikk han en stilling på universitetet i Austin i informatikkavdelingen. Denne stillingen beholdt han inntil han gikk av med pensjon i 2000.

Vitenskapelige resultater

[rediger | rediger kilde]

I 1956 utarbeidet Edsger Dijkstra en algoritme for å finne korteste veier fra et utgangspunkt til alle andre knutepunkter i en retningsbestemt graf. Algoritmen er kjent som Dijkstras algoritme. I 1960-årene begynte han å bruke ideen om gjensidig utelukkelse i kommunikasjonen mellom en datamaskin og dens tastatur. Denne teknikken er brukt i stort sett alle CPUer og RAM-moduler, siden IBM begynte å bruke den i 1964.

Senere formulerte og løste han problemet med de spisende filosofer, som viser hva som skjer når mange programmer skal dele få ressurser. Han var videre med på å designe programmeringsspråket ALGOL, som var et av de første høynivåprogrammeringsspråkene.

Edsger Dijkstras mest kjente uttalelse er tittelen på artikkelen «Go To Statement Considered Harmful» («Go To-instruksjoner betraktes som skadelig»).[25] Dijkstras budskap var at det er vanskelig å beholde oversikten i programmer som bruker kommandoer av typen «gå til sted-i-programmet», og det er dermed større risiko for at de inneholder feil.

Gjennom hele sin karriere som forsker produserte Dijkstra nummererte notater om sine ideer og resultater. Disse er senere blitt kjent som EWD-dokumenter. Notatene ble distribuert som fotokopier, og kopier av kopier, som en type vitenskapelige kjedebrev.

Kjente sitater

[rediger | rediger kilde]
  • «En test kan påvise tilstedeværelsen av feil i et program; aldri deres fravær.»
  • «Å spørre om en datamaskin kan tenke er som å spørre om ubåter kan svømme.»
  • «Informatikk handler ikke mer om datamaskiner enn astronomi handler om teleskoper

Referanser

[rediger | rediger kilde]
  1. ^ a b Gemeinsame Normdatei, besøkt 9. april 2014[Hentet fra Wikidata]
  2. ^ a b Brockhaus Enzyklopädie, oppført som Edsger Wybe Dijkstra, Brockhaus Online-Enzyklopädie-id dijkstra-edsger-wybe[Hentet fra Wikidata]
  3. ^ KNAW Past Members, oppført som Edsger Wybe Dijkstra, KNAW past member ID PE00004832, besøkt 9. oktober 2017[Hentet fra Wikidata]
  4. ^ Social Networks and Archival Context, oppført som Edsger W. Dijkstra, SNAC Ark-ID w6475hq0, besøkt 9. oktober 2017[Hentet fra Wikidata]
  5. ^ Gemeinsame Normdatei, besøkt 10. desember 2014[Hentet fra Wikidata]
  6. ^ a b c d e f g amturing.acm.org, besøkt 5. mars 2016[Hentet fra Wikidata]
  7. ^ Biografisch Portaal, «Edsger Wybe Dijkstra», Biografisch Portaal number 10020011[Hentet fra Wikidata]
  8. ^ MacTutor History of Mathematics archive, besøkt 22. august 2017[Hentet fra Wikidata]
  9. ^ Encyclopædia Britannica Online, Encyclopædia Britannica Online-ID biography/Edsger-Dijkstra[Hentet fra Wikidata]
  10. ^ GND-ID 139688641[Hentet fra Wikidata]
  11. ^ a b MacTutor History of Mathematics archive[Hentet fra Wikidata]
  12. ^ Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 45747, besøkt 10. august 2018[Hentet fra Wikidata]
  13. ^ www.cwi.nl, besøkt 17. februar 2022[Hentet fra Wikidata]
  14. ^ www.cs.utexas.edu, besøkt 17. februar 2022[Hentet fra Wikidata]
  15. ^ awards.acm.org, besøkt 23. juni 2024[Hentet fra Wikidata]
  16. ^ web.archive.org, besøkt 17. februar 2022[Hentet fra Wikidata]
  17. ^ a b amturing.acm.org, besøkt 17. februar 2022[Hentet fra Wikidata]
  18. ^ www.podc.org, besøkt 17. februar 2022[Hentet fra Wikidata]
  19. ^ www.computer.org, besøkt 17. februar 2022[Hentet fra Wikidata]
  20. ^ www.cs.utexas.edu, besøkt 17. februar 2022[Hentet fra Wikidata]
  21. ^ amturing.acm.org[Hentet fra Wikidata]
  22. ^ a b c d e f g Tsjekkias nasjonale autoritetsdatabase, NKC-identifikator mub20241244486, Wikidata Q13550863, http://autority.nkp.cz/ 
  23. ^ Mathematics Genealogy Project[Hentet fra Wikidata]
  24. ^ a b c d e f Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 45747[Hentet fra Wikidata]
  25. ^ Dijkstra, Edsger (1968). «Go To Statement Considered Harmful» (PDF). Communications of the ACM. 11 (3): 147–148. doi:10.1145/362929.362947. «The unbridled use of the go to statement has as an immediate consequence that it becomes terribly hard to find a meaningful set of coordinates in which to describe the process progress. ... The go to statement as it stands is just too primitive, it is too much an invitation to make a mess of one's program.» 

Eksterne lenker

[rediger | rediger kilde]