section_heading: Matematički rad
paragraph_text: Lambda račun je iznikao u njegovom poznatom radu iz 1936. koji je pokazao postojanje "neodlučivih problema". Ovaj je rezultat prethodio poznati rad Alana Turinga na problemu zaustavljanja, koji je također demonstrirao postojanje problema nerješivih mehaničkim sredstvima. On i Turing su potom pokazali da su lambda račun i Turingov stroj korišten u Turingovom problemu zaustavljanja ustvari istovjetni u sposobnostima, te naknadno demonstrirali raznolikost alternativnih "mehaničkih procesa za računanje." Ovo je rezultiralo u Church-Turingovoj tezi.