Turing machines, recursive functions, the lambda calculus, cellular automata, register machines all seem to compute the same things but there's no overall definition of "computation". The idea that there is such a thing as "computation" derives from the agreement of these apparently disparate definitions.
Brent Meeker
- 111
- 1