Edsger Wybe Dijkstra - Acerca de la crueldad de realmente enseñar ciencias de la computación

Edgar

Description

Esta charla trata de algunas de las consecuencias científicas y educacionales provenientes de la idea de que los computadores representan una novedad radical. Para darle contenidos claros a tal presunción, tenemos que ser mucho más precisos acerca de lo que se quiere decir en este contexto con el uso del adjetivo "radical". Lo haremos en la primera parte de esta charla, en la cual vamos a proveer evidencia que respalde esta suposición.

Informations

• Publié par: erevistas
• Publié le: 01 janvier 2009
• Nombre de lectures: 53
• Langue: Español

Extrait

Serna, M. E. (2009). Edsger Wybe Dijkstra. Revista Digital Lámpsakos, No. 2, pp. 107-116.
EDSGER WYBE DIJKSTRA

Edgar Serna Montoya
Grupo de investigación SISCO. Funlam, Colombia
[e-mail]

(Artículo de TRADUCCIÓN) (Recibido el 18 de febrero de 2009. Aceptado el 14 de mayo de 2009)


Rotterdam, Mayo 11 de 1930 – Nuenen, Agosto 6 de 2002

Fue uno de los más influyentes miembros de Entre sus contribuciones a la informática
la generación fundadora de las ciencias están “el algoritmo de caminos mínimos”,
computacionales. Son notables son aportes también conocido como “Algoritmo de
científicos en las áreas de: Dijkstra”, y haber sido el impulsor de un
Diseño de Algoritmos nuevo paradigma para la época, “la
Lenguajes de programación programación estructurada”. Era conocido
Diseño de programas por su baja opinión de la sentencia GOTO en
Sistemas operativos programación, que culminó en 1968 con su
Procesamiento distribuido artículo “Go To Statement Considered
Especificación y verificación formal Harmful”, visto como un paso importante
Diseño de argumentos matemáticos hacia el rechazo de esta expresión y de su
eficaz reemplazo por estructuras de control
Además, fue admirable su incesante deseo como el bucle while. Era un aficionado bien
por enseñar y por lograr la integración entre conocido de Algol60 y trabajó en el equipo
la ciencia computacional académica y la que desarrolló el primer compilador para
industria del software. En sus casi cuarenta este lenguaje; creó el primer sistema
años como científico computacional operativo con estructura jerárquica de
influenció a ambos sectores, y sus niveles o capas, denominado “THE” -
contribuciones le merecieron innumerables Technische Hogeschool, Eindhoven- que se
premios y reconocimientos, incluyendo el utilizó con fines didácticos.
más alto honor de las ciencias
computacionales, el ACM Turing Award en Desde los años 70, su principal interés fue la
1972. verificación formal. La opinión que
prevalecía entonces era que primero se debe
Estudió física teórica en la Universidad de escribir un programa y seguidamente
Leiden. Trabajó como investigador para proporcionar una prueba matemática de su
Burroughs Corporation a principios de los corrección. Dijkstra objetó que las pruebas
años 1970. En la Universidad de Texas en que resultan son largas e incómodas, y que la
prueba no da ninguna comprensión de cómo Austin, Estados Unidos, ocupó el
Schlumberger Centennial Chair in Computer se desarrolló el programa. Diseñó un método
Sciences. Se retiró en 2000. alternativo al que llamó “la derivación de
programas”, según el cual se deben
~ 107 ~
“desarrollar prueba y programa trabajos tratan sobre las maneras de hacer
conjuntamente”: se comienza con una fluida la argumentación matemática. Dijkstra
especificación matemática de lo que se murió el 6 de agosto de 2002 después de una
supone que el programa va a hacer, luego se larga lucha contra el cáncer.
aplican transformaciones matemáticas a la
especificación hasta que se transforma en un La siguiente es la traducción al español de su
programa que se pueda ejecutar. El artículo: “On the cruelty of really teaching
programa resultante se determina correcto computing science” - EWD1036, de 1988.
por construcción. Muchos de sus últimos

ACERCA DE LA CRUELDAD DE REALMENTE ENSEÑAR
CIENCIAS DE LA COMPUTACIÓN

Edsger Wybe Dijkstra

Esta charla trata de algunas de las consecuencias científicas y educacionales provenientes de la
idea de que los computadores representan una novedad radical. Para darle contenidos claros a
tal presunción, tenemos que ser mucho más precisos acerca de lo que se quiere decir en este
contexto con el uso del adjetivo "radical". Lo haremos en la primera parte de esta charla, en la
cual vamos a proveer evidencia que respalde esta suposición.

