"The great mathematician and founding figure of computer science, Alan Turing, showed that it is impossible to eliminate all errors from software."
Oh? I thought he only proved that it's impossible for an algorithm to determine whether an arbitrary program will halt -- not whether all errors can be eliminated from software.