数学真理是什么？ - 北京大学哲学系

《数学真理是什么？ - 北京大学哲学系》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、数学真理是什么？叶峰（北京大学哲学系）摘要现代物理学告诉我们，宇宙可能是有穷的，时空也可能是离散而非连续的，但在现代数学中我们似乎有着非常确定的、关于某些无穷和连续的数学对象和结构的真理。这些独立于物质世界的数学对象和结构果真存在吗？数学定理果真是关于它们的客观真理？我们的物质性的、有限的大脑又如何真的可能认识那些独立于物质世界的、而且是无穷的事物？也许不应该以这种方式理解数学真理？这是令当代西方一些哲学家困惑的一个问题。本文的目的是向哲学专业以外的读者介绍近代与当代一些哲学家对这个问题的思考，并作一些评述。关键词：数学

2、哲学、真理、数理逻辑、康德、弗雷格、哥德尔、卡尔纳普、蒯因一、数学真理是什么？如果问题是数学的内容是什么，那么回答自然是，数学包括分析、代数、几何等等。但我们这里关心的是，这些分析、代数、几何中的定理是什么性质的真理，它们与我们所认识到的其它真理，比如自然科学中的真理，有什么共同点与差异？尤其是，数学真理的基础是什么？或者说，数学定理之为真，是依赖于什么？比如，自然科学中的一个论断的真假，是依赖于该论断是否与现实的物质世界的实情相符合。大爆炸宇宙模型是真的，指的是这个现实的宇宙确实是像这个模型所描述的,或者说，这个模型符

3、合这个现实的宇宙；同样，牛顿运动定律是近似地真的，指的是它们近似准确地描述了现实世界中的物质运动的实情。这些都是常识，没有什么特别深奥的。那么,说一个数学命题是真的，也是指该命题真实地描述了某个数学世界中真实存在着的数学对象与结构吗？比如，说一个关于自然数的命题是真的，也是指该命题真实地描述了真实存在着的自然数吗？听起来这好象是显然的，但是仔细分析一下我们会看出，它实际上蕴含了一个谜。首先，它蕴含了存在着一个独立于物质世界的抽象的数学世界。因为现代物理学告诉我们，我们生存于其中的这个物质世界可能是有穷的：在宏观上，大爆炸

4、宇宙模型提供了一个宏观上有穷的宇宙模型；在微观上，有关量子引力的一些现象，显示着在微观的普朗克尺度上，时空的自由度可能是有限的，这意味着，时空在微观上可能是离散的而不是连续的。而另一方面，数学中的许多对象和结构是很确定地被描述成无穷的对象和结构。最简单的自然数也有无穷多个。虽然宇宙是有穷还是无穷在现代物理学中没有定论，但我们可以假设，即使现实的物质世界果真是有穷的，数学定理的真理性应该还是不变的。至少，“对任一自然数，都有一个比它大的另外一个自然数”这样一个命题应该还是真的。这已经意味着，数学中的无穷的对象和结构，应该是

5、与现实的物质世界无关的对象和结构。即使现实的物质世界果真是有穷的，我们还是有同样的无穷多个自然数、同样的数学真理。我们甚至将数学应用于明显是有穷的领域，比如经济学中。可见，即是整个宇宙是有穷的，那也不过就像在经济学领域一样，我们还是可以应用同样的数学。在那里，虽然无穷的数学模型只是近似地描述了现实世界中的现象，但是数学定理对于那些无穷数学模型来说，应该是严格准确地真的。所以，那些无穷数学模型中的数学对象和结构，只能是存在于一个独立于现实的物质世界的数学世界中。换句话说，数学世界只能是一个独立于现实的物质世界的独立王国。是

6、否果真存在着这样一个独立的数学王国，当然会引起我们的怀疑。更重要的是，我们人类应该是这个现实的物质世界中的一个部分。我们的大脑，应该是这个现实的物质世界长期进化的产物。我们的知识应该来源于我们的大脑通过我们的感觉器官与物质世界的相互作用。所以，一个哲学上的谜就是：这样一个有限的大脑与有限的物质世界的相互作用，如何能够产生对那个独立王国中的无穷、甚至超无穷的数学对象和结构的知识？这是否意味着我们有着独立于物质性的大脑的某种心灵，而且我们的心灵有着某种神秘的直觉，可以认识超出有限的物质世界之外的无穷、甚至超无穷的数学对象和结

7、构？这是否意味着神秘主义？换句话说，它是这样一个谜：一方面，直观上我们似乎确实有着关于无穷、甚至超无穷的数学对象和结构的知识；另一方面，如果它们真的是独立于现实的物质世界的对象和结构，我们究竟是如何得到关于它们的知识的？究竟是依据什么来断定一个数学定理或公理是真的？我们不能观察到那些无穷的对象和结构，不能像对牛顿力学那样，用观察来验证它是近似地真的，用观察来验证它不如相对论更准确等等。所以，一个数学命题之为真的依据究竟是什么？也许，并没有这样一个独立于现实的物质世界的数学上的独立王国。那么，数学真理又是什么？数学定理还是

8、客观真理吗？一种自然的想法是，数学公理只是假设。它们本身不是客观真理。数学家们只是从那些假设推导出定理。但是，数学家们显然不是在随意地作假设。科学家们作一些科学假说，是因为他们揣测那些假说可能是真的，然后他们用实验去验证或反驳那些假设。同样地，数学家们接受了一些公理，从那些公理推导出定理，是因为他们确实直觉到那些公理