“不🄁🝴许叫我小嘉嘉!”陈由嘉大怒:🈝⚼🖮“我⚛💄还非要看看,你在写什么。”
“不行不行,绝对不能给你看。”王崎运用法力,将陈由嘉退出了房门。然后用符封住门窗,低声道:“我都不知道这一下会害多少修士看了之后走火入魔呢。不先找人试一下🜇⛨🜹,怎么能给你看🃋🖍呢?”
然后,他提起笔,在纸上写下了这几个大字
《试论卷一算术篇中形式上不可判定之陈述及相关系🃭🛀统》
这篇论文的题目,就有一👰🌞种特别的攻击性⚛💄。在懂的人眼里,它就是一把尖刀。
一把直指算主之非的尖刀!
对⚂于王崎来说,这🕨篇论文的发表,几乎就可以代表他和歌庭派、和冯落衣之间友好🂆🌠关系的终结。
不不不,或许在他与苟大宝说那些“道🍢理”的时候,他🅊就已经在和歌庭派决裂了吧?
即使无法无天如他,也有一瞬间的犹疑。
在地球,学术地位就只是学术地位。但是在这里,学术地位🕧和更多的东西挂钩。🝡🌨🁣有些争端,只会比地球上更加激烈。
他要面对的,不是某一个权🗔🛗🜡威,而是一个顶尖学派,包含两位最巅顶者🚩🖆的众多逍遥,几乎占据万法门半壁江山的人物。
但是,那又怎样?
仙盟终究是一个学术组织,而非宗教组织。只要“那个定律”还在这个世界成立,那么,它的地位就无可撼🃧🚌👻动!
“也该出现在这个世界🃒了。”王崎深吸一口气:“哥德尔不完备定律……”
哥德尔不完备🕾定律,在地球那🗬🞩🖱个世界,击碎所🛁🙙有数学家幻想、打破人类数学神圣性的东西。
曾经的数学家,都有着这样的梦“在保证数学一🝃🈠致性这个前提之下,如果又有了数学的完备性,也就是🇿🞒📢说任何一个数学命题都可以被证明或者被证伪”。对于😃任意一个数学猜想,不管它有多难,只要假以时日,通过一代又一代人的努力,总是可以知道这个猜想对不对,并且证明或证伪它。
换句话说,在数学🕨中,通过🗔🛗🜡逻辑,人们能够知道任何🃭🛀事情,这只不过是个时间问题。
即使那个目标是“道”,是“终极”。
这⚂也就是所谓的“我们必👰🌞须知道,我们必将知道”。
但是现在,王崎将要写出的两道理论,将会击碎这个尚存于神州🟙🝧🍦的美梦。
我们永远无法证明,一个超过一阶的、复⚛💄杂的🛁🙙集合论🃭🛀规则是自洽的。
任何相容的形式体系,都无🗔🛗🜡法🗬🞩🖱证实自身的相容性。
这就是哥德尔的两条不完备定律。