La manera usual con la cual se planifica hoy desafortunado accidente de la historia, y
para el mañana es en el vocabulario de ayer. debemos acercarnos a la novedad radical con
Lo hacemos porque tratamos de avanzar con la mente en blanco, rechazando
los conceptos que nos son familiares, los conscientemente el intento de vincularla con
cuales adquieren un significado en nuestra lo que ya nos es familiar, debido a que lo
experiencia pasada. Por supuesto, las familiar es desesperanzadamente
palabras y los conceptos no encajan inadecuado. Debemos, con una especie de
precisamente porque nuestro futuro difiere personalidad dividida, tomar una novedad
de nuestro pasado, pero las estiramos un radical como algo desasociado por propio
poco. Los lingüistas están bastante derecho. Comprender una novedad radical
familiarizados con el fenómeno en el cual los implica crear y aprender un lenguaje
significados de las palabras evolucionan en el extraño, el cual no puede ser traducido a
tiempo, pero también saben que éste es un nuestra lengua materna -Cualquiera que haya
proceso lento y progresivo. aprendido mecánica cuántica sabe a lo que
me refiero. No hace falta decirlo, ajustarse a
Es el método más común cuando se trata de las novedades radicales no es una actividad
lidiar con la novedad: utilizar metáforas y muy popular, ya que requiere mucho trabajo.
analogías para tratar de vincular lo nuevo Por la misma razón, las novedades radicales
con lo viejo, lo novedoso con lo familiar. En no son por sí mismas bienvenidas.
un proceso suficientemente lento y gradual,
esto funciona razonablemente bien; en el A esta altura, bien se pueden preguntar por
caso de una discontinuidad aguda, sin qué he prestado tanta atención y gastado
embargo, el método colapsa: aunque tanta elocuencia en una noción tan simple y
podemos glorificarlo con el nombre "sentido obvia como una novedad radical. Mi razón es
común", nuestra experiencia pasada ya no es muy simple: las novedades radicales son tan
más relevante, las analogías se tornan muy perturbadoras que tienden a ser suprimidas o
superficiales, y las metáforas se hacen ignoradas, al punto que la mera posibilidad
engañosas en vez de reveladoras. Esta es la de su existencia generalmente se niega antes
situación que caracteriza a la novedad que admitirla.
"radical".
Voy a ser breve en cuanto a la evidencia
Lidiar con una novedad radical requiere un histórica. Carl Friedrich Gauss, el Príncipe de
método ortogonal. Debemos considerar su los Matemáticos -pero algo cobarde-, sin
propio pasado, las experiencias recogidas y duda estaba al tanto del destino de Galileo–
los hábitos formados en él como un y, probablemente, podría haber predicho las
~ 108 ~
acusaciones a Einstein– cuando decidió alternativa al valioso uso del cerebro,
suprimir su descubrimiento de la geometría llamado "hacer matemáticas", alejando así el
no Euclidiana, dejando que Bolyai y peligro de la novedad radical mediante el
Lobatchewsky recibieran las críticas. Es simple método de ajustar sus definiciones a
probablemente más revelador ir un poco más sus necesidades: simplemente por definición,
atrás, a la Edad Media, en la que era las matemáticas continuarán siendo lo que
característico pensar que "razonar mediante solían ser. Demasiado para los matemáticos.
analogías" era descontrolado; otra
Déjenme darles un ejemplo más de la característica era el total estancamiento
desconfianza generalizada acerca de la intelectual, y ahora vemos porque ambas
existencia de las novedades radicales y, por características van juntas.
consiguiente, de la necesidad de aprender
cómo tratar con ellas. Es el accionar Una razón para mencionar esto es resaltar
educacional que prevalece, para el cual el que, si se desarrolla un oído entrenado para
cambio, casi imperceptible, parece ser el las analogías no garantizadas, uno puede
paradigma exclusivo. ¡Cuántos textos detectar gran cantidad de pensamiento
educacionales no son recomendados porque medieval hoy. La otra cosa que no puedo
apelan a la intuición del estudiante! resaltar lo suficiente es que la fracción de la
Constantemente tratan de presentar todo población, para la cual el cambio gradual
aquello que podría ser una emocionante parece ser cualquier cosa menos el único
novedad, como les sea posible, como algo paradigma de la historia, es muy grande,
muy familiar. Conscientemente tratan de probablemente mucho más grande de lo que
vincular el material nuevo con lo que se se esperaría. Ciertamente cuando come