Naștere |
11 mai 1930 Rotterdam |
---|---|
Moarte |
6 august 2002 Nuenen |
Numele în limba maternă | Edsger Wybe Dijkstra |
Naţionalitate | Olandeză |
Instruire |
Universitatea din Texas la Austin Gymnasium Erasmianum ( în ) (până la1948) Universitatea din Leiden (până la1956) Universitatea din Amsterdam ( doctor Philosophiæ ) (până la1959) |
Activități | Matematician , fizician , informatician , inginer , profesor universitar |
Lucrat pentru | Universitatea Texas din Austin (1984-1999) , Burroughs Corporation (1973-1984) , Universitatea Radboud din Nijmegen (1971-1972) , Universitatea de Tehnologie Eindhoven (1962-1984) , Centrum voor Wiskunde en Informatica (1952-1962) |
---|---|
Camp | Știința informației ( în ) |
Membru al |
Royal Netherlands Academy of Arts and Sciences Academia Americană de Arte și Științe Asociația pentru mașini de calcul |
Supervizor | Adriaan van Wijngaarden (1959) |
Premii |
Premiul Turing (1972) |
Algoritmul lui Dijkstra Sistemul de operare Semafor |
Edsger Wybe Dijkstra (pronunție: [ˈɛtsxər ˈwibə ˈdɛɪkstra] ), născut la Rotterdam pe11 mai 1930și a murit la Nuenen pe6 august 2002Este un matematician și calculator om de știință olandez XX - lea secol . În 1972 a primit Premiul Turing pentru contribuțiile sale la știința și arta de limbaje de programare și Algol limba . Chiar înainte de moartea sa, în 2002 , a primit premiul pentru articole influente PoDC pentru munca sa de auto-stabilizare . În anul următor morții sale, premiul va fi redenumit în onoarea sa la Premiul Dijkstra .
După ce a studiat fizica teoretică , a început să lucreze în apoi în curs de formare informatică domeniu în 1955 , din care el a fost unul dintre cele mai luminate pionieri.
Dijkstra avea o scriere de mână foarte lizibilă și a refuzat întotdeauna să folosească un procesor de text, în ciuda domeniului său de activitate, preferând scrisoarea scrisă de mână fotocopiată. Luca Cardelli a creat o distribuție „Dijkstra” în cinstea sa, care imită scrierea sa obișnuită. Dijkstra se va referi la toate scrisorile sale ca EWD urmat de un număr, ultima fiind litera EWD 1318 .
Profesor la Universitatea Tehnică din Eindhoven , a început să se facă cunoscut în domeniul sistemelor cu sistemul de operare THE , un sistem construit în straturi succesive de abstractizare și ideal pentru predare („THE” este un joc de cuvinte pe acronimul universității sale Technische Hogeschool Eindhoven , Politehnica Eindhoven). Odată cu experiența scrierii acestui sistem, el a formalizat conceptul, înainte de a fi difuz, de semafor, apoi a introdus conceptul de „secțiune critică” cu două exemple devenite clasice: problema cititorilor și scriitorilor și cina filozofilor. .
Luând act de daunele provocate de utilizarea necontrolată a instrucțiunii goto de programare, a scris în 1968 la Comunicările ACM articol el a numit „ un caz împotriva Declarației GOTO “ ( „Un proces împotriva declarația GOTO“ ). Dorind să publice rapid articolul ca o scrisoare către editor, editorul Niklaus Wirth l-a redenumit „ Go To Statement Considered Harmful ”.
Acest nou titlu, precum și subiectul articolului, au devenit apoi celebri în lumea IT. Titlurile formei „ X considerat dăunător ” sunt înmulțite, până când unul „ Dijkstra considerat dăunător ” ”.
Instrucțiunea Goto este rapid marginalizată și aproape eliminată, prin programarea structurată (conceptul Wirth și Dijkstra, prezentat printre altele în EWD 268 ). În programarea structurată, goto-ul este înlocuit cu afirmații ca dacă ... apoi ... altfel ... , în timp ce ... faceți , repetați ... până la care au fost introduse de Wirth în Algol W : fiecare instrucțiune conține o singură intrare și o singură ieșire, ceea ce face în cele din urmă posibil exhaustiv testele sistematice nu sunt posibile cu „ codul spaghete ”.
Pot fi impuse, de asemenea, condiții pentru intrarea unică și caracteristicile postulate pentru ieșirea unică, ceea ce deschide ușa instrumentelor adăugate sintaxei, cum ar fi asert (vezi logica lui Hoare ) și ulterior contractării programării limbajului Eiffel .
Dijkstra a jucat un rol important în dezvoltarea limbajului Algol la sfârșitul anilor 1950 și a dezvoltat ulterior „știința și arta limbajelor de programare” , contribuind în mare măsură la înțelegerea structurii, reprezentării și implementării acestora. El este, de asemenea, un adept al frumosului algoritm, inclusiv pentru subiecte dificil de tratat în programarea structurată, cum ar fi margelele Dijkstra (așezați margelele de trei culori pe un fir unul câte unul, astfel încât să nu existe niciodată două secvențe adiacente identice).
El este, de asemenea, la originea algoritmului omonim, algoritmul Dijkstra , care permite calcularea celor mai scurte căi într-un grafic direcționat .
Discursul pe care l-a ținut în 1972 când a primit Premiul Turing , The Humble Programmer , a rămas și el celebru. Este, de asemenea, un exercițiu de batjocură de sine , deoarece profesorul Dijkstra a fost întotdeauna foarte conștient de valoarea muncii sale.
În 1974 , Dijkstra a publicat articolul fondator de auto-stabilizare , proprietatea unui sistem distribuit de a recâștiga un comportament corect după orice eșec tranzitor. În 2002 , a primit premiul pentru articole influente PoDC pentru acest articol. A murit la scurt timp după aceea. Acest premiu a fost redenumit Premiul Dijkstra în onoarea sa în anul următor.
Dijkstra, cunoscut pentru caracterul său dificil și intransigența, era renumit pentru aforismele sale , care îi încapsulau viziunea asupra informaticii.