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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

「呐，要不要我们出去走走？说不定就有灵感了……」

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

「犹豫？」陈由嘉皱眉：「你在犹豫什么？」

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

「什么啊？」

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

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

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

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

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

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

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

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

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

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

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

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

但是，那又怎样？

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

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

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

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

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

即使那个目标是「道」，是「终极」。

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

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

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

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

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

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

我们或许永远也不能抵达「那里」。

本章未完，点击下一页继续阅读。