Hij legde de wiskundige grondslagen voor informatica vast en zei: "Het maakt niet uit hoe je een computer bouwt."
A pus bazele matematice pentru ştiinţa computerelor zicând: "Nu contează cum faci un computer."