Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation."
Church și Turing au demonstrat apoi că calculul lambda și mașina Turing utilizată în problema opririi a lui Turing sunt echivalente în capabilități, și, ulterior, a demonstrat o varietate de „procese mecanice de calcul” alternative. Acest lucru a dus la teza Church–Turing.