第一百五十六章 算典初成,「一加一」問(2 / 2)

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

就好像網絡之中的「權限」一般,高一線就是壓死人。

蘇君宇的法力瞬間就被王崎封住。王崎手腕下壓,就將蘇君宇手中的書奪了過來。然後,他對著目瞪口呆的項琪說道:「師姐,蘇師兄就麻煩你照顧了。他現在大約有一會兒沒法使用法力——另外,麻煩你將這本書恢復原狀,謝謝。」

項琪愣愣的完成了王崎的指示,又看看蘇君宇。很快,她就意識到——這是一個機會!

她對著王崎打了個「感謝」的手勢,然後獰笑著,單手扭著蘇君宇的脖子:「哎呀呀,說起來老友重逢的話應該去喝一杯是吧?」

蘇君宇猛烈的掙扎:「嗚嗚。你要給我喝什么?聽好!我絕對不承認你們焚金谷弄出來的酒精混合物是酒……」

看著走遠的兩人,王崎搖搖頭,輕輕感慨:「果然萬法也想有道侶啊……」

不去想已經走遠的二人,王崎將目光偷到手中的書上。封面很簡單。就只有《萬法算藏》四個字。

但是,對於神州修士來說,能夠冠以「萬法」二字的,意義完全不一樣。

地球上從來就沒有哪一個學術機構、哪一個組織、哪一個學會、哪一所大學有這樣的影響力,能夠作為「全體數學家」的代表。

但是。在神州,「修士」這一階級、這一身份乃是聯系那些數學家最天然的紐帶,門派就是天然的學會。萬法門,是超越地球上一切學術組織的,所有數學家共有的集體。

冠以「萬法」二字的,就是「數學」的正統!

前幾年的時候,萬法門內部連宗離宗這兩個思想流派,就為了這一步算經的編篡之權而作過一場。王崎甚至還因為發表了「哥德爾完備定理」而在這場爭斗之中大放異彩。

如今,數年過去,這本算經終於編成了……第一卷。

「只得一卷啊。也是。『數學』作為一個學科,發展得已經太過可怕了。絕世天才也沒法做到全通全懂。想要完全描述整個數學體系,只怕非得有一個小圖書館才行。」王崎翻開了這本書。

盡管只是第一卷,但是這本書已經稱得上篇幅浩大。它的目的就是重鑄算術,使之歸類為集合理論。在這個系統當中「一加一等於二」被描述成「當含有一個元素的集合和另一個同樣含有一個元素的集合合並時,所得到的並集總是有兩個元素」。

看起來,後者好像是比前者復雜無數倍,簡直就是將簡單問題復雜化。但是,在數學家眼中,確實是後者的說法更加明確。更加根本,更加可操作——當然,在這之後,他們需要面對一連串新問題。比如「集合」是什么,如何定義「並集」之類的。

但是,這就是意義所在。

——這個世界不存在阿爾弗雷德·諾斯·懷特海德等任務,但是,算主卻完成了他們的工作。

「我看看啊,光是為了解釋加法的定義。還有證明『一加一等於二』,這本書就寫了五百多頁……」王崎匆匆讀了這一部分,然後苦笑。

這本算經確實定義出了「一加一等於二」,但是,只要哥德爾不完備定理一出現,這一部凝結了眾人心血、智慧的典籍就不得不面對一個恐怖的事實。

無法證明任何足以推到算學理論的集合論規則是自洽的。你無法用邏輯去否定「一加一等於三」的可能性。但是,任何人都可以用直覺判斷出,那是不可能的。

「1」「2」「3」「4」「5」……這些數字本身,就是超越了人類思維的客觀事實。

「於無聲處聽驚雷」。數學之中最最基礎的數字,就是如此可怕的東西。

「典型的數學家在工作日是柏拉圖主義者,在休息日則是形式主義者。」地球的數學家在經歷過那可怕的絕望之後,只能無奈的寫下這么一句話。

當我們必須做出正確的陳述時,我們不得不承認,我們無法斷言數學當中不存在矛盾,但是我們不會因此而中斷對數學的探索。

「一加一等於二」,說到底就是這么可怕的問題。

「哎……這個問題還真就是費腦子。人族『一加一等於二』用了不知道幾千年還是幾萬年,不還是沒人懷疑嗎。」

王崎合上書,繼續向蒙學走去。

突然,他停住腳步。

「等一等啊……我最開始意識到的數學,好像就是『一加一等於二』?」(未完待續。)