Okay, now that I've swapped insults with Frans (in fairness, I started it) I think I should explain my position on provability more carefully.  Some context: I'm a mathematician by background, I came to computing relatively late, and am extremely aware of the gap between the two disciplines.  Let's be clear, I actually agree with a fair amount of what Frans said in the original article.  I'm certainly not advocating a plough-in "RAD" approach to development, I just think that the concept of proof in computing isn't particularly useful.  The Importance of Algorithms Let me start with sorting. ...