Epistemology & Cognition Lab

What is computation? This question may seem, at a first glimpse, trivial and uninteresting. There has already been a long discussion about this subject back in the mid-twentieth century. The discussion produced many extensionally equivalent models of computation, such as Turing machines, lambda calculus, cellular automata, Post machines and recursive functions.