Comments on: Church计数和Lambda演算

By: Church计数和Lambda演算——不用“数”的自然数运算 at typeof.net

Church计数和Lambda演算——不用“数”的自然数运算 at typeof.net — Sun, 08 Aug 2010 09:55:10 +0000

kleene — Thu, 13 May 2010 02:45:31 +0000

但是，关于0的定义，是否应写作：

0:= λ f x. x

而不是

0:= λ f x. f

？

kleene — Thu, 13 May 2010 02:41:01 +0000

写的挺好。

sherlock — Fri, 20 Mar 2009 03:01:34 +0000

我也挺郁闷的。。一直在想，减法怎么做嘞。。。？

shellex — Sat, 01 Nov 2008 14:26:56 +0000

@pf_miles,
谢谢~