概念λ演算 / Lambda Calculus
Lambda演算
Lambda演算是由逻辑学家Alonzo Church于1930年代提出的形式系统，用纯数学函数描述计算过程，与图灵机在计算能力上等价，是函数式编程语言的理论基础
时间轴 (近 90 天)
9月11日
Lambda演算由Alonzo Church在1930年代提出，与图灵机在计算能力上等价
待验证50%
9月8日
Lambda演算证明了仅需函数定义和函数应用就能实现所有可计算功能
待验证50%
Lambda演算是由逻辑学家Alonzo Church于1930年代提出的形式系统，用纯数学函数描述计算过程，与图灵机在计算能力上等价，是函数式编程语言的理论基础
Lambda演算由Alonzo Church在1930年代提出，与图灵机在计算能力上等价
Lambda演算证明了仅需函数定义和函数应用就能实现所有可计算功能