丘奇计数与“数”的本质 学习SICP有一段时间了，对Lambda表达式以及过程为参数等特性的强大并没有概念，直到看到习题2.6中提到的丘奇计数（Church counting），才有种脑洞大开，恍然大悟的赶脚，便迫不及待的和大家分享一下——尼玛，原来“数”还可以这样玩！ 首先，题目抛砖引玉，丢出了两个定义，一个是0的定义：   (define zero(lambda (f)(lambda (x)

什么是算法？算法就是图灵机 3.1 图灵机 图灵机用一个无限长的带子作为无限存储，它有一个读写头，能在带子上读、写和左右移动。图灵机开始运作时，带子上只有输入串，其他地方都是空的，如果需要保存信息，它可将这个信息写在带子上。为了读已经写下的信息，它可将读写头往回移动到这个信息所在的位置。机器不停地计算，直到产生输出为止。机器预置了接收和拒绝两种状态，如果进入这两种状态，就产生接收（accept