哥德尔不完全性定理 数学里必然存在不可能被证明的问题  

作　　者：山田久美 陈迅(翻译) 

机构地区：[1]不详

出　　处：《科学世界》2021年第1期104-107,共4页Newton

摘　　要：在中学数学课里,除了学习如何计算,还会学到如何证明。证明是在公理、定理、假设或前提条件等基础上,用逻辑的方法推导出结果的过程。所以,我们很容易会认为所有的数学问题,只要使用公理或定理等加以检验的话,就一定能证明其真伪。但是,根据“哥德尔不完全性定理”,这种想法却是错误的。那么,就让我们来了解一下在证明数学问题的世界里绝对逾越不了的“两堵墙”吧。

关 键 词：中学数学课 哥德尔不完全性定理 公理 逻辑的方法 数学 前提条件 

分 类 号：G63[文化科学—教育学]