前段时间读 《SICP》 的时候被 lambda 重新定义的皮亚诺公理惊艳到了。
lambda表示皮亚诺公理：
最早接触数学归纳法大概i是在初中时，那时并不懂得什么叫数学，什么叫归纳，感觉这个方法的使用和命名都颇为莫名其妙。
归纳，是通过根据已有的，通过观察的来的规律，总结出一个通用规则。数学归纳，就是用严格的
推演，证明
让一个推测可被证明。
lambda表示数学归纳法：
数学归纳法和递归颇为相似。我们对第n个命题求结果，有数学归纳法的定义这个取决于n-1个命题（n-1成立时，n成立），一层层直到第一个命题，也就是n=1时命题成立。此处为尾递归。
通过归纳之后，我们不仅
lambda：
归纳法相比直接通过工程学方法去证明在直观感受上更加不直观，颇有种“流氓有文化“的感觉。工程学所带来的”直观感受”有是如何得来的？（比如？）
其实工程学的任何推导都是归纳的一部分，lambda层层“递归“最终可以实现任何计算模型可实现的功能。递归的最底层只有三条命题。
数学，数字是从现实中抽象化得来，随着发展，很多数学概念很难直接推演到。