8 ms·

I don't think Turing knew about the existence of the lambda calculus when he wrote the paper. It was later that he decided to study his PhD under Church and mov

I don't think Turing knew about the existence of the lambda calculus when he wrote the paper. It was later that he decided to study his PhD under Church and move to Princeton.

samwho 2y ago
This is correct, they were independent works. It’s spoken about in “The Annotated Turing” by Charles Petzold.