Edsger Dijkstra

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare
Notă despre dezambiguizare.svg Dezambiguizare - "Dijkstra" se referă aici. Dacă sunteți în căutarea altor semnificații și persoane numite Dijkstra, consultați Dijkstra (dezambiguizare) .
Edsger Wybe Dijkstra

Edsger Wybe Dijkstra / ˈɛtsxər ˈʋibə ˈdɛikstra / ( Rotterdam , 11 mai 1930 - Nuenen , 6 august 2002 ) a fost un informatician olandez .

Biografie

Naștere

Edsger Wybe Dijkstra s-a născut la Rotterdam la 11 mai 1930 . Tatăl său, Douwe Wybe Dijkstra, a fost profesor de chimie și a ocupat funcția de președinte al Societății Chimice Olandeze [1] [2] . Mama sa, Brecthje Cornelia Klujiver (sau Kluyver), era o matematiciană strălucită, de la care Edsger însuși susține că a învățat abilitatea de a găsi soluții elegante [2] .

De la gimnaziu la universitate

În ultimul an de gimnaziu la Rotterdam, Dijkstra a decis să studieze dreptul la universitate. Ambiția sa era să reprezinte Olanda la Organizația Națiunilor Unite [1] [2] . Datorită rezultatelor excelente obținute la disciplinele științifice la examenul final din 1948 , atât profesorii, cât și rudele sale au sugerat să se îngăduie de această înclinație. Prin urmare, în anul următor, Dijkstra a mers la Universitatea din Leiden pentru a studia matematică și fizică în primii ani și fizică teoretică pentru ultimii. Potrivit lui Dijkstra, acești ani universitari au fost cel mai bun moment al vieții sale, în ciuda faptului că se confrunta cu dificultăți financiare, muncind foarte mult și dormind puțin [1] .

În 1951 , în timp ce studia în continuare la Universitatea Leiden, tatăl său, care era abonat la Nature , a găsit o reclamă pentru un curs de trei săptămâni de programare pe calculator care avea să aibă loc la Universitatea Cambridge din Anglia în septembrie acel an. . Edsger a profitat de ocazie și a fost invitat și de Adrian van Wijngaarden , directorul departamentului IT al Centrum Wiskunde & Informatica (CWI) , din Amsterdam . În urma acestei întâlniri, el va primi un loc de muncă cu normă întreagă la CWI, ca prim olandez cu abilități de „programator”. În 1956, Dijkstra și-a luat diploma în fizică. După terminarea studiilor, decide să se mute de la Leiden, unde a stat din 1949 până în 1956, la Amsterdam pentru a lucra cu normă întreagă la CWI.

De la primele contribuții la Premiul Turing

A lucrat ca cercetător la Burroughs Corporation la începutul anilor 1970. În 1972 a primit Premiul Turing .

A lucrat la Universitatea de Tehnologie Eindhoven din Olanda și ulterior a deținut catedra de informatică la Universitatea Texas din Austin .

Ultimii ani

În 1999 , la aproape șaptezeci de ani, Dijkstra s-a retras de la predare. Cu ocazia împlinirii a 70 de ani, departamentul IT organizează un simpozion care a avut loc în mai 2000 . În februarie 2002 Edsger Wybe Dijkstra s-a întors în țara sa natală, Olanda .

Activități

Cele mai importante contribuții ale sale la informatică au fost așa-numitul „ algoritm Dijkstra ” și conceptul computerului de „ semafor ”.

El este, de asemenea, cunoscut pentru părerea sa proastă despre utilizarea instrucțiunii GOTO în programare , care a culminat cu celebrul articol din 1968 Go To Statement Considered Harmful , considerat drept unul dintre pașii fundamentali către respingerea generalizată a instrucțiunii GOTO în limbaje de programare. și înlocuirea acestuia cu structuri de control mai funcționale , cum ar fi bucla while . Faimosul titlu al articolului nu este al lui Dijkstra, ci al lui Niklaus Wirth , pe atunci redactor la Comunicările ACM . Se știe că Dijkstra era un fan al ALGOL 60 și a lucrat în echipa care a făcut primul compilator pentru acest limbaj. Dijkstra și Jaap Zonneveld, care au ajutat la construirea compilatorului, au fost de acord să nu se radă până la finalizarea proiectului. În cele din urmă, Zonneveld și-a tăiat barba lungă, în timp ce Dijkstra a preferat să o păstreze până la sfârșitul zilelor sale.

Din 1970 , principalul interes al Dijkstra a fost verificarea formală. În acel moment, opinia predominantă era că ar trebui să scrieți programul mai întâi și abia apoi să furnizați o dovadă matematică a corectitudinii formale. Dijkstra a susținut că dovezile astfel produse erau lungi și ilizibile și că nu furnizau nicio informație cu privire la modul în care a fost dezvoltat programul. Metoda alternativă propusă de Dijkstra a fost așa-numita derivare a programului , constând în dezvoltarea programului și demonstrarea în paralel. În cuvintele lui Dijkstra: „dezvoltați dovezi și programați mână în mână”. Plecând de la o descriere matematică a ceea ce ar trebui să facă programul, se aplică transformările matematice adecvate pentru a transforma descrierea matematică inițială într-un program executabil. Programul rezultat este definit ca: corect prin construcție .

El a ocupat de sistemele de operare , dezvoltarea conceptului de semaforului, implementarea acestuia în sistemul de operare, și formularea celebra sincronizare problema numit cei cinci filozofi problemă cină .

O mare parte din lucrările ulterioare ale lui Dijkstra se referă la modalități de eficientizare a argumentelor matematice. Într-un interviu din 2001, el a declarat dorința de „eleganță”, unde abordarea corectă este de a procesa mental gândurile, fără a încerca să le comunice până când acestea nu sunt complete. Analogia pe care a făcut-o a fost în contrast cu abordarea compozițională a lui Mozart și Beethoven .

Dijkstra era cunoscut pentru opiniile sale sincere despre programare și obiceiul său de a compune cu atenție manuscrise cu stiloul său. Multe dintre notițele sale au fost scanate și sunt disponibile online .

Cărți

  • Calcul predicat și semantică de programare (1990)
  • O metodă de programare (1988)
  • Scrieri selectate pe computer: o perspectivă personală (1982)
  • O disciplină a programării (1976)
  • Programare structurată (1972)

Notă

  1. ^ a b c Edsger W. Dijkstra, Din viața mea ( PDF ), su cs.utexas.edu .
  2. ^ a b c Dijkstra Biografie , la www-groups.dcs.st-and.ac.uk .

Elemente conexe

Alte proiecte

linkuri externe

Controlul autorității VIAF (EN) 17.820.452 · ISNI (EN) 0000 0001 1234 890X · LCCN (EN) n82078425 · GND (DE) 139 688 641 · NLA (EN) 35,036,226 · NDL (EN, JA) 00,437,921 · WorldCat Identities (EN) lccn- n82078425
Adus de la „ https://it.wikipedia.org/w/index.php?title=Edsger_Dijkstra&oldid=119322576 ”