Ha gettato le basi matematiche dell'informatica, e ha detto: "Non importa come fate un computer."
Hij legde de wiskundige grondslagen voor informatica vast en zei: "Het maakt niet uit hoe je een computer bouwt."