Although using totally different mathematics, they were functionally equivalent to lambda calculus in terms of their computational power.
尽管使用完全不同的数学，但就计算能力而言，它们在功能上等同于 lambda 演算。
| 单词 | Lambda calculus |
| 释义 |
Lambda calculus
原声例句
科技 Crash Course Although using totally different mathematics, they were functionally equivalent to lambda calculus in terms of their computational power. 尽管使用完全不同的数学，但就计算能力而言，它们在功能上等同于 lambda 演算。
中文百科
Λ演算zh:zh|λ演算 λ演算（英语：lambda calculus，λ-calculus）是一套用于研究函数定义、函数应用和递归的形式系统。它由阿隆佐·邱奇和他的学生斯蒂芬·科尔·克莱尼在20世纪30年代引入。邱奇运用λ演算在1936年给出判定性问题（Entscheidungsproblem）的一个否定的答案。这种演算可以用来清晰地定义什幺是一个可计算函数。关于两个lambda演算表达式是否等价的命题无法通过一个“通用的算法”来解决，这是不可判定性能够证明的头一个问题，甚至还在停机问题之先。Lambda演算对函数式编程语言有巨大的影响，比如Lisp语言、ML语言和Haskell语言。
英语百科
Lambda calculus Λ演算Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It was first introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。