哥德尔在构造主义数学方面的工作 |
| |
作者姓名: | 杨睿之 |
| |
作者单位: | 复旦大学哲学学院 |
| |
基金项目: | 本文得到教育部人文社会科学研究青年项目-一‘当代集合论哲学及其对数学基础研究的影响”(13YJCZH226)、复旦大学新进青年教师科研起步项目以及复旦大学青年教师科研能力提升项目资助. |
| |
摘 要: | 众所周知,哥德尔是一位实在论者。然而,他在构造主义数学方面也有着精深的研究和重要的工作。例如,哥德尔的否定性翻译和《辩证法》翻译。这些方法在现今的数理逻辑研究,尤其是证明论中有广泛的应用。而本文关心的是这些工作在数学基础和数学哲学方面的价值。我们将介绍、整理哥德尔的这些成果,并试图将它们编制成一幅围剿直觉主义的布阵图。我们也会讨论其中的薄弱之处,并由此碰触哥德尔哲学中一些挣扎而神秘的地方:绝对证明、概念理论和心物关系。
|
关 键 词: | 数学哲学 构造主义 实在论 |
本文献已被 CNKI 维普 等数据库收录! |
|