He laid down the mathematical foundations for computer science, and said, "It doesn't matter how you make a computer."
Han fastlagde de matematiske grundpiller for computer videnskaben, og sagde, "Det er lige meget hvordan man laver en computer."