Based on the Church Turing Thesis, we conjecture that Turing Machines are the "correct," model of computation. It is well known that they are equivalent to the Lambda Calculus, another model of computation. Based on Why do we believe the Church-Turing Thesis? and other questions on this site, it seems clear that the equivalence between TMs and LC is well known. However, I have not been able to find an answer better than "Show LC is equivalent to the \mu-recursive functions." I'm looking for a proof of this equivalence. A more in depth sketch than "Use \mu-recursive functions," or a link to a paper/article would be appreciated. Thanks.
Asked
Active
Viewed 692 times
