哥德尔定理的另一面：加法乘法足以让数学图灵完备

jessi_cata · x · 2026-10-17

作者指出哥德尔不完备定理除了揭示希尔伯特形式化纲领（以及计算机数学）的局限，还有常被忽略的另一面：它说明数学极易达到图灵完备。

具体论证：如果一个理论 T 具有可递归枚举（r.e.）的公理集，且 T ⊢ φ，那么皮亚诺算术 PA 就能证明「T ⊢ φ」这一可证明性陈述。也就是说，仅凭加法和乘法就足以让形式系统表达任意计算——这也是各类「可证明性逻辑」与程序验证工具的理论根基。