Skip to main content
Post Made Community Wiki by Kim Morrison
Source Link

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.