第九十七章 靈氣宇宙技術史的風格
王崎失魂落魄地說道:“想不到啊想不到……平素裏,我居然也會產生如此嚴重的知見障……真是,一刻也放松不得……”
王崎如此說道。
怎麽說呢……
地球的數學史上,形式主義與直覺主義的戰爭,確實是打得慘。
但是,打完之後的故事,就不是那麽膾炙人口了。
往後一段,數學史大書特書的就是布爾巴基學派,就是掌握了數學半壁江山的教皇格羅滕迪克,就是朗蘭茨綱領。
至於形式主義和直覺主義……準確來說是新形式主義和構造主義,倒是也是有人在搞。
但終歸是邊緣了,在歷史上也就不那麽耀眼了。
嗯,怎麽形容呢……
歷史系研究清代史的,總比研究南明史的要多一些不是?
明朝在如何“天子守國門,君王死社稷”,南明也只是一條丟了祖上基業的鹹魚,連逐鹿的資格都沒有。
史愛好者看到崇禎這兒,也就算了,有多少人還會專門研究南明這條鹹魚呢?
大概就是這樣了。
說實話,直覺主義和形式主義的徒子徒孫,在後續也不是沒有成就的。
比如後面的遞歸論,可以算是典型的“離宗成就”了。
但無論是離宗特征明顯的遞歸論,還是連宗特征明顯的類型論,它們都有一個共同的特點——那就是屬於計算機科學的一部分。
或者說,幹脆就是依附於計算機科學而活的。
換言之,都是計算機科學麾下的打工仔。
這也確實稱得上是淒淒慘慘戚戚了。
在亨利·龐加萊晚年的時候,初出現的直覺主義,就好像西周王朝一樣,乃是天下共主。
而大衛·希爾伯特時代的直覺主義,就好像是東周王朝一樣,空有一個“正統”名號,卻沒人在乎它了。
——如果考慮到形式主義、直覺主義和邏輯主義三方混戰的場面,或許用“蜀漢”和“東漢”來比喻更為合適?
而到了更後面,直覺主義就越發弱勢了,幾乎就是個弟弟。這就好比是戰國時代的周王室後裔,說出去吧,也算是個身份。
但是那邊的布爾巴基學派都要奮二世之余烈玩“秦王掃六合,虎視何雄哉”了,誰還在乎你區區“周王室後裔”來著?
到了那個時候,形式主義和直覺主義,也就只能搞搞應用了。
“數學根基”這種涉及九鼎的正統之爭,他們摻和不了。
這也是王崎從歌庭派抽身而退的原因。歌庭派傳承有序,就算當初何外爾真的願意給他一定的權限,他也沒法扭轉歌庭派那種風氣,來復刻布爾巴基學派的成就的。
就算算主不再,何外爾,艾若澈,都是相當強大的算學家。
他沒法一下子就建立起自己的影響力來。
但是,不管怎麽說,布爾巴基學派,按照這個世界的分法,都算是離宗學派了。
他是斷然沒想到,“類型論”這個典型的連宗成就,會誕生在一個基派成員手裏。
尤其是這個成員還是他老婆。
“世界觀都要受到挑戰了啊……”王崎捂住自己的腦袋:“媽耶,媽耶……”
趙清潭也是僵住了:“這怎麽可能……”
“是啊……這怎麽可能?”
趙清潭一愣,驚到:“難道說,算君的一本書稿,就能將一個離宗弟子,洗成連宗弟子?這麽危險?”
“這個……好吧,由嘉她小時候其實更喜歡應用方向來著……說不定她是我們當中最不在乎離宗連宗分野的人。”王崎這麽說道。
趙清潭卻是不敢看那算君書稿了。他直接問王崎:“師妹到底想出了什麽?”
王崎一愣。
……
天宮之內,柯蘭蔭松開了自己握著天劍的手臂。
他發現自己背後已經全是冷汗了。
“真是嚇人啊……”
他很難形容剛才那一瞬間,王崎整體發生了什麽樣的異變。他覺得王崎的氣息突然之間變得像個炸彈一樣,好像隨時都會崩潰一般。
那個時候,他幾乎以為是龍皇預言發作了。王崎就要完蛋了。
而他天體妖靈級數的法力,也會給這個大日疆域留下難以磨滅的影響。
但幸好,這種感覺只有一瞬。
但是,柯蘭蔭卻還是感覺到一絲驚惶。
“這種活兒不能讓我一個老頭子來幹吧……真是,我都落伍多少年了……”雲中君無奈的自嘲道。
應該給打個申請,讓他們多派一兩名逍遙過來的……
最好還得是那種強力一點的,不然還真幹不過這個晚輩。
……
在地球歷史上,“類型論”是用來突破哥德爾不完備定理的嘗試。實際上,它多少也成功了一點。哥德爾第一不完備、第二不完備和塔斯基真不可定義都被接連突破。
只不過,這也只是“淺層”而已。