如何简单清晰地解释哥德尔不完备定理

如何简单清晰地解释哥德尔不完备定理

哥德尔不完备定理:
第一不完备性定理
任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明也不能被否定。

第二不完备性定理
如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。

一帮数学家和逻辑学家觉得数学和逻辑简直是这个世界上最牛逼的东西。因为当时世界上很多东西都能用数学和逻辑解释。比如有人提出了几何的公理，基于这些公理又推演出各个定理。然后你发现你初中学那些几何知识可以解决好多现实问题。
这个时候就有人想，是不是这个世界所有东西都可以通过这种方式来证明啊。有人就提出这么一个想法，就是可不可以定义一个系统，这个系统与现实世界一一映射，也就是：现实世界的东西都能在这个系统中解释，这叫一致性。第二，这个系统的推演出的结论在现实世界中都是真的，这叫完备性。
如果有这么一个系统那就太厉害了。比如现实世界有很多未知的东西，人类现在可能没办法探索到。但是有这系统的话，我们不用在现实世界去探索了，直接在该系统中生成一个命题，利用推理证明就行了，证明的结果就能映射到现实世界中。
想法多好。但是被哥德尔这家伙推翻了。他说，所有强大的系统都会有没办法证明的命题。也就是说，该命题没法映射到现实世界。即不完备。
想证明这个系统存在很难，但是证明它不存在很简单，只要提出一个反例就行。比如，系统中存在这样一个命题：本命题无法被证明。
需要补充几个概念，一个是证明。其实就是初中学那个知识：利用公理和定理进行逻辑推论的过程叫证明。
另外一个是：哥德尔的不完备定理只适用于强大的系统。也就是说：如果这个系统比较弱，可能就不适用。刚才说到的系统已经强大到跟现实世界一一映射了。

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息