原始递归函数,lambda,图灵

原始递归函数,lambda,图灵
在可计算性理论中，原始递归函数对计算的完全的形式化而言是形成重要构造板块的一类函数。

它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们完全是可计算函数。

通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛
的类。

艾伦·麦席森·图灵，英国数学家、逻辑学家，被称为计算机科学之父，人工智能之父。

图灵对于人工智能的发展有诸多贡献，提出了一种用于判定机器是否具有智能的试验方法，即图灵试验，每年都有试验的比赛。

此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

lambda演算子可以说是世界上最小的通用编程语言。

lambda演
算子由一个单一转换规则(变量替换，通常被叫做β-conversion，β变换)和一个单一函数定义系统构成。

lambda演算子是通用的，是因为任意可计算函数可以使用此形式表达和求值。

因此它等价于图灵机。