摘要：
1. 丘奇数lambda演算是图灵等价的，用lambda可以模拟自然数，其中最常见的是邱奇数： 0 = λf.λx.x 1 = λf.λx.f x 2 = λf.λx.f (f x) 3 = λf.λx.f (f (f x))简单点说，就是用函数f在x上作用了几次来表示该数字为几。λf.λx.f x作用了一次，所以该数为1；λf.λx.f (f x)作用了两次，所以该数为2,；以此类推。在plang里，lambda的定义完全照搬上面的形式，只做两处修改：1. 参数可以有多个，包含在括号内，比如λf.λx.f x表示成\(f,x).f x 2. 作用次数明写在函数后，比如... 阅读全文
