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.

Más de Edsger Dijkstra

• Es prácticamente imposible enseñar programación correctamente a estudiantes que han estado expuestos al lenguaje BASIC con anterioridad. Como potenciales programadores, tienen la mente mutilada sin esperanza alguna de regeneración.

• La ciencia de la computación no trata sobre las computadoras más de lo que la astronomía trata sobre los telescopios.

• La pregunta de si un computador puede pensar no es más interesante que la pregunta de si un submarino puede nadar.

• No es tarea de la Universidad ofrecer lo que la sociedad le pide, sino lo que la sociedad necesita.