He laid down the mathematical foundations for computer science, and said, "It doesn't matter how you make a computer."
Hij legde de wiskundige grondslagen voor informatica vast en zei: "Het maakt niet uit hoe je een computer bouwt."