Quote

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

Change background

T
T
T

Change font

TAGS & TOPICS

Edsger Dijkstra
Age: 72 †
Born: 1930
Born: May 11
Died: 2002
Died: August 5
Computer Scientist
Engineer
Mathematician
Physicist
Scientist
University Teacher
R'dam
Edsger Dijkstra
Edsger Wybe Dijkstra
Dijkstra
EWD
E.W. Dijkstra
Lies
Impossible
Correctness
Lying
Regarding
Hope
Demonstration
Black
Convincing
Long
Regarded
Mechanism
Boxes

More quotes by Edsger Dijkstra

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
Image
If there is one 'scientific' discovery I am proud of, it is the discovery of the habit of writing without publication in mind.
Edsger Dijkstra
Image
When we had no computers, we had no programming problem either. When we had a few computers, we had a mild programming problem. Confronted with machines a million times as powerful, we are faced with a gigantic programming problem.
Edsger Dijkstra
Image
Beauty is our business.
Edsger Dijkstra
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 of their being executed.
Edsger Dijkstra
Image
A most important, but also most elusive, aspect of any tool is its influence on the habits of those who train themselves in its use. If the tool is a programming language this influence is, whether we like it or not, an influence on our thinking habits.... A programming language is a tool that has profound influence on our thinking habits.
Edsger Dijkstra
Image
... as a slow-witted human being I have a very small head and I had better learn to live with it and to respect my limitations and give them full credit, rather than to try to ignore them, for the latter vain effort will be punished by failure.
Edsger Dijkstra
Image
I think of the company advertising Thought Processors or the college pretending that learning BASIC suffices or at least helps, whereas the teaching of BASIC should be rated as a criminal offence: it mutilates the mind beyond recovery.
Edsger Dijkstra
Image
I mean, if 10 years from now, when you are doing something quick and dirty, you suddenly visualize that I am looking over your shoulders and say to yourself Dijkstra would not have liked this, well, that would be enough immortality for me.
Edsger Dijkstra
Image
Simplicity is prerequisite for reliability.
Edsger Dijkstra
Image
APL is a mistake, carried through to perfection.
Edsger Dijkstra
Image
Mentally mutilated potential programmers beyond hope of regeneration.
Edsger Dijkstra
Image
If debugging is the process of removing software bugs, then programming must be the process of putting them in.
Edsger Dijkstra
Image
Elegance is not a dispensable luxury but a factor that decides between success and failure.
Edsger Dijkstra
Image
The effective exploitation of his powers of abstraction must be regarded as one of the most vital activities of a competent programmer.
Edsger Dijkstra
Image
The computing scientist's main challenge is not to get confused by the complexities of his own making.
Edsger Dijkstra
Image
If 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
Image
It is practically impossible to teach good programming to students that have had a prior exposure to BASIC: as potential programmers they are mentally mutilated beyond hope of regeneration.
Edsger Dijkstra
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 be applied to.
Edsger Dijkstra
Image
LISP has jokingly been described as the most intelligent way to misuse a computer. I think that description is a great compliment because it transmits the full flavour of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts.
Edsger Dijkstra