src与图灵机具有相同的运算能力还不够伟大？那么 Lambda 演算可以做到“虚无生两极，两极生四象，四象生八卦”，感谢 Church，我们最终获得世界万物。Lambda 演算，也称为λ-演算，是一个形式定义系统去，我们用它研究函数定义、实现、递归，也是函数语言的计算模型。