Su cita más célebre, al enviarle sus comentarios a un colega autor de un algoritmo, es: «"Cuidado con los errores en el código anterior; sólo he demostrado que es correcto, no lo he probado»".