数学里存在不可能被证明的问题吗？

文章预览

在中学数学课里，除了学习如何计算，还会学到如何证明。证明是在公理、定理、假设或前提条件等基础上，用逻辑的方法推导出结果的过程。所以， 我们很容易会认为所有的数学问题，只要使用公理或定理等加以检验的话，就一定能证明其真伪 。 但是，根据 “哥德尔不完全性定理” ， 这种想法却是错误的。 那么，就让我们来了解一下在证明数学问题的世界里绝对逾越不了的 “两堵墙” 吧。 “公理”是数学的出发点 “不完全性定理” 是于1931年由出生在现捷克境内的奥地利数学家 库尔特·哥德尔 （1906～1978）发表的。当时哥德尔年仅24岁。在20世纪的数理逻辑学（用数学方法解析逻辑学的领域）中，该定理被认为具有最大的影响。 库尔特·哥德尔（Kurt Gödel，1906～1978） 数学课总会讲授“公理”(最基础的前提条件）和“命题”(需要判断其真 ………………………………