谁能解释一下 Church数吗

我在wikipedia上面看了看，只有定义，这个是在SICP上面突然出现的，想了解一下。还是说这个是一个数学理论基础，只需要明白这个名词？

sicp出现丘奇数是为了展现Lisp的code-as-data的能力吧，至于丘奇数在λ演算中的意义还需要大神们解说一二。

是啊，SICP里面突然一个Church数，寥寥几笔，却又勾人思索。。

正整数的Church number很简单.最基本的原理就是小孩子学数学时用的手指法.
什么是1呢,1就是掰了一次手指头,什么是2呢就是掰2次手指头........
加法a+b 呢就是先掰a次手指头，再掰b次手指头
乘法a*b 就是把掰b次手指头这个动作连续做a次

真正困难的是除法和减法,当年就连Church本人都没定义出来....
有兴趣的可以挑战一下.

“数字” 的一种表示。现在你可以用阿拉伯数字来表示。古人用结绳法来表示。Church 在lambda演算里面定义了自己的表示方法。楼主应该仔细的读一读那章开头那段引子。