He laid down the mathematical foundations for computer science, and said, "It doesn't matter how you make a computer."
Criou as fundações matemáticas para a ciência da informática e disse: "Não interessa como se faz um computador."