John 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 DijkstraDon't compete with me: firstly, I have more experience, and secondly, I have chosen the weapons.
Edsger DijkstraThe question of whether computers can think is like the question of whether submarines can swim.
Edsger DijkstraIt 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 be applied to.
Edsger Dijkstra