In other words you're missing the plain meaning of the sections that I quoted because you try to consider it in the light of http://www.cs.utexas.edu/users/EWD/

In other words you're missing the plain meaning of the sections that I quoted because you try to consider it in the light of http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EW.. http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EW.... which was written a decade and a half later? This clearly shows you haven't actually studied his writings, because he has been raising the same points for many years in almost every EWD, OP is EWD340, so here is a sample from before this period: http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD302.html http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EW... http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD303.html http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EW... http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD317.html http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EW... For example from EWD317: If we take the existence of the impressive body of Mathematics as the experimental evidence for the opinion that for the human mind the mathematical method is indeed the most effective way to come to grips with complexity, we have no choice any longer: we should reshape our field of programming in such a way that the mathematician's methods become equally applicable to our programming problems, for there are no other means. It is my personal hope and expectation that in the years to come programming will become more and more an activity of mathematical nature. For a programming language to be simple in the sense of being able to prove things is a completely different thing than for it to be simple in the sense of being easy to understand informally. Yes, bastardized versions of his ideas did make it into the mainstream, I doubt it's always even because of his direct influence and that's what the wiki article I posted three comments earlier is about.