When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in a convincing manner, then the above remarks have a profound influence on the programmer's activity:… — Edsger Dijkstra Copy Share Image
A convincing demonstration of correctness being impossible as long as the mechanism is regarded as a black box, our only hope lies in not regarding the mechanism as a black box. — Edsger Dijkstra Copy Share Image
Production speed is severely slowed down if one works with half-time people who have other obligations as well. This is at least a factor… — Edsger Dijkstra Copy Share Image
The computing scientist's main challenge is not to get confused by the complexities of his own making. — Edsger Dijkstra Copy Share Image
Probably I am very naive, but I also think I prefer to remain so, at least for the time being and perhaps for the… — Edsger Dijkstra Copy Share Image
In the good old days physicists repeated each other's experiments, just to be sure. Today they stick to FORTRAN, so that they can share… — Edsger Dijkstra Copy Share Image
Don't compete with me: firstly, I have more experience, and secondly, I have chosen the weapons. — Edsger Dijkstra Copy Share Image
Computer science is no more about computers than astronomy is about telescopes. — Edsger Dijkstra Copy Share Image
The use of anthropomorphic terminology forces you linguistically to adopt an operational view. And it makes it practically impossible to argue about programs independently… — Edsger Dijkstra Copy Share Image
Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding. — Edsger Dijkstra Copy Share Image
Please don't fall into the trap of believing that I am terribly dogmatical about [the goto statement]. I have the uncomfortable feeling that others… — Edsger Dijkstra Copy Share Image
Several people have told me that my inability to suffer fools gladly is one of my main weaknesses. — Edsger Dijkstra Copy Share Image
![“Please don't fall into the trap of believing that I am terribly dogmatical about [the goto statement]. I have the uncomfortable feeling that others are making a religion out of it, as if the conceptual problems of programming could be solved by a single trick, by a simple form of coding discipline!” quote by Edsger Dijkstra](https://sms4smile.com/quotes/img-quotes/6ad/edsger-dijkstra-5102_believe_please-don-t-fall-into-the-trap-of-belie_167695.jpg)
