Edsger W. Dijkstra
Demander si une machine peut penser est aussi peu utile que demander si un sous-marin peut nager : mieux vaut étudier ce que les programmes font vraiment.
Sa vie
Informaticien néerlandais (1930-2002), lauréat du prix Turing en 1972, qui a enseigné à Eindhoven puis à l'université du Texas à Austin. Il a inventé un algorithme de plus court chemin (1956) et défendu une programmation rigoureuse, fondée sur la preuve. Pour les grandes questions, il compte pour son refus des comparaisons floues entre machines et esprit : demander si une machine pense lui paraît aussi peu utile que demander si un sous-marin nage.
Ses œuvres
L'article qui décrit l'algorithme de plus court chemin qui porte son nom.
Il plaide pour une programmation structurée, plus facile à comprendre et à prouver.
Il construit les programmes en même temps que leur preuve de correction.
Ce qu'il a écrit
« Alan M. Turing a réfléchi à des critères pour trancher la question de savoir si les machines peuvent penser, une question dont nous savons aujourd'hui qu'elle est aussi pertinente que celle de savoir si les sous-marins peuvent nager. »