集异壁第九章——禅宗与数论

本章作为整本书上半部分的总结意图告诉我们一个道理,以便于我们更好的理解哥德尔不完备定理,即通过哥德尔配数和哥德尔同构,所有的形式系统都可以转化为数论,但是不存在能够包含所有定理的数论系统。

本章的前半部分,作者试图通过禅宗的公案解释何为禅宗。所谓禅宗,就是混乱,非二元性的,反哲学的,摒弃思维的存在方式。禅宗认为通往真理之路(顿悟),充满了悖论,其实顿悟本身也是一个悖论,是无。从前面的章节可以看出,不管在逻辑上多么的严谨,总会有一个元定理站在更高处打破这种状态,让原来的陈述变得平凡,所以,预期苦苦追寻可望而不可及的完美逻辑,为何不让逻辑变得更糟糕呢?这就是我对禅宗的理解。

理解禅宗的意义是,禅宗知道自己的局限性,不管禅宗建立了多么强大的形式系统,它终归是宇宙的一个子系统,而这个子系统会被更大的子系统覆盖,变得模糊。数学家们也是,他们知道形式化推理的不完备,却不知道这之外还有什么行之有效的推理形式,数学家建立的形式化系统的元系统是什么?在形式化系统内无法得到解答。

本章后半部分主要是将前面章节提到的形式系统“哥德尔化”的内容。哥德尔发现了一种特殊的同构能将任何形式系统嵌入数论中,这就是哥德尔数,而这个系统的规则我们称为哥德尔同构。WJU,pq,TNT都可以哥德尔化,只不过复杂程度不同。通过判断一个数是不是此形式系统的哥德尔数,我们就能知道,这个数的“反哥德尔同构”描述是不是此形式系统的定理,这就是哥德尔伟大之处。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。