I would therefore like to posit that computing's central challenge, how not to make a mess of it, has not yet been met.
Edsger DijkstraThe use of anthropomorphic terminology forces you linguistically to adopt an operational view. And it makes it practically impossible to argue about programs independently of their being executed.
Edsger DijkstraJohn von Neumann draws attention to what seemed to him a contrast. He remarked that for simple mechanisms, it is often easier to describe how they work than what they do, while for more complicated mechanisms, it is usually the other way around.
Edsger DijkstraIt used to be the program's purpose to instruct our computers; it became the computer's purpose to execute our programs.
Edsger DijkstraIf in physics there's something you don't understand, you can always hide behind the uncharted depths of nature. You can always blame God. You didn't make it so complex yourself. But if your program doesn't work, there is no one to hide behind. You cannot hide behind an obstinate nature. If it doesn't work, you've messed up.
Edsger Dijkstra