He laid down the mathematical foundations for computer science, and said, "It doesn't matter how you make a computer."
Ha gettato le basi matematiche dell'informatica, e ha detto: "Non importa come fate un computer."