Edsger Dijkstra

Edsger Wybe Dijkstra (prononciation : [ˈɛtsxər ˈwibə ˈdɛɪkstra]), né à Rotterdam le 11 mai 1930 et mort à Nuenen le 6 août 2002, est un mathématicien et informaticien néerlandais du XX^e siècle. Il reçoit en 1972 le prix Turing pour ses contributions sur la science et l’art des langages de programmation et au langage Algol. Juste avant sa mort, en 2002, il reçoit le prix PoDC de l'article influent, pour ses travaux sur l'autostabilisation. L'année suivant sa mort, le prix sera renommé en son honneur prix Dijkstra.

Edsger Dijkstra

Biographie

Naissance	11 mai 1930 Rotterdam
Décès	6 août 2002 (à 72 ans) Nuenen
Nom de naissance	Edsger Wybe Dijkstra
Nationalité	néerlandaise
Formation	Gymnasium Erasmianum (en) (jusqu'en 1948) Université de Leyde (1948-1956) Université de Cambridge (1951) Université d'Amsterdam (doctorat) (1956-1959)
Activités	Mathématicien, professeur d'université, chercheur en science de l'information, ingénieur, physicien, informaticien, programmeur
Conjoint	Maria C. Debets (d)

Autres informations

A travaillé pour	Université du Texas à Austin (1984-1999) Burroughs Corporation (1973-1984) Université Radboud de Nimègue (1971-1972) Université de technologie d'Eindhoven (1962-1984) Centrum voor Wiskunde en Informatica (1952-1962)
Membre de	Association for Computing Machinery (1994) Académie américaine des arts et des sciences Académie royale néerlandaise des arts et des sciences
Directeur de thèse	Adriaan van Wijngaarden (1959)
Distinctions	Prix Turing (1972) Liste détaillée Fellow of the British Computer Society (1971) Prix Turing (1972) Prix commémoratif Harry H. Goode (1974) Computer Pioneer Award (1982) ACM Fellow (1994) C&C Prize (en) (2002) Prix Dijkstra (2002)

Prononciation

Renommé pour

Algorithme de Dijkstra THE Operating system Sémaphore

Biographie

Après des études de physique théorique, il s'engage dès 1955 dans le domaine de l'informatique alors naissante, dont il est l'un des pionniers les plus éclairés.

Dijkstra avait une écriture manuscrite très lisible et a toujours refusé d'utiliser un traitement de texte, malgré son domaine d'activité, préférant la lettre manuscrite photocopiée. Luca Cardelli a créé une fonte « Dijkstra » en son honneur, qui imite son écriture régulière. Dijkstra référençait toutes ses lettres par EWD suivi d'un nombre, la dernière étant la lettre EWD 1318.

Le système d'exploitation THE

Enseignant à l'université technique d'Eindhoven, il commence à se faire connaître en matière de systèmes avec THE Operating system, un système construit en couches d'abstraction successives et idéal pour l'enseignement (« THE » est un jeu de mots sur l'acronyme de son université Technische Hogeschool Eindhoven, école polytechnique d'Eindhoven). Fort de l'expérience d'écriture de ce système, il formalise le concept, avant lui diffus, de sémaphore puis introduit le concept de « section critique » avec deux exemples devenus classiques : le problème des lecteurs et des rédacteurs et le dîner des philosophes.

L'instruction GOTO

Constatant les dégâts provoqués par l'usage incontrôlé de l'instruction goto en programmation, il rédige en 1968 pour les Communications of the ACM un article qu'il nomme « A Case against the GOTO Statement » (« Un Procès contre l'instruction GOTO »). Voulant publier rapidement l'article sous la forme d'une lettre à l'éditeur, l'éditeur Niklaus Wirth le rebaptise « Go To Statement Considered Harmful » (« L'Instruction Go To considérée comme nuisible »).

Ce nouveau titre, tout autant que le propos de l'article, devient alors célèbre dans le milieu de l'informatique. Les titres de la forme « X considered harmful » se multiplient, jusqu'à un « Dijkstra considered harmful » ».

L'instruction goto est rapidement marginalisée, et presque éliminée, par la programmation structurée (concept de Wirth et Dijkstra, présenté entre autres dans EWD 268). En programmation structurée, le goto est remplacé par des instructions comme if … then … else …, while … do, repeat … until qui furent introduites par Wirth dans Algol W : chaque instruction contient une seule entrée et une seule sortie, ce qui rend enfin possible des tests systématiques exhaustifs impossibles avec le « code spaghetti ».

Des conditions peuvent aussi être imposées à l'entrée unique et des caractéristiques postulées à la sortie unique, ce qui ouvre la porte à des outils ajoutés à la syntaxe, comme assert (voir Logique de Hoare) et plus tard à la programmation par contrat du langage Eiffel.

Algorithmique

Dijkstra avait joué un rôle important dans le développement du langage Algol à la fin des années 1950 et développé ensuite « la science et l'art des langages de programmation », contribuant grandement à la compréhension de leur structure, de leur représentation et de leur implémentation. C'est aussi un adepte du bel algorithme, y compris pour des sujets difficiles à traiter en programmation structurée comme les perles de Dijkstra (disposer une par une des perles de trois couleurs sur un fil de façon qu'il n'y ait jamais deux séquences adjacentes identiques).

Il est également à l'origine de l'algorithme éponyme, l'algorithme de Dijkstra, permettant de calculer des plus courts chemins dans un graphe orienté. Il permet, par exemple, de déterminer un plus court chemin pour se rendre d'une ville à une autre connaissant le réseau routier d'une région et est très utilisé, par exemple dans les assistants de navigation GPS.

Prix Turing

Le discours qu'il prononce en 1972 lorsqu'il reçoit le prix Turing, The Humble Programmer, est également resté célèbre. Il s'agit également d'un exercice d'autodérision, le professeur Dijkstra s'étant toujours montré très conscient de la valeur de ses travaux.

En 1974, Dijkstra publie l'article fondateur de l'autostabilisation, propriété d'un système réparti à retrouver un comportement correct après toute défaillance transitoire. En 2002, il reçoit le prix PoDC de l'article influent pour cet article. Il meurt peu après. Ce prix est renommé prix Dijkstra en son honneur dès l'année suivante.

Citations

Dijkstra lors d'une conférence à Zurich en 1994.

Dijkstra, connu pour son caractère difficile et son intransigeance, était réputé pour ses aphorismes, lesquels résumaient sa vision de la science informatique.

• « La programmation par objets est une idée exceptionnellement mauvaise qui ne pouvait naître qu'en Californie. »^{[réf. nécessaire]}
• « Les progrès ne seront possibles que si nous pouvons réfléchir sur les programmes sans les imaginer comme des morceaux de code exécutable. »^{[réf. nécessaire]}
• « La recherche du chemin le plus court est une quête qui ne peut être accomplie qu'en l'absence de toute perturbation intrinsèque. »^{[réf. nécessaire]}
• « Le plus court chemin d'un graphe n'est jamais celui que l'on croit, il peut surgir de nulle part, et la plupart du temps, il n'existe pas. »^{[réf. nécessaire]}
• L'aphorisme « L'informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des télescopes. » souvent attribué à Dijkstra, est en fait une phrase de Michael R. Fellows et Ian Parberry dans un article du journal Computing Research News.
• « Les ressources d'un individu sont plus à même de s'accumuler lorsque ses capacités de macrogestion sont déplorables. »^{[réf. nécessaire]}
• « Le test de programmes peut être une façon très efficace de montrer la présence de bugs mais est désespérément inadéquat pour prouver leur absence ».

Voir aussi

Bibliographie

• Krzysztof Apt, « Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius » in Formal Aspects of Computing, 2002 [PDF] [1]

Articles connexes

• Autostabilisation
• Algorithme de Dijkstra

Liens externes

• (en) Edsger W. Dijkstra Archive - manuscripts of Edsger W. Dijkstra
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • Japon
  • CiNii
  • Belgique
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
  • Suède
  • Australie
  • Norvège
  • Croatie
  • Tchéquie
  • WorldCat
• Notices dans des dictionnaires ou encyclopédies généralistes :

  • Biografisch Portaal van Nederland
  • Britannica
  • Brockhaus
  • Internetowa encyklopedia PWN
  • Nationalencyklopedin
• Ressources relatives à la recherche :
  • (en) Digital Bibliography & Library Project
  • (en) Mathematics Genealogy Project
  • (mul) Scopus
  • (en) Semantic Scholar