Computación distribuida [ editar ]
Dijkstra fue uno de los primeros pioneros de la investigación sobre los principios de la computación distribuida . [85] [86] Como se reconoce en la cita del Premio Dijkstra , "ningún otro individuo ha tenido una influencia mayor en la investigación de los principios de computación distribuida". Algunos de sus papeles son incluso considerados como los que establecieron el campo. El artículo de Dijkstra de 1965, Solución de un problema en el control de programación concurrente fue el primero en presentar la solución correcta al problema de exclusión mutua . Leslie Lamport escribe que este trabajo "es probablemente la razón por la que existe el PODC " y que "inició el campo de los algoritmos concurrentes y distribuidos"". [87]
En particular, su artículo "Sistemas autoestabilizadores a pesar del control distribuido" (1974) inició el subcampo de la autoestabilización . También se considera como el primer examen científico de los sistemas tolerantes a fallas . [7] El artículo de Dijkstra no se notó ampliamente hasta que Leslie Lamport participó en una charla en el Simposio de ACM sobre los Principios de la Informática Distribuida ( PODC ) en 1983. En su informe sobre el trabajo de Dijkstra sobre sistemas distribuidos autoestabilizados , Lamport considera que es un hito. en trabajos sobre tolerancia a fallas 'y' un campo muy fértil para la investigación '. [88]
Especificación formal y verificación [ editar ]
Desde la década de 1970, el interés principal de Dijkstra fue la verificación formal . En 1976, Dijkstra publicó un libro seminal, Una disciplina de programación , que presentó su método de desarrollo sistemático de programas junto con sus pruebas de corrección. En su exposición usó su ' Lenguaje de comando protegido '. El lenguaje, con su dependencia del no determinismo, la semántica de condición previa más débil adoptada y el método de desarrollo propuesto ha tenido un impacto considerable en el campo hasta el día de hoy. El cálculo de refinamiento , propuesto originalmente por Ralph-Johan Back [89] y desarrollado por Carroll Morgan , [90]es una extensión del cálculo de condición previa más débil de Dijkstra , donde las declaraciones de programa se modelan como transformadores de predicado . [91]
En 1984, para agregar más apoyo a este enfoque de la programación, publicó conjuntamente con Wim Feijen un libro de texto introductorio para estudiantes de primer año de ciencias de la computación. El libro, publicado por primera vez en holandés, se tituló Een methode van programmeren . La edición en inglés apareció en 1988 como un método de programación .
Sobre la naturaleza de la informática y la programación informática [ editar ]
Muchas de sus opiniones sobre informática y programación se han generalizado. Por ejemplo, la frase de programación "dos o más, usa un para" (una regla de oro para usar un bucle) a veces se le atribuye. [92]
Fue el primero en afirmar que la programación es tan intrínsecamente compleja que, para gestionarla con éxito, los programadores deben aprovechar todos los trucos y abstracciones posibles.
Dijkstra fue uno de los opositores más famosos de la visión de ingeniería de la informática. Al igual que Peter Naur y Kristen Nygaard , a Dijkstra no le gustó el término "informática". La informática , como señaló Dijkstra, merece un nombre mejor. Él sugiere que se puede llamar 'ciencia computacional'. En lugar de la computadora, o la tecnología informática, Dijkstra quería enfatizar los mecanismos abstractos que utiliza la ciencia informática para dominar la complejidad. Al expresar la naturaleza abstracta de la informática , escribió:
En The Humble Programmer (1972), Dijkstra escribió: "No debemos olvidar que no es nuestro negocio [de científicos informáticos] hacer programas, es nuestro negocio diseñar clases de cálculos que muestren un comportamiento deseado".
Dijkstra también se opuso a la inclusión de la ingeniería de software bajo el paraguas de la informática académica. Escribió que, "como la economía se conoce como" La ciencia miserable ", la ingeniería del software debería ser conocida como" La disciplina condenada ", condenada porque ni siquiera puede acercarse a su objetivo, ya que su objetivo es autocontradictorio". Y "la ingeniería de software ha aceptado como su carta" Cómo programar si no puede "." [94]
Personalidad y estilo de trabajo [ editar ]
| " | (...) Difícilmente puede culpar al MIT por no haber notado a un científico informático desconocido en una pequeña ciudad en los Países Bajos. | ” |
| - Dijkstra solía describirse a sí mismo, en Nuenen a mediados de los años sesenta. [95] [15] | ||
En el mundo de la informática, Dijkstra es bien conocido como un "personaje". En el prefacio de su libro A Discipline of Programming(1976) afirmó lo siguiente: "Por la ausencia de una bibliografía no ofrezco ni explicación ni disculpa". De hecho, la mayoría de sus artículos y libros no tienen referencias en absoluto. [13] Este enfoque de las referencias fue deplorado por algunos investigadores. Pero Dijkstra eligió esta forma de trabajar para preservar su autosuficiencia.
Como profesor universitario durante gran parte de su vida, Dijkstra vio la enseñanza no solo como una actividad obligatoria, sino como un esfuerzo serio de investigación. [11] Su acercamiento a la enseñanza fue poco convencional. [96] Su estilo de lectura ha sido descrito como idiosincrásico. Al sermonear, las largas pausas entre oraciones a menudo se han atribuido al hecho de que el inglés no es el primer idioma de Dijkstra. Sin embargo, las pausas también le sirvieron como una forma de pensar en sus pies y fue considerado como un pensador rápido y profundo mientras participaba en el acto de sermonear. Sus cursos para estudiantes en Austin tuvieron poco que ver con ciencias de la computación pero trataron la presentación de pruebas matemáticas. [13] Al comienzo de cada semestre.Tomaría una foto de cada uno de los estudiantes, para memorizar sus nombres. Nunca siguió un libro de texto , con la posible excepción del suyo mientras estaba en preparación. Al sermonear, él escribía pruebas con tiza en una pizarra en lugar de usar láminas de arriba. Invitó a los estudiantes a sugerir ideas, que luego exploró, o se negó a explorar porque violaron algunos de sus principios. Asignó problemas de tareas difíciles y estudiaría las soluciones de sus alumnos a fondo. Realizó sus exámenes finales oralmente, durante una semana entera. Cada estudiante fue examinado en la oficina u hogar de Dijkstra, y un examen duró varias horas. [11]
También fue muy original en su forma de evaluar la capacidad de las personas para un trabajo. Cuando Vladimir Lifschitz llegó a Austin en 1990 para una entrevista de trabajo, Dijkstra le dio un rompecabezas. Vladimir lo resolvió y ha estado trabajando en Austin desde entonces. [13]
A pesar de haber inventado gran parte de la tecnología del software, Dijkstra evitó el uso de las computadoras en su propio trabajo durante muchas décadas. Incluso después de haber sucumbido al aliento de sus colegas de UT y adquirido una computadora Macintosh , la usó solo para correo electrónico y para navegar por la World Wide Web . [97] Dijkstra nunca escribió sus artículos usando una computadora. Prefirió confiar en su máquina de escribir y más tarde en su pluma Montblanc . [13] El instrumento de escritura favorito de Dijkstra fue la pluma estilográfica Montblanc Meisterstück . Probó repetidamente otros corrales, pero ninguno desplazó al Montblanc.
No tenía ningún uso para los procesadores de texto , creyendo que uno debería poder escribir una carta o un artículo sin borradores, reescritura o cualquier edición significativa. Lo resolvió todo en su cabeza antes de escribir sobre papel, y una vez mencionó que cuando era estudiante de física resolvería los problemas de la tarea mental mientras paseaba por las calles de Leiden . [11] La mayoría de las publicaciones de Dijkstra fueron escritas por él solo. Nunca tuvo una secretaria y se hizo cargo de toda su correspondencia solo. [13] Cuando sus colegas prepararon un Festschrift para su sexagésimo cumpleaños, publicado por Springer-Verlag., se tomó la molestia de agradecer a cada uno de los 61 contribuyentes por separado, en una carta escrita a mano. [13]
A lo largo de la carrera de Dijkstra, su trabajo se caracterizó por la elegancia y la economía. [13] Escritor prolífico (especialmente como ensayista), Dijkstra escribió más de 1,300 artículos, muchos escritos a mano en su guión preciso. Eran ensayos y parábolas; cuentos de hadas y advertencias; Explicación integral y pretexto pedagógico. La mayoría se refería a las matemáticas y la informática; otros fueron informes de viajes que son más reveladores sobre su autor que sobre las personas y los lugares visitados. Era su costumbre copiar cada documento y distribuirlo a un pequeño grupo de colegas que copiarían y enviarían los documentos a otro grupo limitado de científicos. [98] Su romance con la simplicidad.Llegó a una edad temprana y bajo la guía de su madre. Una vez dijo que le había preguntado a su madre si la trigonometría era un tema difícil. Ella respondió que debía aprender todas las fórmulas y que, además, si necesitaba más de cinco líneas para probar algo, estaba en el camino equivocado. [99]
Dijkstra era famoso por su ingenio, elocuencia y estilo con las palabras, como en su comentario: "La cuestión de si las máquinas pueden pensar (...) es tan relevante como la cuestión de si los submarinos pueden nadar". [100]su consejo a un investigador prometedor, que preguntó cómo seleccionar un tema para la investigación, "Haz solo lo que solo tú puedes hacer". [11] Dijkstra también fue conocido por su crítica vocal. Como un visionario franco y crítico, se opuso firmemente a la enseñanza de BASIC . [101]
En muchos de sus ensayos más cómicos, Dijkstra describió una compañía ficticia de la que se desempeñó como presidente. La compañía se llamaba Mathematics, Inc., una compañía que imaginó que había comercializado la producción de teoremas matemáticos de la misma manera que las compañías de software habían comercializado la producción de programas de computadora. Inventó una serie de actividades y desafíos de Mathematics Inc. y los documentó en varios artículos de la serie EWD. La compañía imaginaria había presentado una prueba de la Hipótesis de Riemann, pero luego tuvo grandes dificultades para cobrar regalías de matemáticos que habían demostrado resultados al asumir la Hipótesis de Riemann. La prueba en sí era un secreto comercial . [102]Muchas de las pruebas de la compañía se apresuraron a salir por la puerta y luego gran parte del esfuerzo de la compañía tuvo que ser gastado en mantenimiento . [103] Un esfuerzo más exitoso fue la Prueba estándar para el Teorema de Pitágoras , que reemplazó las más de 100 pruebas existentes incompatibles. [104] Dijkstra describió a Mathematics Inc. como "el negocio más emocionante y más miserable jamás concebido". [102] EWD 443 (1974) describe a su compañía ficticia con más del 75 por ciento de la cuota de mercado mundial. [105] [106]
Manuscritos de EWD [ editar ]
Dijkstra era bien conocido por su hábito de componer manuscritos cuidadosamente con su pluma estilográfica . Los manuscritos se llaman EWDs, ya que Dijkstra los numeró con EWD , sus iniciales, como prefijo. Según el propio Dijkstra, los EWD comenzaron cuando se mudó del Centro de Matemáticas en Amsterdam a la Universidad de Tecnología de Eindhoven (entonces Technische Hogeschool Eindhoven). Después de ir a Eindhoven , Dijkstra experimentó un bloqueo de escritor.Por más de un año. Dijkstra distribuyó fotocopias de una nueva EWD entre sus colegas. Muchos destinatarios fotocopiaron y enviaron sus copias, por lo que los EWD se difundieron por toda la comunidad informática internacional. Los temas fueron ciencias de la computación y matemáticas e incluyeron informes de viajes, cartas y discursos. Estos artículos cortos abarcan un período de 40 años. Casi todas las EWD que aparecen después de 1972 fueron escritas a mano. Rara vez tienen más de 15 páginas y se numeran consecutivamente. El último, el No. 1318, es del 14 de abril de 2002. Dentro de la informática, se les conoce como los informes EWD o, simplemente, los EWD. Se han escaneado más de 1300 EWD, con un número cada vez mayor transcrito para facilitar la búsqueda, y están disponibles en línea en el archivo Dijkstra de la Universidad de Texas. [107]
Vida personal [ editar ]
La confianza en sí misma de Dijkstra iba acompañada de un estilo de vida notablemente modesto , hasta el punto de ser espartano . [13] La casa de él y su esposa en Nuenen era simple, pequeña y sencilla. No era dueño de un televisor, una videograbadora o un teléfono móvil, y no iba al cine. [13] En contraste, tocaba bien el piano y, mientras estaba en Austin , le gustaba ir a conciertos . Un entusiasta oyente de la música clásica , el compositor favorito de Dijkstra era Mozart . [11]
Muerte [ editar ]
Dijkstra murió el 6 de agosto de 2002. Según los funcionarios de la Universidad de Texas, la causa de la muerte fue el cáncer. [108]
La influencia y el reconocimiento [ editar ]
| " |
La diferencia entre un programador informático y un científico informático es una cuestión de título laboral. Edsger Dijkstra quiere que lo llamen "programador de computadoras", aunque no ha tocado una computadora desde hace algunos años. (...) Su gran fortaleza es que él es intransigente. Lo haría físicamente enfermo pensar en la programación en C ++.
| ” |
| - Donald Knuth (1996), una entrevista con Donald Knuth por Jack Woehr del Dr. Dobb's Journal . [109] | ||
En 1972, la Association for Computing Machinery (ACM) reconoció las contribuciones fundamentales de Dijkstra al campo al otorgarle el distinguido Premio Turing. La cita para el premio dice: [110]
La introducción dada en la ceremonia de entrega de premios es un homenaje a Dijkstra: [110]
En marzo de 2003, se envió el siguiente correo electrónico a la comunidad informática distribuida : [111]
Premios y distinciones [ editar ]
Entre los premios y honores de Dijkstra se encuentran: [97]
- Miembro de la Real Academia de las Artes y las Ciencias de los Países Bajos (1971) [113]
- Distinguido miembro de la British Computer Society (1971)
- La Association for Computing Machinery 's Premio Turing AM (1972) [114]
- Premio Harry H. Goode Memorial de la IEEE Computer Society (1974). [115]
- Miembro Honorario Extranjero de la Academia Americana de Artes y Ciencias (1975)
- Doctor en Ciencias Honoris Causa por la Queen's University Belfast (1976)
- Receptor de la Carta de Pioneer Computer de IEEE Computer Society (1982)
- Premio ACM / SIGCSE por sus contribuciones sobresalientes a la educación en informática (1989)
- Miembro de la Asociación de maquinaria de computación (1994) [116]
- Doctorado honorario de la Universidad de Economía y Negocios de Atenas , Grecia (2001).
La Beca distinguido de la British Computer Society (BCS) se concede en virtud de ordenanza 7 de los BCS 's Real Carta . El premio se aprobó por primera vez en 1969 y la primera elección se realizó en 1971 a Dijkstra. [117]
Con motivo del 60 cumpleaños de Dijkstra en 1990, el Departamento de Ciencias de la Computación (UTCS) de la Universidad de Texas en Austin organizó un seminario de dos días en su honor. Los oradores vinieron de todos los Estados Unidos y Europa, y un grupo de científicos informáticos contribuyó con artículos de investigación que se editaron en un libro. [11] [118]
En 2002, la Fundación C&C de Japón reconoció a Dijkstra "por sus contribuciones pioneras al establecimiento de la base científica para el software de computadora a través de la investigación creativa en la teoría del software básico, la teoría de algoritmos, la programación estructurada y los semáforos". Dijkstra estaba vivo para recibir la notificación del premio, pero fue aceptado por su familia en una ceremonia de premios después de su muerte.
Poco antes de su muerte en 2002, Dijkstra recibió el Premio ACM PODC Influent-Paper en computación distribuida por su trabajo sobre la autoestabilización de la computación del programa. Este premio anual pasó a llamarse Premio Dijkstra ( Premio Edsger W. Dijkstra en Computación Distribuida ) al año siguiente, en su honor.
El Premio Dijkstra por Logros Académicos Sobresalientes en Ciencias de la Computación ( Loyola University Chicago , Departamento de Ciencias de la Computación) lleva el nombre de Edsger W. Dijkstra. A partir de 2005, este premio reconoce el rendimiento académico superior de una especialización graduada en ciencias de la computación. La selección se basa en el GPA en todos los cursos principales y la elección por parte del profesorado del departamento. [119]
El Departamento de Ciencias de la Computación (UTCS, por sus siglas en inglés) de la Universidad de Texas en Austin organizó la Conferencia inaugural del Edsger W. Dijkstra Memorial el 12 de octubre de 2010. Tony Hoare , profesor emérito en Oxford e investigador principal de Microsoft Research, fue el orador del evento. Esta serie de conferencias fue posible gracias a una generosa subvención de Schlumberger para honrar la memoria de Dijkstra.
No hay comentarios:
Publicar un comentario