Edsger Wybe Dijkstra
Gutiérrez Rivas Sonia Alejandra
14 de abril de 2014
Grupo. 1CM11
1
1. Edsger Wybe Dijkstra
Róterdam, Países Bajos, 11 de mayo de 1930 - Nuenen, Países Bajos, 6
de agosto de 2002) fue un cientí co de la computación de los Países Bajos.
Dijkstra estudió física teórica en la Universidad de Leiden. Trabajó como
investigador para Burroughs Corporation a principios de los años 1970. En
la Universidad de Texas en Austin, Estados Unidos, ocupó el Schlumberger
Centennial Chair in Computer Sciences. Se retiró en 2000.
Entre sus contribuciones a las ciencias de la computación está la solución
del problema del camino más corto, también conocido como el algoritmo de
Dijkstra, la notación polaca inversa y el relacionado algoritmo shunting yard,
THE multiprogramming system, el algoritmo del banquero y la construcción
del semáforo para coordinar múltiples procesadores y programas. Otro con-
cepto debido a Dijkstra, en el campo de la computación distribuida, es el
de la auto-estabilización, una vía alternativa para garantizar la con abilidad
del sistema. El algoritmo de Dijkstra es usado en la ruta más corta primero
(SPF) que es usado en el protocolo de enrutamiento Open Shortest Path First
(OSPF). También se le debe la autoría de la expresión Crisis del software,
aparecida en su libro The Humble Programmer y usada ampliamente en la
famosa reunión de la OTAN de1968 sobre desarrollo del software. Recibió el
Premio Turing en 1972.
Era conocido por su baja opinión de la sentencia GOTO en programación,
que culminó en 1968 con el artículo Go To Statement Considered Harmful
(La sentencia Goto considerada perjudicial), visto como un paso importante
hacia el rechazo de la expresión GOTO y de su e caz reemplazo porestructu-
ras de control tales como el bucle while. El famoso título del artículo no era
obra de Dijkstra, sino de Niklaus Wirth, entonces redactor de Comunicacio-
nes del ACM. Dijkstra era un a cionado bien conocido de ALGOL, y trabajó
en el equipo que desarrolló el primer compilador para este lenguaje. En ese
mismo año creó el primer sistema operativo con estructura jerárquica, de
niveles o capas. Fue denominado THE (Technische Hogeschool, Eindhoven)
que se utilizó con nes didácticos.
Desde los años 1970, el principal interés de Dijkstra fue la veri cación for-
mal. La opinión que prevalecía entonces era que uno debe primero escribir un
programa y seguidamente proporcionar una prueba matemática de su correc-
ción. Dijkstra objetó que las pruebas que resultan son largas e incómodas, y
que la prueba no da ninguna comprensión de cómo se desarrolló el programa.
Un método alternativo es la derivación de programas, desarrollar prueba y
programa conjuntamente. Uno comienza con una especi cación matemática
del programa que se supone va a hacer y aplica transformaciones matemá-
2
Figura 1: Edsger Dijkstra
ticas a la especi cación hasta que se transforma en un programa que pueda
ser ejecutado.
El programa que resulta entonces es sabido correcto por la construcción. Mu-
chos de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer
uida la argumentación matemática.
Respecto a su carácter árido y ácido, conocidas son su oposición a la ins-
trucción GOTO y al lenguaje BASIC (mutila la mente más allá de toda
recuperación). Alan Kay expuso que 1 en informática, la arrogancia se mi-
de en nanodijkstras.
Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el
cáncer.
2. Referencias
http://www.ecured.cu/index.php/Edsger_Dijkstra
http://es.wikipedia.org/wiki/Edsger_Dijkstra
