从自然主义的角度看形式主义与不完全性定理.pptVIP

从自然主义的角度看形式主义与不完全性定理 叶峰 （北京大学哲学系） yefeng@ /cllc/people/fengye/index.html 从自然主义的角度看形式主义与不完全性定理 本文从自然主义的角度分析希尔伯特方案与哥德尔不完全性定理的意义，说明一种对希尔伯特方案的修改还是可以达到希尔伯特的数学哲学的基本目的而不受第二不完全性定理的影响，并说明第一不完全性定理为什么并不能支持数学实在论。 从自然主义的角度看形式主义与不完全性定理 1、引言 从自然主义的角度看形式主义与不完全性定理1、引言 用可靠的、本身是无可置疑的数学方法，非常严格地证明，使用经典数学可以帮助我们得出关于现实世界中的有限具体事物的真理。 1931年哥德尔发现并证明了第二不完全性定理，从而致命地打击了希尔伯特方案。 从自然主义的角度看形式主义与不完全性定理1、引言 存在的就是这个物质宇宙中的事物，除此之外别无它物；不存在所谓抽象数学对象，尤其是没有所谓无穷的对象，甚至没有潜无穷。 在人类的数学实践中，真正存在的是有限的人类大脑中的数学构造与推理活动，还有大脑与环境中的物质性的事物之间的相互作用。 是唯名论的、物理主义（即唯物主义）的数学哲学。 从自然主义的角度看形式主义与不完全性定理1、引言 说明希尔伯特方案的技术性策略不能成功是由于它有一个过高的期望，即期望一揽子地证明整个经典数学的可应用性；如果我们可以作更细致的逻辑分析工作来分析那些实际应用中的经典数学，那么还是可以在严格的有穷主义的基础上，从逻辑上解释经典数学的可应用性。 说明哥德尔的第一不完全性定理不能蕴涵实在论，也不与自然主义数学哲学相冲突。 从自然主义的角度看形式主义与不完全性定理 2、对希尔伯特方案的一种表述 从自然主义的角度看形式主义与不完全性定理2、对希尔伯特方案的一种表述 PRA：无量词的原始递归算术，即有穷主义 T：某个经典数学系统PA、ZFC等 ProofT(y, x)：T的证明谓词在PRA的语言中的表示 #(?)：公式?的编码在PRA的语言中对应的项 ProofT(y, #(?)) ? ?： T的保守性 0= S0：一个矛盾公式 ?ProofT(y, #(0= S0))： T的一致性 从自然主义的角度看形式主义与不完全性定理2、对希尔伯特方案的一种表述 在有穷主义系统PRA中证明经典数学系统T相对于有穷主义PRA的保守性：对PRA的公式?， PRA|? ProofT(y, #(?)) ? ? 由第二不完全性定理可知这个不成立。 从自然主义的角度看形式主义与不完全性定理2、对希尔伯特方案的一种表述 在有穷主义系统PRA中证明经典数学系统T的一致性： PRA|? ? ProofT(y, #(0= S0)) 由第二不完全性定理可知这个不成立。 从自然主义的角度看形式主义与不完全性定理2、对希尔伯特方案的一种表述 不受不完全性定理的影响的一个结论： PRA|? ? ProofT(f(n, y), #(0= S0)) ? (ProofT(y, #(?)) ? ?) n：从?构造出的一个数字 f：一个固定的原始递归函数在PRA的语言中的表示 假设在T中证明了PRA的语句?，因此有一个自然数m使得ProofT(m, #(?))，只要有任何其它理由相信f(n, m)不会是从T中推导出矛盾公式0= S0的证明的编码，在有穷主义数学内部，这个理由也就成为相信?的理由。 从自然主义的角度看形式主义与不完全性定理 3、自然主义对希尔伯特方案 与第二不完全性定理的解释 从自然主义的角度看形式主义与不完全性定理3、对希尔伯特方案与不完全性定理的解释 我们对集合论ZFC等经典数学理论的一致性的信念是一种归纳的信念。 希尔伯特方案所要做的是将对经典数学系统的一致性的归纳信念，逻辑地归约为对有穷主义系统PRA的一致性的归纳的信念，我们对后者的信念度相对来说更高一些。 从自然主义的角度看形式主义与不完全性定理3、对希尔伯特方案与不完全性定理的解释 系统PA或ZFC等包含了较复杂的推理模式或公理；对于它们的一致性的信念是对较复杂的现象中的规律性的归纳信念 。 不能被规约为对一类更简单的现象（即更简单的系统中的推理）中的规律性的归纳信念 。 从自然主义的角度看形式主义与不完全性定理 4、自然主义对希尔伯特方案的修改 从自然主义的角度看形式主义与不完全性定理4、对希尔伯特方案的修改 科学只是对宏观和微观上有限的事物的描述，经典数学中的无穷在应用中都是近似地模拟有限离散的事物。 如果在一类数学应用中无穷可以被消除，那么那一类经典数学的应用可以被归约为有穷主义数学的应用。 从自然