练习2.6 丘奇计数
(define zero (lambda (f) (lambda (x) x ) )) (define (add-1 n ) (lambda (f) (lambda (x) ( f (( n f ) x ) ) ))) 刚看到这个定理的时候确实难以理解,花了一些时间去理解后,确实如题目表述的,如雷灌顶. 平时生活和学习上总是会把01234…定义为’’数字’’,但实际上他们只是一个符号,’’数字’’这个概念本来应该是抽象的,用01234….这些符号来表示目的是使这个抽象概念更加形象,但是使用过多后会...