λ演算(Lambda Calculus)入门基础(二):丘奇编码(Church Encoding...

我们已经知道丘奇数 n ≡ λf.λx.f n x 意为将 f 应用于 x 上 n 次，那么根据加法的性质，要计算丘奇数 m 和 n 的和，就可以将函数应用于 n 上 m 次( m f n -> m f (n f x) )，即 事实上后继函数 S 作为 +1 在lambda演算中的映射，也就是经过归约后的 PLU...

[企业回答]