第一百六十章 决裂不完备的陈述（1 / 2）

为什么从来没有人担心有人会证明“一加一等于三”？

就人类的逻辑来说，没人可以否认一加一等于三的可能性。但是，从来就没有人想过这个。

这个奇异的“现象”，越想就越是让人感觉神奇。

王崎觉得吧，世界上或许存在着两种数学。一种就是与人类无关的，客观的存在于宇宙当中的数学。另外一种则是人类所发现、所建立的数学体系。

人类发现的数学体系，就是在不断接近自然本身的。

因此，数学被算入“科学”这一体系，也是毫无问题的。

而人类发现的数学，师从自然，贴合自然，因此恰好能够用作表现物理层面的规律。

人类不担心“一加一等于三”，或许正是因为他们认识世界几万、几十万年以来，从来没有感受过“一加一等于三”的客观事实。

“不管怎么说，算学本身就超越了人的思维，它近道，乃是道化之物，与天地同在”王崎再一次站起身，对着苟大宝说道：“我们从不谈玄，因为‘玄之又玄’也无法讲清它里面的道理。想要顺着这一条路逼近天道，就智能沿着它本身走。”

言罢，王崎转身，离开了这个秘地。

意识顺着万仙幻境的网络奔流，归位。王崎睁开眼睛，然后离开了算器。

不知为何，他总觉得有一点压抑。

“呼……感觉还真是有点紧张啊。”王崎踢了踢地板，然后走回他的书房，拿起了一张纸。想要动笔写一点什么。不知为何。笔却停住了。

陈由嘉出现，轻轻抱住他：“又在准备你要给那个谪仙讲的东西了吗？”

“不，论文。”王崎觉得自己嗓子有些发涩。

陈由嘉察觉到王崎的脸色不太对，问道：“你怎么了？想不出来吗？”

她不太理解。之前王崎不管写什么论文，都很少卡顿的。据说，当年他发表完备律的那一篇论文也是一气呵成，没有半分滞涩。这样的人，居然也会无法落笔？

“呐。要不要我们出去走走？说不定就有灵感了……”

王崎摇摇头，看着陈由嘉：“有些犹豫罢了。”

“犹豫？”陈由嘉皱眉：“你在犹豫什么？”

“总觉得这样不大地道啊……算了，没什么。”王崎摇摇头：“被自己吓住了。”

“什么啊？”

“做一件不厚道的事。”王崎微微一笑，推开陈由嘉：“好了好了，你不要再在这里看了，我等下要写的东西可是非常非常惊世骇俗，吓到小嘉嘉你就不好啦！”

“不许叫我小嘉嘉！”陈由嘉大怒：“我还非要看看，你在写什么。”

“不行不行，绝对不能给你看。”王崎运用法力，将陈由嘉退出了房门。然后用符封住门窗，低声道：“我都不知道这一下会害多少修士看了之后走火入魔呢。不先找人试一下，怎么能给你看呢？”

然后，他提起笔，在纸上写下了这几个大字

《试论卷一算术篇中形式上不可判定之陈述及相关系统》

这篇论文的题目，就有一种特别的攻击性。在懂的人眼里，它就是一把尖刀。

一把直指算主之非的尖刀！

对于王崎来说，这篇论文的发表，几乎就可以代表他和歌庭派、和冯落衣之间友好关系的终结。

不不不，或许在他与苟大宝说那些“道理”的时候，他就已经在和歌庭派决裂了吧？

即使无法无天如他，也有一瞬间的犹疑。

在地球，学术地位就只是学术地位。但是在这里，学术地位和更多的东西挂钩。有些争端，只会比地球上更加激烈。

他要面对的，不是某一个权威，而是一个顶尖学派，包含两位最巅顶者的众多逍遥，几乎占据万法门半壁江山的人物。

但是，那又怎样？

仙盟终究是一个学术组织，而非宗教组织。只要“那个定律”还在这个世界成立，那么，它的地位就无可撼动！

“也该出现在这个世界了。”王崎深吸一口气：“哥德尔不完备定律……”

哥德尔不完备定律，在地球那个世界，击碎所有数学家幻想、打破人类数学神圣性的东西。

曾经的数学家，都有着这样的梦“在保证数学一致性这个前提之下，如果又有了数学的完备性，也就是说任何一个数学命题都可以被证明或者被证伪”。对于任意一个数学猜想，不管它有多难，只要假以时日，通过一代又一代人的努力，总是可以知道这个猜想对不对，并且证明或证伪它。

换句话说，在数学中，通过逻辑，人们能够知道任何事情，这只不过是个时间问题。

即使那个目标是“道”，是“终极”。

这也就是所谓的“我们必须知道，我们必将知道”。

但是现在，王崎将要写出的两道理论，将会击碎这个尚存于神州的美梦。

我们永远无法证明，一个超过一阶的、复杂的集合论规则是自洽的。【偷香】

任何相容的形式体系，都无法证实自身的相容性。

这就是哥德尔的两条不完备定律。

人类的逻辑，实际上是不自洽的。