"Creo firmemente que el potencial impacto de la computadora en las matemáticas en general será tan profundo en el siglo por venir como lo ha sido la influencia de la física en el análisis en el siglo pasado."
Edsger Wybe Dijkstra
"(...) Debo enfatizar esta novedad radical ya que el verdadero creyente en el cambio gradual y las mejoras incrementales no puede verla. Para él, una computadora automática es algo como una familiar caja registradora, sólo que algo más grande, rápida y más flexible. Pero la analogía es ridículamente superficial: es órdenes de magnitud peor que comparar, como un medio de transporte, el avión supersónico con un bebé que gatea, ya que el cociente de velocidad es sólo de mil."
Edsger Wybe Dijkstra
“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.”
Edsger Wybe Dijkstra
"El gran cambio en los lenguajes de programación vino cuando empezamos a dar definiciones formales a la semántica de los conceptos de los lenguajes de programación. Algo que hace falta si se quieren probar cosas sobre los programas escritos en él. Y aún si no se espera conseguirlo de una manera formal, es un ejercicio extremadamente saludable para los diseñadores de lenguajes de programación. La formalización actuó como un sistema de alerta temprana: si la definición formal de una característica se vuelve confusa y complicada, entonces no se debe ignorar esa advertencia."
Edsger Wybe Dijkstra
"El tremendo costo de programación es consecuencia de la mano de obra barata, lo que la vuelve muy costosa, y porque la gente se apresura a codificar. Una de las cosas que la gente aprende en las universidades hoy en día es a pensar primero; lo que vuelve al desarrollo más efectivo en término de costos."
Edsger Wybe Dijkstra
"En el mundo discreto de la computación, no hay métrica significativa en la cual "pequeños" cambios y "pequeños" efectos vayan de la mano, y nunca los habrá."
Edsger Wybe Dijkstra
"En lugar de intentar imitar aquello en lo que somos buenos, pienso que es mucho más fascinante investigar aquello en lo que nos desempeñamos pobremente, es insensato usar máquinas para imitar a los seres humanos, en tanto que las máquinas son realmente buenas siendo máquinas, y esto es algo en lo que los seres humanos somos malos. Cualquier proyecto de inteligencia artificial exitoso castra a la máquina por su propia naturaleza."
Edsger Wybe Dijkstra
"Es imposible afinar un lápiz con una cuchilla desafilada. Es igualmente inútil tratar de hacerlo con diez."
Edsger Wybe Dijkstra
"Es tarea del profesor el motivar a sus estudiantes."
Edsger Wybe Dijkstra
"Evocando la necesidad de profundas jerarquías conceptuales, la computadora automática nos confronta con un radical desafío intelectual que no tiene precedente histórico."
Edsger Wybe Dijkstra
"Hace años me presentaron la satisfacción del cliente como un criterio de calidad y me pareció ridículo. Es algo que se puede conseguir de muchas maneras. Por ejemplo, al no educar a los clientes, diciéndoles que no puede hacerse algo mejor."
Edsger Wybe Dijkstra
"La ciencia de la computación está -y siempre estará- relacionada con la interacción entre la manipulación de símbolos mecanizada y humana, usualmente llamadas "computación" y "programación", respectivamente."
Edsger Wybe Dijkstra
"La Ciencia de la Computación no tiene que ver con las computadoras más que la Astronomía con los telescopios."
Edsger Wybe Dijkstra
"La explotación eficaz de sus capacidades de abstracción debe ser considerada como una de las actividades más vitales de un programador competente."
Edsger Wybe Dijkstra
"La industria no se siente responsable de educar a su gente, porque son extremadamente conservadores con sus productos; y así se pautan las demandas del usuario dentro de la industria."
Edsger Wybe Dijkstra
"La ingeniería de software, por supuesto, se presenta a sí misma como otra causa valiosa, pero es un colirio: si lee cuidadosamente su literatura y analiza lo que realmente hacen quienes se avocan a ella, descubrirá que la ingeniería de software ha adoptado como su estatuto "Cómo programar si usted no puede"."
Edsger Wybe Dijkstra
"La satisfacción del usuario no es un criterio de calidad para un producto de la computación."
Edsger Wybe Dijkstra
"La tarea del programador no es sólo escribir un programa, sino que su tarea principal es dar una prueba formal de que el programa que propone cumple la especificación funcional."
Edsger Wybe Dijkstra
"Las universidades no deberían temer a enseñar novedades radicales; por el contrario, es su llamado dar la bienvenida a la oportunidad de hacerlo. Su disposición a hacerlo es nuestra principal salvaguarda contra las dictaduras, sean del proletariado, del establishment académico, o de la élite corporativa."
Edsger Wybe Dijkstra
"¿Le damos rencorosamente a las ciencias abstractas solo un rincón lejano en el campus, o las reconocemos como el motor indispensable de la industria de alta tecnología? Aún si hacemos esto último, ¿Reconocemos una industria de alta tecnología como tal si su tecnología pertenece principalmente a las matemáticas formales? ¿Proveen las universidades a la sociedad el liderazgo intelectual que necesita o sólo el entrenamiento que demanda?"
Edsger Wybe Dijkstra
"Los programas de pruebas pueden ser una forma eficaz de encontrar errores, pero es completamente inadecuada para demostrar su ausencia."
Edsger Wybe Dijkstra
"¿Qué es un programa? Varias respuestas son posibles. Podemos ver a un programa como lo que transforma una computadora de propósito general en un manipulador de símbolos de propósito específico, y lo hace sin necesidad de cambiar un solo cable (Esto fue una enorme mejora respecto de las máquinas con paneles de cables dependientes del problema). Prefiero describirlo de la otra manera: un programa es un manipulador de símbolos abstracto, que puede convertirse en uno concreto suministrándole una computadora. Después de todo, el propósito de los programas ya no es más instruir a nuestras máquinas; en estos días, el propósito de las máquinas es ejecutar nuestros programas."
Edsger Wybe Dijkstra
"¿Qué implica ser una institución destacada? Lo que más hace falta es: que un par de buenas universidades cuenten con sólidos y anticuados departamentos de ciencias de la computación."
Edsger Wybe Dijkstra
"Si deseamos contar líneas de código, no deberíamos verlas como "líneas producidas", sino como "líneas gastadas": el sentido común actual es tan tonto como contabilizar esa cuenta del lado erróneo del balance."
Edsger Wybe Dijkstra
"Si la depuración es el proceso de eliminar errores, entonces la programación debe ser el proceso de introducirlos."
Edsger Wybe Dijkstra
"(...) Un beneficio posterior es que nos da una clara indicación acerca de dónde ubicar la ciencia de la computación en el mapa de las disciplinas intelectuales: en la dirección de la matemática formal y la lógica aplicada, pero finalmente mucho más allá de donde se encuentra actualmente, dado que la ciencia de la computación se interesa en el uso efectivo de los métodos formales en una escala mucho, mucho mayor de la que hemos sido testigos hasta ahora."
Edsger Wybe Dijkstra
"Un lenguaje de programación, con su sintaxis formal y las reglas de demostración que define su semántica, es un sistema formal para el cual la ejecución del programa provee solamente un modelo."
Edsger Wybe Dijkstra
"Una de las cosas que debe hacer un científico de la computación es distinguir entre los problemas específicos de la ciencia de la computación y el uso de las computadoras en la sociedad."
Edsger Wybe Dijkstra
"Una enorme cantidad del tiempo del usuario se pierde en figurarse lo que el programa hace y cómo controlarlo. Es la consecuencia de dos tipos de acontecimiento: Primero que nada que los diseñadores han fallado en mantener tan simple como se pueda la interface del sistema, lo que es un desafío; pero tan pronto se da cuenta uno de que el mayor desafío en las ciencias de la computación es como no perderse en las complejidades de su propia ficción, se vuelve claro que ésta es una tarea de importancia."
Edsger Wybe Dijkstra