“Can computing science save the computer industry?”, E. W. Dijkstra, 1985

“The prime paradigma of the pragmatic designer is known as “poor man’s induction”, i.e. he believes in his design as long as “it works”, i.e. until faced with evidence to the contrary. (He will then “fix the design”.) The scientific designer, however, believes in his design because he understands why it will work under all circumstances. The transition from pragmatic to scientific design would indeed be a drastic change within the computer industry.”

https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD920.PDF

https://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD920.html