第22章：自指与涌现——当推理系统开始推理关于自身

文档摘要

第22章：自指与涌现——当推理系统开始推理关于自身 Curry-Howard 对应告诉我们：证明即程序。那么，程序在证明什么？第21章的最后一段，把我们带到了这里：一个足够强的推断系统，开始包含关于自身的命题。这个时刻，第15章的哥德尔结构重新出现。但第22章不是第15章的重复。哥德尔说的是边界——你触及不到的那些真命题。第22章要说的是开口——在这个边界附近，新的东西在涌现。下卷走到这里，九章的逻辑演绎，可以俯瞰的地方已经足够高。这是最后一章，也是最诚实的一章：有些问题，我们只能陈述，无法解决。 22.1 Curry-Howard：证明即程序第14章建立了形式系统：命题、推断规则、证明。