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
It is a mistake to think that programmers wares are programs. Programmers have to produce trustworthy solutions and present it in the form of cogent arguments. Programs source code is just the accompanying material to which these arguments are to… — 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)
