Bagaman ang pagpapatunay ni Turing ay inilimbag pagkatapos ng parehong pagpapatunay na ginawa ng matematikong si Alonzo Church tungkol sa kanyang kalkulong lambda , walang kaalaman si Turing sa isinulat ni Alonzo Church.
