是变换规则的运用，而非实现它们的具体机器。lambda演算可比拟是最根本的编程语言，它包括了一条变换规则（变数替换）和一条将函式抽象化定义的方式。因此普遍公认是一种更接近软体而非硬体的方式。对函数式编程语言造成很大影响，比如Lisp、ML语言和Haskell语言。在1936年邱奇利用λ演算给出了对于判定性问题（Entscheidungsproblem）的否定：关于两个lambda运算式是否等价的命题，无法由一个「通用的演算法」判断，这是不可判定效能够证明的头一个问题，甚至还在停机问题之先。lambd