Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: