笔下文学

手机浏览器扫描二维码访问

第6章(2/3)

哥德尔怎么知道自己的新命题是正确的呢？因为他证明了这一点。

这一次他“作弊”的办法是加入了另一个新公理，它被称为“超超级公理”（SuperDuperAxiom）：皮亚诺公理加上“超级公理”组成的升级版的公理列表仍然是正确的。

这个“超超级公理”是正确的，因为包括“超级公理”在内的所有其他公理都是正确的。

因此，哥德尔的新命题还是正确的，因为他可以利用“超超级公理”来证明它。

但你不可以证明这一点，因为“超超级公理”不在你所承认的公理列表里。

回顾一下，从皮亚诺公理开始。

哥德尔提供了一个你无法证明的正确的命题。

但他利用“超级公理”证明了。

你说：“好，我把‘超级公理’加进自己的公理列表，现在我可以证明你的命题了。

”哥德尔说：“好。

那么我再给你一个新的你无法证明的命题，即便你使用新的、扩展了的公理列表，也无法证明。

”然后他再使用“超超级公理”来证明这个新命题。

你的下一步棋当然是把“超超级公理”添加到你的公理列表里。

哥德尔的下一步棋当然是提出一个新的你用“超超级公理”也无法证明的命题。

他知道这个命题是正确的，因为他已经使用新的“超超超级公理”证明了。

然后我们就这么一直继续下去了（而且哥德尔确实已经证明了自己可以永远继续下去）。

并不存在一个完备的公理列表来证明数学领域的所有正确命题，这便是“哥德尔不完备性定理”的大部分内容。

这就告诉你，正确的事物和可以被证明的事物之间是有区别的。

总之，在数学领域存在着正确的命题。

“正确”并不意味着“可以被证明”，而仅仅意味着通常意义上的正确。

但是这些命题必须跟自然数体系有关才能是真实的。

此外，这些命题在人们发现它们之前的漫长岁月就已经是正确的了，而且无论人们是否发现它们，这些命题都是正确的。

因此，自然数在人们发现它们之前也是存在的，而且无论人们是否发现它们，自然数都是真实存在的。

这种看法对本书第一章的论点来说是极为重要的。

如果你足够聪明，你或许会尝试将所有有关数学法则的正确命题都设置成公理。

那样的话每个命题就都只需要一步即可证明。

你如何证明两个偶数的和还是偶数呢？回答：这是一个公理。

你如何证明最大的质数不存在呢？回答：这还是一个公理。

但这种逃避的办法是不可取的。

问题在于，按照这种制度，我们就没办法知道什么是公理而什么不是公理。

偶数是两个质数之和，这是不是公理呢？回答：这是一个公理，当且仅当这是正确的时候我们才知道这是不是公理，但我们没办法知道这到底是不是正确的，因此我们没办法了解它是不是公理。

游戏规则是这样设置的：你可以使用任何自己想提供的公理，只要判定了什么是公理、什么不是公理的明确规则确实存在。

按照这个标准，所有正确的命题的列表便可等同于公理。

漫长的胜利（1） 漫长的胜利：你知道谷歌名字的来源吗？ 海格力斯用棒子敲击九头蛇的头，但这毫无益处，因为每当一个头被打掉时，断处就会有两个新头生长出来。

阿波罗多罗斯 海格力斯需要花多长时间才能杀死九头蛇？ 在前文中，我答应过给你描述一个数学领域中正确但无法被证明的命题。

你或许认为这个任务会相当困难，甚至会像“海格力斯面临的问题”那样“困难无比”。

或许你听说过这个古希腊神话，海格力斯在狂暴状态中误杀了他的妻子和孩子。

为了“赎罪”，他同意去完成死敌欧里斯修斯分配的一系列任务。

第一项任务是杀死可怕的“涅墨亚雄狮”，海格力斯赤手空拳完成了任务。

第二项任务是处理掉那多头的怪物九头蛇。

古希腊神话还告诉我们，每次海格力斯打掉九头蛇的一个头时，断处就会有两个新头长出来。

事实上，古人们讲

请关闭浏览器阅读模式后查看本章节，否则将出现无法翻页或章节内容丢失等现象。