Edsger W. Dijkstra
Preguntar si una máquina puede pensar es tan útil como preguntar si un submarino puede nadar: más vale estudiar lo que los programas hacen realmente.
Vida
Informático neerlandés (1930-2002), ganador del Premio Turing en 1972, que enseñó en Eindhoven y después en la Universidad de Texas en Austin. Ideó un algoritmo de camino más corto (1956) y defendió una programación rigurosa, basada en la demostración. Para las grandes cuestiones es importante por rechazar las comparaciones imprecisas entre máquinas y mentes: preguntar si una máquina piensa le parecía tan inútil como preguntar si un submarino nada.
Obras principales
El artículo que describe el algoritmo de camino más corto que lleva su nombre.
Defiende una programación estructurada, más fácil de entender y de demostrar correcta.
Deriva los programas junto con sus pruebas de corrección.
En sus propias palabras
« Alan M. Turing reflexionó sobre criterios para resolver la cuestión de si las máquinas pueden pensar, una cuestión de la que ahora sabemos que es tan pertinente como la de si los submarinos pueden nadar. »