第一百六十章 決裂?不完備的陳述!(1 / 2)

走進修仙 吾道長不孤 1618 字 2020-09-04

AK小說 www.06ak .com,最快更新走進修仙最新章節!

為什么從來沒有人擔心有人會證明「一加一等於三」?

就人類的邏輯來說,沒人可以否認一加一等於三的可能性。但是,從來就沒有人想過這個。

這個奇異的「現象」,越想就越是讓人感覺神奇。

王崎覺得吧,世界上或許存在著兩種數學。一種就是與人類無關的,客觀的存在於宇宙當中的數學。另外一種則是人類所發現、所建立的數學體系。

人類發現的數學體系,就是在不斷接近自然本身的。

因此,數學被算入「科學」這一體系,也是毫無問題的。

而人類發現的數學,師從自然,貼合自然,因此恰好能夠用作表現物理層面的規律。

人類不擔心「一加一等於三」,或許正是因為他們認識世界幾萬、幾十萬年以來,從來沒有感受過「一加一等於三」的客觀事實。

「不管怎么說,算學本身就超越了人的思維,它近道,乃是道化之物,與天地同在」王崎再一次站起身,對著苟大寶說道:「我們從不談玄,因為『玄之又玄』也無法講清它里面的道理。想要順著這一條路逼近天道,就智能沿著它本身走。」

言罷,王崎轉身,離開了這個秘地。

意識順著萬仙幻境的網絡奔流,歸位。王崎睜開眼睛,然後離開了算器。

不知為何,他總覺得有一點壓抑。

「呼……感覺還真是有點緊張啊。」王崎踢了踢地板,然後走回他的書房,拿起了一張紙。想要動筆寫一點什么。不知為何。筆卻停住了。

陳由嘉出現,輕輕抱住他:「又在准備你要給那個謫仙講的東西了嗎?」

「不,論文。」王崎覺得自己嗓子有些發澀。

陳由嘉察覺到王崎的臉色不太對,問道:「你怎么了?想不出來嗎?」

她不太理解。之前王崎不管寫什么論文,都很少卡頓的。據說,當年他發表完備律的那一篇論文也是一氣呵成,沒有半分滯澀。這樣的人,居然也會無法落筆?

「吶。要不要我們出去走走?說不定就有靈感了……」

王崎搖搖頭,看著陳由嘉:「有些猶豫罷了。」

「猶豫?」陳由嘉皺眉:「你在猶豫什么?」

「總覺得這樣不大地道啊……算了,沒什么。」王崎搖搖頭:「被自己嚇住了。」

「什么啊?」

「做一件不厚道的事。」王崎微微一笑,推開陳由嘉:「好了好了,你不要再在這里看了,我等下要寫的東西可是非常非常驚世駭俗,嚇到小嘉嘉你就不好啦!」

「不許叫我小嘉嘉!」陳由嘉大怒:「我還非要看看,你在寫什么。」

「不行不行,絕對不能給你看。」王崎運用法力,將陳由嘉退出了房門。然後用符封住門窗,低聲道:「我都不知道這一下會害多少修士看了之後走火入魔呢。不先找人試一下,怎么能給你看呢?」

然後,他提起筆,在紙上寫下了這幾個大字

《試論卷一算術篇中形式上不可判定之陳述及相關系統》

這篇論文的題目,就有一種特別的攻擊性。在懂的人眼里,它就是一把尖刀。

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

對於王崎來說,這篇論文的發表,幾乎就可以代表他和歌庭派、和馮落衣之間友好關系的終結。

不不不,或許在他與苟大寶說那些「道理」的時候,他就已經在和歌庭派決裂了吧?

即使無法無天如他,也有一瞬間的猶疑。

在地球,學術地位就只是學術地位。但是在這里,學術地位和更多的東西掛鉤。有些爭端,只會比地球上更加激烈。

他要面對的,不是某一個權威,而是一個頂尖學派,包含兩位最巔頂者的眾多逍遙,幾乎占據萬法門半壁江山的人物。

但是,那又怎樣?

仙盟終究是一個學術組織,而非宗教組織。只要「那個定律」還在這個世界成立,那么,它的地位就無可撼動!

「也該出現在這個世界了。」王崎深吸一口氣:「哥德爾不完備定律……」

哥德爾不完備定律,在地球那個世界,擊碎所有數學家幻想、打破人類數學神聖性的東西。

曾經的數學家,都有著這樣的夢「在保證數學一致性這個前提之下,如果又有了數學的完備性,也就是說任何一個數學命題都可以被證明或者被證偽」。對於任意一個數學猜想,不管它有多難,只要假以時日,通過一代又一代人的努力,總是可以知道這個猜想對不對,並且證明或證偽它。

換句話說,在數學中,通過邏輯,人們能夠知道任何事情,這只不過是個時間問題。

即使那個目標是「道」,是「終極」。

這也就是所謂的「我們必須知道,我們必將知道」。

但是現在,王崎將要寫出的兩道理論,將會擊碎這個尚存於神州的美夢。

我們永遠無法證明,一個超過一階的、復雜的集合論規則是自洽的。【偷香http:///4_4056/】

任何相容的形式體系,都無法證實自身的相容性。

這就是哥德爾的兩條不完備定律。

人類的邏輯,實際上是不自洽的。