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

从自然主义的角度看形式主义与不完全性定理 叶峰 （北京大学哲学系） yefeng@ /cllc/people/fengye/index.html 从自然主义的角度看形式主义与不完全性定理 本文从自然主义的角度分析希尔伯特方案与哥德尔不完全性定理的意义，说明一种对希尔伯特方案的修改还是可以达到希尔伯特的数学哲学的基本目的而不受第二不完全性定理的影响，并说明第一不完全性定理为什么并不能支持数学实在论。 从自然主义的角度看形式主义与不完全性定理 1、引言 从自然主义的角度看形式主义与不完全性定理1、引言 用可靠的、本身是无可置疑的数学方法，非常严格地证明，使用经典数学可以帮助我们得出关于现实世界中的有限具体事物的真理。 1931年哥德尔发现并证明了第二不完全性定理，从而致命地打击了希尔伯特方案。 从自然主义的角度看形式主义与不完全性定理1、引言 存在的就是这个物质宇宙中的事物，除此之外别无它物；不存在所谓抽象数学对象，尤其是没有所谓无穷的对象，甚至没有潜无穷。 在人类的数学实践中，真正存在的是有限的人类大脑中的数学构造与推理活动，还有大脑与环境中的物质性的事物之间的相互作用。 是唯名论的、物理主义（即唯物主义）的数学哲学。 从自然主义的角度看形式主义与不完全性定理1、引言 说明希尔伯特方案的技术性策略不能成功是由于它有一个过高的