@claire yeah, it's an abstraction for reasoning about computation that is decoupled from physical machine operations (contrast with the Turing machine)
@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
math Afficher plus
@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