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