Knuth proved his code correct.
He knew that trying it doesn't prove the absence of bugs- merely their presence.
Not a member of The Register? Create a new account here.
Remember me on this computer? Post anonymously?