Tag Archives: dijkstra

The source of error (updated)

Here’s Edsger Dijkstra discussing the birth of the use of axiomatics in computer science – the start of “formal methods” research.  What’s striking is the assumed choice between “axiomatic” and “mechanistic” as if there was no other way. In a later note he writes: And now we are back at our old dilemma. Either we [...]

Updated Dijkstra vs Perlis (really, DeMillo)

See below. Bookmark on Delicious Digg this post Recommend on Facebook Share on Linkedin share via Reddit Tweet about it Subscribe to the comments on this post

Dijkstra versus Perlis (updated)

Here’s Dijkstra He [Perlis] published a very obnoxious paper arguing against a mathematical approach to programming cite Here’s the paper by De Millo, Lipton and Perlis. It starts as follows: Many people have argued that computer programming should strive to become more like mathematics. Maybe so, but not in the way they seem to think. [...]