周昌乐：从哥德尔定理看禅宗的元逻辑

Ysu2008

Ysu2008

据说禅宗与悖论有深刻联系，见 elim 先生开帖谈悖论，故而转来想听听诸位高论。

elim

哥德尔定理是对包含 PA 的形式系统，形式语言而言的。定理简单说来就是系统提出的命题的能力超过了它能够证明命题的能力。哥德尔定理对包含PA的形式系统是否存在悖论或者是否不协调没有作出任何论断。目前, 基于ZFC的数学尚未发现悖论，换句话说，目前的数学基础解决了所有已知悖论。

这当然不等于说，现行数学已经被证明是协调(自洽)的。

另一方面，禅宗始终使用自然语言，语义的含糊性，多义性，反合性随处可见。所以我觉得无论如何，禅宗的智慧对理解形式系统的帮助不会太大。

哥德尔定理的哲学意义很简单：即使在最纯粹的思辨环境，人的所知相比未知还是少的可怜。