He laid down the mathematical foundations for computer science, and said, "It doesn't matter how you make a computer."
Sentó las bases de las matemáticas para las ciencias de la computación y dijo: «La manera de hacer un computador no es lo importante».