He laid down the mathematical foundations for computer science, and said, "It doesn't matter how you make a computer."
Stanovil matematické základy počítačové vědy a prohlásil: "Nezáleží na tom, jak počítač vyrobíte."