作者
alonzo church 与 stephen c.k.
λ演算,λ(lambda(大写Λ,小写λ)读音:lan b(m) da(兰亩达)['læ;mdə])演算是一套用于研究函数定义、函数应用和递归的形式系统。它由 alonzo church 和 stephen cole kleene 在 20 世纪三十年代引入,church 运用 lambda 演算在 1936 年给出 判定性问题 (entscheidungsproblem) 的一个否定的答案。这种演算可以用来清晰地定义什么是一个可计算函数。关于两个 lambda 演算表达式是否等价的命题无法通过一个通用的算法来解决,这是不可判定性能够证明的头一个问题,甚至还在停机问题之先。
上位词 | 形式系统 |
---|---|
中文名 | λ演算 |
原始名称 | λ演算 |
外文名 | λ-calculus |
朝代 | 20 世纪三十年代 |
精选上位词 | 形式系统 |
精选别名 | 最小的通用程序设计语言 |
绰号 | 最小的通用程序设计语言 |
相关实体 | 谓词演算 |
alonzo church 与 stephen c.k.