因为程序中有很多的递归的数据，现实中递归的问题，甚至数学中也有很多递归定义
文章通过scheme去解释递归。这语言通过几个基本的元素（atom, s-expression, add1,sub1==）构建起了整个语言，不得不想起数学从公里到定理，多像。
从开篇都是在用递归+基本元素实现各种在其他语言中需要作为语法元素的函数（想不出好的名字来），然后用严谨的方式证明了递归在scheme中的可行性（这个很精彩，难怪有人说lisp的经典是因为它是数学），最后提出了一个简单的scheme的解释器，或者说计算机就是这么来理解程序的
文章给出了递归的定义，在程序中的抽象，证明了程序中抽象的可行性