λ的规则学

λ（lambda）是阿隆佐·丘奇在1930年代提出的纯计算概念，代表纯函数并用于计算。

λ表达式通过β约简进行计算，涉及变量命名和替换。

λ在计算中具有重要意义，能够表示整数和其他函数。

评估过程和策略影响计算结果，可能出现终止或非终止情况。

λ表达式在Wolfram语言中被称为Function。

λ表达式可以通过函数应用来定义，表示纯函数的结构。

可以用λ表示整数，称为“丘奇数”。

β约简是λ的核心操作，将参数注入λ的主体中。

在进行β约简时，可能需要进行变量重命名（α转换）。

λ表达式的评估过程可能导致复杂的行为和结构。

λ的多种写法和表示方法使其在可读性上存在挑战。

使用de Bruijn索引可以简化λ表达式的表示，但可读性仍然较低。

λ可以表示各种数值函数，包括阶乘和更高的超运算。

λ的评估过程可能是复杂的，涉及多个β约简步骤。

λ的非终止性问题是一个经典的计算不可判定性问题。

通过构造特定的λ，可以证明某些λ的非终止性是不可判定的。

λ的计算能力与组合子有密切关系，且在某些情况下更易于处理。

λ的多路径图展示了不同的评估路径和结果，体现了λ的结合性和一致性。