Turing was interested in mechanical manipulation. The church turning thesis showed that he neededn't have bothered since lambda calculus, a term rewriting syste

Turing was interested in mechanical manipulation. The church turning thesis showed that he neededn't have bothered since lambda calculus, a term rewriting system, is equivalent to a Turing machine and dozens of other methods of effective computation. You can pick which ever is the most aesthetically pleasing.