主要观点：Lambda 演算与图灵机具有相同运算能力，且能通过一系列规则和定义从“虚无”生成世界万物，包括自然数定义、算术运算和逻辑运算等。
关键信息：

• Lambda 演算由变量、符号和括号组构成，有特定的记号法，如函数抽象、函数应用等。
• 存在自由变量和约束变量，可通过相关定义进行计算。
• 有归约方法，如α变换（符号替换）、β归约（函数应用）、η变换（外延性）。
• 自然数定义为(0 := λ f x. f)，(1 := λ f x. f x)等，通过(INC)和(PLUS)等过程可进行自然数相关运算，如(PLUS 2 3 = f (f (f (f (f x)))) = 5)。
  重要细节：
• 在λ表达式中，名字本身不重要，α变换只在当前域有效。
• 函数应用采用左结合，(λ)表达式在记法上使用贪婪扩展。
• 对表达式进行替换时要注意变量的约束情况，如((λx. y)[y:=x])需先进行α变换。
• 通过定义的各种过程可以实现其他算术运算和逻辑运算。