A la vista de suficientes ojos, todos los errores resultan evidentes

La innovación requiere ideas nuevas... La educación tiene una responsabilidad frente a la tradición...

Todo lo que nos da nuevos conocimientos nos da la oportunidad de ser más racionales

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