Edsger Wybe Dijkstra war ein niederländischer Informatiker. Er war der Wegbereiter der strukturierten Programmierung. 1972 erhielt er den Turing Award für grundlegende Beiträge zur Entwicklung von Programmiersprachen. Wikipedia
„Durch Testen kann man stets nur die Anwesenheit, nie aber die Abwesenheit von Fehlern beweisen.“
Original: (en) Program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence.
Quelle: The Humble Programmer, ACM Turing Lecture 1972
Original: (en) As long as there were no machines, programming was no problem at all; when we had a few weak computers, programming became a mild problem, and now we have gigantic computers, programming had become an equally gigantic problem. In this sense the electronic industry has not solved a single problem, it has only created them
Quelle: The Humble Programmer, ACM Turing Lecture 1972
Original: (en) Besides a mathematical inclination, an exceptionally good mastery of one's native tongue is the most vital asset of a competent programmer.
Quelle: How do we tell truths that might hurt?, 1975
Original: (en) 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.
Quelle: How do we tell truths that might hurt? 18. Juni 1975
Original: (en) If you want more effective programmers, you will discover that they should not waste their time debugging, they should not introduce the bugs to start with.
Quelle: The Humble Programmer, 1972
The Humble Programmer, 1972
Original: (en) LISP has been jokingly described as "the most intelligent way to misuse a computer". I think that description a great compliment because it transmits the full flavor of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts
Refering to his conclusion to the Barber paradox or Russell's paradox.
Dijkstra (1985) Where is Russell's paradox? http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD923a.html (EWD 923A).
1980s
Dijkstra, "On the reliability of programs" https://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD303.html (EWD 303).
Unknown date
Dijkstra (1996) "The next fifty years" https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1243a.html (EWD 1243a).
1990s
discovery of which aspects can be meaningfully 'studied in isolation for the sake of their own consistency.
Dijkstra (1982) as cited in: Douglas Schuler, Douglas Schuler Jonathan Jacky (1989) Directions and Implications of Advanced Computing, 1987. Vol 1, p. 84.
1980s
“LISP has been jokingly described as "the most intelligent way to misuse a computer."”
I think that description a great compliment because it transmits the full flavor of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts.
1970s, The Humble Programmer (1972)
you must not fall into the trap of rejecting a surgical technique because it is beyond the capabilities of the barber in his shop around the corner.
Dijkstra (1975) Comments at a Symposium http://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD512.html (EWD 512).
1970s
Dijkstra (1976-79) On the foolishness of "natural language programming" https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html (EWD 667)
1970s
