为什么从来没有人担心有人会证明“一加一等于三”?
就人类的逻辑来说,没人可以否认一加一等于三的可能性。但是,从来就没有人想过这个。
这个奇异的“现象”,越想就越是让人感觉神奇。
王崎觉得吧,世界上或许存在着两种数学。一种就是与人类无关的,客观的存在于宇宙当中的数学。另外一种则是人类所发现、所建立的数学体系。
人类发现的数学体系,就是在不断接近自然本身的。
因此,数学被算入“科学”这一体系,也是毫无问题的。
而人类发现的数学,师从自然,贴合自然,因此恰好能够用作表现物理层面的规律。
人类不担心“一加一等于三”,或许正是因为他们认识世界几万、几十万年以来,从来没有感受过“一加一等于三”的客观事实。
“不管怎么说,算学本身就超越了人的思维,它近道,乃是道化之物,与天地同在”王崎再一次站起身,对着苟大宝说道:“我们从不谈玄,因为‘玄之又玄’也无法讲清它里面的道理。想要顺着这一条路逼近天道,就智能沿着它本身走。”
言罢,王崎转身,离开了这个秘地。
意识顺着万仙幻境的网络奔流,归位。王崎睁开眼睛,然后离开了算器。
不知为何,他总觉得有一diǎn压抑。
“呼……感觉还真是有diǎn紧张啊。”王崎踢了踢地板,然后走回他的书房,拿起了一张纸。想要动笔写一diǎn什么。不知为何。笔却停住了。
陈由嘉出现,轻轻抱住他:“又在准备你要给那个谪仙讲的东西了吗?”
“不,论文。”王崎觉得自己嗓子有些发涩。
陈由嘉察觉到王崎的脸色不太对,问道:“你怎么了?想不出来吗?”
她不太理解。之前王崎不管写什么论文,都很少卡顿的。据说,当年他发表完备律的那一篇论文也是一气呵成,没有半分滞涩。这样的人,居2£3.o≡<s><spp>s_;</spp></s>
然也会无法落笔?
“呐。要不要我们出去走走?说不定就有灵感了……”
王崎摇摇头,看着陈由嘉:“有些犹豫罢了。”
“犹豫?”陈由嘉皱眉:“你在犹豫什么?”
“总觉得这样不大地道啊……算了,没什么。”王崎摇摇头:“被自己吓住了。”
“什么啊?”
“做一件不厚道的事。”王崎微微一笑,推开陈由嘉:“好了好了,你不要再在这里看了,我等下要写的东西可是非――常――非常惊世骇俗,吓到小嘉嘉你就不好啦!”
“不许叫我小嘉嘉!”陈由嘉大怒:“我还非要看看,你在写什么。”
“不行不行,绝对不能给你看。”王崎运用法力,将陈由嘉退出了房门。然后用符封住门窗,低声道:“我都不知道这一下会害多少修士看了之后走火入魔呢。不先找人试一下,怎么能给你看呢?”
然后,他提起笔,在纸上写下了这几个大字――
《试论卷一算术篇中形式上不可判定之陈述及相关系统》
这篇论文的题目,就有一种特别的攻击性。在懂的人眼里,它就是一把尖刀。
一把直指算主之非的尖刀!
对于王崎来说,这篇论文的发表,几乎就可以代表他和歌庭派、和冯落衣之间友好关系的终结。我的夫君是太监
不不不,或许在他与苟大宝说那些“道理”的时候,他就已经在和歌庭派决裂了吧?
即使无法无天如他,也有一瞬间的犹疑。
在地球,学术地位就只是学术地位。但是在这里,学术地位和更多的东西挂钩。有些争端,只会比地球上更加激烈。
他要面对的,不是某一个权威,而是一个ding尖学派,包含两位最巅ding者的众多逍遥,几乎占据万法门半壁江山的人物。
但是,那又怎样?
仙盟终究是一个学术组织,而非宗教组织。只要“那个定律”还在这个世界成立,那么,它的地位就无可撼动!
“也该出现在这个世界了。”王崎深吸一口气:“哥德尔不完备定律……”
哥德尔不完备定律,在地球那个世界,击碎所有数学家幻想、打破人类数学神圣性的东西。
曾经的数学家,都有着这样的梦――“在保证数学一致性这个前提之下,如果又有了数学的完备性,也就是说任何一个数学命题都可以被证明或者被证伪”。对于任意一个数学猜想,不管它有多难,只要假以时日,通过一代又一代人的努力,总是可以知道这个猜想对不对,并且证明或证伪它。
换句话说,在数学中,通过逻辑,人们能够知道任何事情,这只不过是个时间问题。
即使那个目标是“道”,是“终极”。
这也就是所谓的“我们必须知道,我们必将知道”。
但是现在,王崎将要写出的两道理论,将会击碎这个尚存于神州的美梦。
我们永远无法证明,一个超过一阶的、复杂的集合论规则是自洽的。
任何相容的形式体系,都无法证实自身的相容性。
这就是哥德尔的两条不完备定律。