@morganastra @claire both alan turing and alonzo church (inventor of the lambda calculus) were working independently on hilbert's Entscheidungsproblem -- the lambda calculus, along with the turing machine, were used in constructive proofs of the problem's impossibility