Can we remove simple errors from math proofs? simple-talk interview source Stephen Johnson is one of the world's top programmers. Top programmers are inherently lazy: they prefer to build tools rat...