Diferencia entre revisiones de «Edsger Dijkstra»
m (Texto reemplazado: «<div align="justify">» por «»)
 
(No se muestran 9 ediciones intermedias de 5 usuarios)
Línea 1: Línea 1:
−
{{Personaje_científico|nombre=Edsger Wybe Dijkstra |imagen=Edsger_Wybe_Dijkstra_ficha.jpg|descripcion=Importante cienctífico de la computación de origen holandés.|especialidades=Ciencias de la Computación|fecha_de_nacimiento=11 de Mayo de 1930|lugar_de_nacimiento=Rotterdam, Netherlands|fecha_de_fallecimiento=6 de Agosto del 2002 |lugar_de_fallecimiento=Nuenen, Netherlands}}Fue un científico de la computación de origen holandés.
 
  
−
El mismo año de su muerte, recibe un importante premio otorgado por la Asociación de Sistemas Computarizados, por sus aportes en la rama de computación distribuida durante su trabajo en el tema de auto-estabilizadores de programas de computación. Este premio anual pasó a llamarse a partir del siguiente año el Premio Dijkstra en honor del notable científico.<br><br>
+
{{Ficha de científico
 +
|nombre                = Edsger Wybe Dijkstra
 +
|imagen                = Edsger_Wybe_Dijkstra_ficha.jpg
 +
|tamaño                =260px
 +
|descripción            =
 +
|fecha_de_nacimiento    = [[11 de mayo]] de [[1930]]
 +
|lugar_de_nacimiento    = [[Rotterdam]], [[Netherlands]]
 +
|fecha_de_fallecimiento = [[6 de agosto]] del [[2002]]
 +
|lugar_de_fallecimiento = [[Nuenen]], [[Netherlands]]
 +
|campos                =Informática
 +
|cónyuge                =
 +
|hijos                  =
 +
|lugar_de_residencia    =
 +
|nacionalidad          =
 +
|institución_de_trabajo =
 +
|alma_mater            =
 +
|supervisor_doctoral    =
 +
|estudiantes_doctorales =
 +
|conocido_por          =
 +
|abreviatura_bot        =
 +
|abreviatura_zoo        =
 +
|influenciado_por      =
 +
|influyó_en            =
 +
|sociedades            =
 +
|premios                =
 +
|firma                  =
 +
|notas                  =
 +
}}
 +
'''Edsger Wybe Dijkstra ''' fue un [[científico]] de la [[computación]] de origen holandés.Recibió un importante premio otorgado por la [[Asociación de Sistemas Computarizados]], por sus aportes en la rama de computación distribuida durante su trabajo en el tema de auto-estabilizadores de programas de computación. Este premio anual pasó a llamarse a partir del siguiente año el Premio Dijkstra en honor del notable científico.  
  
−
= Instituciones a las que perteneció:<br> =
+
== Datos Biográficos ==
  
−
*Instituto Nacional de Investigaciones Matemáticas y de Ciencias de la Computación.<br>
+
[[Image:Edsger Wybe Dijkstra 2.jpg|thumb|left|Edsger Wybe Dijkstra]]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]].  
−
*Universidad de Tecnología de Eindhoven.<br>
 
−
*Universidad de Texas en Austin.<br>
 
  
−
= Incursiones:<br>  =
+
Entre sus contribuciones a la informática está el algoritmo de caminos mínimos; también conocido como [[Algoritmo de Dijkstra|Algoritmo de Dijkstra]]. Recibió el Premio Turing en [[1972]].
  
−
*[[Algoritmo de Dijkstra|Algoritmo de Dijkstra.]]<br>
+
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, visto como un paso importante hacia el rechazo de la expresión GOTO y de su eficaz reemplazo por estructuras 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 Comunicaciones del ACM. Dijkstra era un aficionado bien conocido de Algol60, 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 fines didácticos.
−
*[[Programación Estructurada|Programación Estructurada.]]<br>
 
−
*Sistema Operativo multiprogramado THE.<br>
 
