第一百六十章 决裂?不完备的陈述!(1 / 2)

走进修仙 吾道长不孤 4165 字 2个月前

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“犹豫?”陈由嘉皱眉:“你在犹豫什么?”

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

“什么啊?”

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

“不许叫我小嘉嘉!”陈由嘉大怒:“我还非要看看,你在写什么。”

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

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

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

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

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

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

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

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

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

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

但是,那又怎样?

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

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

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

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

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

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

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

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

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

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

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

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

我们或许永远也不能抵达“那里”。