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 ja Turing näitasid seejärel, et lambdaarvutus ja Turingi masin, mida kasutati Turingi peatumisülesande jaoks, olid oma rakenduste poolest samaväärsed ning näitasid lisaks mitmeid alternatiive "komputatsiooni mehaanilise protsesside jaoks."