−
*[[Semáforos|Semáforos ]](Informáticos)<br>
 
  
−
= Premios Notables:<br>  =
+
Desde los años 70, el principal interés de Dijkstra fue la verificación formal. La opinión que prevalecía entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemática de su correcció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 especificación matemática del programa que se supone va a hacer y aplica transformaciones matemáticas a la especificación hasta que se transforma en un programa que pueda ser ejecutado. El programa que resulta entonces es sabido correcto por la construcción. Mucho de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentación matemática.
  
−
*Miembro de la Real Academia Holandesa de las Artes y las Ciencias. (1971)<br>
+
Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el cáncer.  
−
*Miembro Distinguido de la Sociedad de Computación Británica. (1971)<br>
 
−
*Premio Turing de la Asociación de Sistemas Computarizados. (1972)<br>
 
−
*Miembro Honorario Extranjero de la Academia Americana de Artes y Ciencias. (1975)<br>
 
−
*Doctor en Ciencias Honoris Causa de la Queen's University Belfast. (1976)<br>
 
−
*Computer Pioneer Charter Recipient de la sociedad de Computación de la IEEE. (1982)<br>
 
−
*Doctorado de Honor de la Universidad Ateniense de Economía y Negocios. (2001)<br>
 
  
−
= Biografía:<br> =
+
=== Frases celébres ===
  
−
[[Image:Edsger Wybe Dijkstra 2.jpg|thumb|left]]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.<br>
+
*''"No es tarea de la Universidad ofrecer lo que la sociedad le pide, sino lo que la sociedad necesita".''
 +
*''"El esfuerzo de utilizar las máquinas para emular el pensamiento humano siempre me ha parecido bastante estúpido. Preferiría usarlas para emular algo mejor."''
  
−
Entre sus contribuciones a la informática está el algoritmo de caminos mínimos; también conocido como [[Algoritmo de Dijkstra|Algoritmo de Dijkstra]]. Recibió el Premio Turing en 1972.<br>
+
== Instituciones a las que perteneció  ==
  
−
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, visto como un paso importante hacia el rechazo de la expresión GOTO y de su eficaz reemplazo por estructuras 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 Comunicaciones del ACM. Dijkstra era un aficionado bien conocido de Algol60, 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 fines didácticos.<br>
+
*[[Instituto Nacional de Investigaciones Matemáticas y de Ciencias de la Computación]].  
 +
*[[Universidad de Tecnología de Eindhoven]].  
 +
*[[Universidad de Texas en Austin]].
  
−
Desde los años 70, el principal interés de Dijkstra fue la verificación formal. La opinión que prevalecía entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemática de su correcció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 especificación matemática del programa que se supone va a hacer y aplica transformaciones matemáticas a la especificación hasta que se transforma en un programa que pueda ser ejecutado. El programa que resulta entonces es sabido correcto por la construcción. Mucho de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentación matemática.<br>Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el cáncer.<br>
+
== Incursiones  ==
  
−
= Frases celébres:<br>  =
+
*[[Algoritmo de Dijkstra|Algoritmo de Dijkstra.]]
 +
*[[Programación Estructurada|Programación Estructurada.]]
 +
*Sistema Operativo multiprogramado THE.
 +
*[[Semáforos|Semáforos ]](Informáticos)
  
−
*''"No es tarea de la Universidad ofrecer lo que la sociedad le pide, sino lo que la sociedad necesita".''<br>
+
== Premios Notables  ==
−
*''"El esfuerzo de utilizar las máquinas para emular el pensamiento humano siempre me ha parecido bastante estúpido. Preferiría usarlas para emular algo mejor."''<br>
 
  
−
= Enlaces de interés:<br><br>  =
+
*Miembro de la Real Academia Holandesa de las Artes y las Ciencias. ([[1971]])
 +
*Miembro Distinguido de la Sociedad de Computación Británica. ([[1971]])
 +
*Premio Turing de la Asociación de Sistemas Computarizados. ([[1972]])
 +
