He laid down the mathematical foundations for computer science, and said, "It doesn't matter how you make a computer."
Er legte die mathematischen Grundlagen für Informatik und meinte: "Es spielt keine Rolle,  wie man einen Computer baut."