Sorry for being pedantic, because the main thrust of your post is correct, but it is possible to write bug-free code. In 2009, the University of New South Wales took 30 man years to mathematically prove that 7,500 lines of code was bug-free. This, of course, is irrelevant to the issue of the...