4 ms·

You can flip this around though. If the math and theory wasn't relevant to real world computers, we wouldn't consider it part of computer science. It's just be

• Twisol 5y ago
  Yes, but the definition of "computer" in this context is much more expansive than the hunks of silicon we're using to converse right now. The Turing machine was meant to capture the basic set of actions any human could in principle perform, made amenable for formal inquiry and algorithmic specification. In particular, the computer programs we typically develop are designed to automate some process that a human would have otherwise done. We can study those processes -- and spaces of such processes -- independently of the executive agent that ultimately performs those processes.