*Miembro Honorario Extranjero de la Academia Americana de Artes y Ciencias. ([[1975]])
 +
*Doctor en Ciencias Honoris Causa de la Queen's University Belfast. ([[1976]])
 +
*Computer Pioneer Charter Recipient de la sociedad de Computación de la IEEE. ([[1982]])
 +
*Doctorado de Honor de la Universidad Ateniense de Economía y Negocios. ([[2001]])
  
−
*http://es.wikipedia.org/wiki/Edsger_Dijkstra<br>
+
== Fuentes  ==
−
*http://en.wikipedia.org/wiki/Edsger_W._Dijkstra<br>
 
  
−
<br>
+
*[http://www.cs.utexas.edu/users/EWD/misc/vanVlissingenEntrevista.html Entrevista a Edsger Wybe Dijkstra]
 +
*[http://portal.acm.org/toc.cfm?id=SERIES11430&type=series&coll=ACM&dl=ACM E. W. Dijkstra, Go To Statement Considered Harmful, Communications of the ACM, Vol. 11 (1968) 147-148; edición en internet]
 +
 
 +
[[Category:Ciencias_informáticas_y_Telecomunicaciones]][[Categoría:Fallecidos_en_2002]]

última versión al 00:50 7 ago 2019

Edsger Wybe Dijkstra
Información sobre la plantilla
Edsger Wybe Dijkstra ficha.jpg
Fecha de nacimiento11 de mayo de 1930
Lugar de nacimientoRotterdam, Netherlands
Fecha de fallecimiento6 de agosto del 2002
Lugar de fallecimientoNuenen, Netherlands
CampoInformática

Edsger Wybe Dijkstra fue un científico de la computación de origen holandés.Recibió un importante premio otorgado por la Asociación de Sistemas Computarizados, por sus aportes en la rama de computación distribuida durante su trabajo en el tema de auto-estabilizadores de programas de computación. Este premio anual pasó a llamarse a partir del siguiente año el Premio Dijkstra en honor del notable científico.

Datos Biográficos

Edsger Wybe Dijkstra

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 la informática está el algoritmo de caminos mínimos; también conocido como Algoritmo de Dijkstra. 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, visto como un paso importante hacia el rechazo de la expresión GOTO y de su eficaz reemplazo por estructuras 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 Comunicaciones del ACM. Dijkstra era un aficionado bien conocido de Algol60, 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 fines didácticos.

Desde los años 70, el principal interés de Dijkstra fue la verificación formal. La opinión que prevalecía entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemática de su correcció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 especificación matemática del programa que se supone va a hacer y aplica transformaciones matemáticas a la especificación hasta que se transforma en un programa que pueda ser ejecutado. El programa que resulta entonces es sabido correcto por la construcción. Mucho de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentación matemática.

Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el cáncer.

Frases celébres

  • "No es tarea de la Universidad ofrecer lo que la sociedad le pide, sino lo que la sociedad necesita".
  • "El esfuerzo de utilizar las máquinas para emular el pensamiento humano siempre me ha parecido bastante estúpido. Preferiría usarlas para emular algo mejor."

Instituciones a las que perteneció

Incursiones

Premios Notables

  • Miembro de la Real Academia Holandesa de las Artes y las Ciencias. (1971)
  • Miembro Distinguido de la Sociedad de Computación Británica. (1971)
  • Premio Turing de la Asociación de Sistemas Computarizados. (1972)
  • Miembro Honorario Extranjero de la Academia Americana de Artes y Ciencias. (1975)
  • Doctor en Ciencias Honoris Causa de la Queen's University Belfast. (1976)
  • Computer Pioneer Charter Recipient de la sociedad de Computación de la IEEE. (1982)
  • Doctorado de Honor de la Universidad Ateniense de Economía y Negocios. (2001)

Fuentes

Obtenido de «https://www.ecured.cu/index.php?title=Edsger_Dijkstra&oldid=3491210»