[幻想修仙] 走進修仙 作者:吾道長不孤(已完成)

 
254993 2015-11-6 21:20:07 發表於 武俠仙俠 [顯示全部樓層] 只看大圖 回覆獎勵 閱讀模式 2309 2267813
Babcorn 發表於 2018-9-9 10:41
第九十四章 算君的大招【第三更】

     “網絡”既然叫做網絡,那麼就得有個“網”的樣子。

    準確來說,就是“每個節點都是固定的”。

    是,地球的網絡,確實是有移動設備。

    但是,所有移動設備,都得通過一種叫做“網卡”的鏈路層組件,獲得一個不變的“地址”——也就是被稱作IP的東西。

    在網絡層,所有IP都是唯一的東西。

    但是,極微獸機關是沒辦法用這種東西的。

    因為,通過就那麼幾個字節的大小,也沒法做出網卡的效果。

    這樣小的終端面前,“七層協議”實在是太大了,根本沒有用武之地。

    所以,不管是將獸機關集群,當做一部單獨的算器,還是當做一個網絡,都是非常失敗的。

    甚至連“區塊鏈”都不可能適用於這個概念。去中心化的網絡,依舊是網絡。

    就這麼說吧,區塊鏈,得是一群遵循相同規則的人共同處理信息。

    但是,極微獸機關的個體,實在是太小了,根本就不足以寫下那樣複雜的“一整套規則”,更別說“共用”了。

    研究出“儡蠱”的天眷遺族,大抵也是卡在這一步的。

    獸機關這個概念的出現,也只是馮落衣以算學思維建立生物學模型的結果。

    補充能量,繁衍。

    只要做到這兩點,就可以認為是個“生物”了。

    馮落衣很早就探討過,想要做到這兩點,最少需要多複雜的結構。

    王崎的元胞自動機很形象的解釋了這一點。

    能夠玩俄羅斯方塊的像素點,就差不多夠了。

    千機閣也是在這個基礎上,開戰了關於“模仿生命的機關最小能做到什麼程度”而展開的研究。

    甚至可以說,獸機關集群,最初在生物學、工程學上的意義,都大於它在戰略上的意義。

    畢竟,作為採礦工具的話,大型獸機關,其實也夠用了。

    在很長一段時間裡,這些東西,都是雞肋一般的待遇,食之無味,棄之可惜。

    而算君卻將它利用了起來。

    每一個獸機關的運動軌跡無法預測,群體的結構混沌莫測,那就乾脆不測,轉而用一種“非線性”的思路去做。

    應當說,算君也是非線性問題的開創者。

    也就是“三體問題”。

    怎麼說呢,很長一段時間裡,神州修士都覺得,之所以存在非線性問題,是因為人族的理論不夠精深,太過淺薄,計算方式有誤。

    這種問題很早就暴露了出來。

    地球上混沌數學很晚才出現,有很大程度上是因為人腦的計算力不夠,他們將“無法預測”歸類為“計算量跟不上,算不清楚”。

    但是,神州修士的心力極強,計算力堪比超算。

    唯一限制他們的,就是“知見障”。

    征天司初立,所有逍遙都做出共同的決定,留一部分人在神州,主力遠赴星海。

    算君從來就是對“用”更感興趣的。所以,他也蠻願意去見識一下外面的世界。

    而在那個時候,其實他就已經有了關於“混沌”的想法。

    只是,算君本人發論文的態度,卻遠不像他看起來那樣激進。

    他並不是剛剛發現混沌算法,就直接將之公佈,而是閉門憋科技。

    而也就是在這個時候,他將注意力放到了極微獸機關上。

    那個時候,“獸機關”更多是指會自我複製的大型採礦機關獸,而不是極微獸機關。

    不過,就算是大型獸機關,其管理也很成問題。

    為了避免獸機關太過集中,導致資源開採效率降低,所以它們也是有一定的行動規則的。這套規則決定了他們的行動會受到同族位置的擾動。

    而當獸機關數量足夠多的時候,這就是一個難以控制的混沌系統。

    極微獸機關就更是如此了。物理法則就決定了它的混沌屬性。

    算君最開始的思路,其實就是這個世界“算器”的起始。

    也就是“神經網絡”的模擬。

    但是,這個努力注定是失敗的。

    但是,就在這一步,算君居然想出了一個讓王崎都感覺驚異的想法。

    他並非是將單個的獸機關作為一個整體,而是將多個獸機關視作一個共同運動的整體。

    任何一個獸機關,都能與任意的幾百個獸機關,組成一個整體。它們通過自身的靈訊機能被聯繫在一起,共同運動。

    就好像凝聚態裡經常涉及的“振子”一樣,並非是將單個原子,而是將複數的原子視作一個運動的質點。

    這一套規則之下,這樣的“振子”可以隨生隨滅。在它運動的過程當中,不斷的有極微獸機關掉隊,又不斷的有極微獸機關補充進來。

    當然,這樣子,依舊不能解決不可預測的運動,導致信息丟失的問題。

    但是,算君解決問題的思路,真的讓人拍案叫絕。

    既然信息丟失不可避免,那就將這些丟失的量也納入考量之中,用多組“振子”去傳遞一段相同的信息。

    這也是量子算法所採用的方式。

    既然量子比特無法預測,那麼就用更多的量子比特來彌補這一點。

    簡單粗暴,但是確實很好使。

    組成“振子”的規則,簡短到不可思議的地步。它只佔用了單個獸機關一半不到的資源。

    很顯然,算君在編寫協議上,也是超乎想像的強大。

    剩下溢出的部分,就是隨用隨寫隨擦除的靈活部分。

    在這樣的網絡之中,信息的傳遞,也確實會是一個非常隨機的過程。

    但是,就算人類所面對的物質世界是“隨機”的,這隨機,也得遵循名為“大數定理”的法則。

    必然會像統計學理想概率收束。

    在這個網絡裡,信息並不是點對點的傳播——不存在“節點”,不存在“中心”,更不是什麼“P2P”。

    而是通過一套基於混沌的算法,像聲音那樣傳遞。

    在算君眼中,這個傳播,是非線性的連續過程。

    這樣,便是基本上使得獸機關集群,能夠自己負擔起操作自身所需要的計算資源了。

    還有些許結餘。

    當然,這個結餘的量不會太大。就算是覆蓋大地的獸機關,計算力也就相當於超算了。

    絕大多數來自於獸機關本身的計算力,都被消耗掉了。

    應該說,其中真正起作用的,反而是少數。絕大多數的計算力,都因為技術原因,而被不可避免的消耗掉了。

    不過,這不併不是“浪費”。

    沒有這個“浪費”的算法,獸機關也就只能向造太宇宙光螺那樣,成為……不錯的法器煉材。

    正是因為“浪費”了那些計算力,整個集群才能動起來。

    而且,這也僅僅是微觀層面的。

    實際上,只要集群的規模足夠龐大,這個集群整體,就會出現個體所不具備的,全新的功能。

    這個過程,就叫做“湧現”。

    生命,智慧,全都是“湧現”的產物。

    更大的群體上,神道,獸群種,天妒種,都是這種現象的產物。

    算君將更多的目光,放在了湧現後的功能上。

    在這一層,獸機關集群,甚至可以容納經典的馮氏架構,或者嫁接萬仙幻境的高層。

    但是,算君其實也只是看在萬仙幻境夠發達的現狀下,賞個臉罷了吧。

    “真是可怕的傢伙。”王崎喃喃:“類似於量子算法的算法、天物流轉之道、混沌算法、網絡協議……還有這個……我勒個去,函數編程都出來了。”

    函數編程,就算在二十一世紀,也算是高級技能了。

    當然,如果將蘭姆達演算這種遭遇圖靈機的玩意也算上的話,函數編程的歷史確實很長。

    但是真正要用上,也是九十年代才有的事情。

    “不愧是算君一個人憋了幾十年的大招,牛逼。”

    就算是王崎,也只能表示歎服。

    這可是平行於仙盟現有算器理論的技術,而且還有很多超前的概念。

    就算扔王崎所知曉的二十一世紀,也一樣相當超前。如果將這東西扔到二十一世紀,一樣會被全地球所有的計算機專家,當成神仙供奉。

    這是什麼概念?

    這大約就意味著,人類可以扔了所有衛星,所有基站,所有服務器,就憑移動終端,就可以在城市裡打造出智能網絡來。

    也就是功能和現在的網絡不一樣罷了。

    到那時,大概只有人跡罕至的地方需要額外的信號放大設備了。

    王崎之前對獸機關集群,也算是有所瞭解了。借助自己前世那些最前沿的概念,甚至是只存在於科幻小說中的設想,他才面前能夠理解這玩意。

    而現在,就好像是算君在親自為他講解這個東西。

    宇宙身處,數道陽炎長河的尾端,一顆純粹黑色的天體內部,一場蛻變正在展開。

    在“外殼”之下,站立在信息層面的虛相功體如同激盪的熔岩一般。而物質層的法力,則經歷著天體級別的大陸再造。

    但這一切,都是在沉默之中完成的。

    整個大日疆域之中,只有柯蘭蔭心有所感。他抬起頭來,看向王崎本體所在。

    “居然又有精進嗎?後生可畏,後生可畏啊……”

    他臉上的表情,混合著欣慰、喜悅、悔恨以及遺憾。
Babcorn 發表於 2018-9-9 10:41
第九十五章 一瞬的靈感【第四更】

     之後的幾天裡,王崎的進步都是飛快的。

    在過去,他也不過是利用起了這個獸機關集群宏觀層面湧現的部分。

    而現在,他已經涉足了獸機關集群的底層。

    其實,宏觀的層面,就夠他玩的了。在之前的戰鬥之中,王崎還沒有見過幾個能夠超過這個“宏觀層面”能力範圍的敵人。

    他甚至都不怎麼需要精密控制。天體妖靈級別的法力儲量,實在是太足了。阿露兒、真炎神這種“法”、“術”上強出他好多倍的修士,都被他用“貴的方法”生生砸死。

    如果只是為了應付這種層次的敵人,那麼他甚至都不需要深入更底層的部分。

    淺層就足夠用了。

    實際上,煉體修士,也不需要知道細胞結構,知道中心法則。他們只需要打熬身體就足夠了。

    不過,元嬰法對生命本質的突破,卻始終會深入更微觀層面的。

    而現在,他突破了藩籬。

    這種巨大突破,不亞於從“非長生”突破到長生境界的“登仙”。

    如果能夠吃透算君這本書的話,那麼王崎的實力就會像那些剛剛登仙的修士那樣,在現有增長的基礎上,實現對數式暴增。

    ——所謂對數式暴增,也就是在某個點後,一開始增長得飛快,快到不可理喻的程度,但是後來越來越慢的那種。

    絕大多數修士的修煉,都是線性增長。

    大境界的突破,就是對數式暴增了。

    不過,王崎倒也不是稀罕這一個“對數式增長”。

    就好像“摩爾定律”在觸及量子力學之前,是指數式變化。

    海神類特徵、規避合道極限的秘法……這些因素加起來,使得他王崎的法力,在觸及極限之前,也是指數式變化的。

    黑色的天體之內,無數的算符隨機生滅。

    功力每流轉一週,王崎的本體就精進一分。

    簡直爽到不行。

    不過,這種“觸摸底層”,實際上是有限的。

    算君的底層協議,被設置成了物理上的不可改寫。

    三個碳原子用被固化的鍵扣住了周圍,形成了固定的分子,儲存了不可改寫的底層協議。

    而獸機關集群所有自我複製,都會將這一特徵帶進去。

    整個機關設計得極為巧妙。這部分甚至是獸機關整體最為堅固的部分,也是大框架的關鍵接合點。如果有仙人想要憑藉那深入微觀的仙力強行改寫,那麼獸機關就會直接散架。

    所有極微獸機關都是這樣的。

    在算君之前,千機閣製造的那些不帶有這種協議,需要大量萬仙真鏡子器輔助運行的極微獸機關,也就是“極微獸機關0.XX”版本,全部都被用於製造太宇宙光螺了,被龐大的引力徹底粉碎,連一個個體都沒有保留。

    現在的“極微獸機關”,全部都是這樣的“1.XX”版本,全部帶有這個算君研究的底層算法。

    也就是組成“振子”的規則。

    不過,越是深入瞭解,王崎就越是意識到一件事情。

    這個技術,確實是平行於神州經典的馮氏架構算器沒錯。

    但是,它的內核,也確實沒有超出已知算學所容納的區域。

    裡面有一些關鍵的東西,能夠在地球的後續發展之中找到。

    兩個平行的科技樹,本質上都是藤本植物,都攀附在名為“數學”的喬木之上。

    它們的根基是一致的。

    “如果能夠將它吃透……不,是必須將它吃透啊!”

    王崎如此想著。

    他在他鄉書房的身體,終於放鬆下來,將手中的書稿,倒扣在桌面上。

    “走得很遠……比神州更遠,比我更遠,甚至在一些方面比二十一世紀的地球更遠……”

    “而在理論層面上,只要稍微走遠一點,效果就會經由‘黑箱’而成百上千倍的放大……”

    “當然,不可否認的是,在信息傳遞的過程中,算君選擇靈力作為載體,就很好的運用了靈氣‘向有序區域匯聚’的物理特性。就算有同樣的算法,地球也開發不出能夠將之實現的物理層……這是這個宇宙獨有的技術……”

    “但是話又說回來,電子計算機,也是運用了半導體與電子的物理特性。”

    王崎如此想著,臉上露出了由衷的笑意。

    “真是厲害啊。”

    “不過,只要將它解析出來,那麼,它就會變成我的東西了。”

    念及此處,王崎開口問道:“我看了幾天了來著?”

    “五天,神州日。”陳由嘉面前寫廢的草稿紙越來越多了。

    整個人縮得更小了。

    王崎手一揮,一團墨水從瓶中傾瀉而出,然後無數張紙騰飛而起。王崎手一揮,那些墨水分散開去,打在紙上,化作無數文字。然後,王崎熱力一運,那些墨跡瞬間幹了。無數紙張落在他的掌心,分成三摞。

    “複印了三本。”王崎點了點頭:“話說蘇師兄有回應了嗎?”

    “蘇師兄說,他最近一兩個月抽不出空,不過名額可以有。他叫我們自己先研究著。”陳由嘉盯著王崎。潛台詞是“他分明是叫我們先作這死再說”。

    王崎嚴肅的點了點頭:“終於有人敢看了……”

    “你腦子是被什麼踢了嗎?他明明是要看我們看完之後死沒死……”

    王崎故作驚訝:“這幾天你趁我神遊天外的時候踢我腦袋了?這可不行?”

    陳由嘉臉頰微微鼓起,呲牙。

    王崎抬起手,將一本複印本交給陳由嘉:“怎麼樣?還想不想要?”

    陳由嘉看了王崎一眼:“看你蠻有收穫的樣子?”

    “嗯,很得啟發。”王崎點了點頭:“而且是應用層面的,安全。”

    陳由嘉剛剛抬起手。但是,王崎突然手一縮:“不,我仔細想了想,還是別一個人看吧。我畢竟情況特殊,是天才……”

    “在認識你之前,我也是百年一遇的天才。”陳由嘉劈手奪過複印本。

    王崎卻似不放心,叮囑到:“別一個人的時候偷偷看啊,我的靈識會始終覆蓋在這裡的。”

    “靈識覆蓋,不應該是‘放心看’的意思嗎?”

    “我整體在蛻變之中,這個肉身能夠調用的力量有限啊。”王崎說道:“而且,道心崩潰,是外人救不了的。”

    陳由嘉揮揮手:“有事就去做。”

    王崎拿上另一本複印本,去找戴太沖。他出門還不忘回頭:“別冒險啊!”

    “去你的吧。”

    ……………………………………………………………………

    幾天的時間,也足夠戴太沖完成手上事務的交代了。

    他也隨王崎來到書齋。

    “我這幾天打算研究研究這個,由嘉呢,未來一段時間都會專心研究算器理論,所以戴師兄,你就暫時在這裡看書吧。”王崎指了指書房邊一張備用書桌:“畢竟,這書,不可否認,也確實存在一定的風險。”

    由於算君而道心崩潰的雲中君柯蘭蔭就在他鄉,眾人自然是不敢不防。

    戴太沖點了點頭:“理解理解。”

    因為新發現與過去的發現有巨大矛盾而道心崩潰,停滯不前,確實是可以理解的。

    但是,單純是因為思路無法跟上對手,而導致道心崩潰,就駭人聽聞了。

    算君的凶名,可是無數天才堆積起來的。

    鼎盛時期的算主,也無法等閒視之。

    確認所有研究者都在自己眼皮子底下之後,王崎才讓另外兩人翻看這一部分內容。

    戴太沖看了幾行,卻是“咦”了一聲。

    王崎問道:“怎麼了?”

    “啊,這個公式……”

    兩人交流片刻之後,王崎一巴掌拍在自己額頭上。

    算君這個算法的基礎,混沌理論,是布爾巴基學派沒有涉獵的領域。

    換句話說……

    現在的基派,一樣也沒有研究過。

    “咱們還是先從混沌說起好了……”

    而與戴太沖不同的是,陳由嘉只是看了幾頁,就沉浸了進去。

    不一會,她就有了自己的設想。

    由於王崎創建“形式語言學”的過程,她全程有參與的關係,所以,她也學會了某些全新的思維方式。

    她能夠感覺得到,算君其實也有使用算器語言。

    但是算君所使用的語言,跟過去的完全不同。

    可那依舊是“語言”,依舊在“形式語言學”的分析範圍之內。

    她想,或許可以通過從語言、邏輯的層面,來剝離算君在“語言”、“路秩”層面的思想,規避在物質層面的想法。

    她看了王崎一眼,發現王崎正忙於將一大摞書扔在戴太沖的面前。陳由嘉覺得現在不是開口的時間,所以打算自己沿著這個思路思考片刻。

    真的,只是稍作思考而已。她只是打算稍稍思考一兩分鐘,然後組織一下語言,在於王崎交流的時候,更有效率。

    可靈感偏偏就在這一瞬間擊中了她。

    她感覺到了那些隱藏在算君的算器理論之下的,那熟悉的東西。

    這是她之前幾天思索過的東西。

    陳由嘉手一翻,取出了馮落衣最新的論文。

    語言……邏輯……

    無限公理……

    自我指涉……

    在過去,她獨自咬牙在這一片迷宮闖蕩。她一次又一次的撞擊牆壁。她以為那只是徒勞。

    但是,現在,牆裂開了。

    她面前的,是一副左右兩側都已經完成的拼圖。
Babcorn 發表於 2018-9-9 10:41
第九十六章 世界觀碎了一地

     陳由嘉醒過來的時候,腦子還是木的。

    她感覺自己的腦仁似乎被換成了一個鐵疙瘩一般,還在嗡嗡作響。

    王崎就坐在她對面,膝蓋上還放著一本書。但是他沒有看,反而嘆息一聲:“由嘉啊……你在搞什麼啊?”

    陳由嘉張開嘴:“我可能……”

    “我在那邊還在聊著呢,你就直接咣當一下腦袋砸桌子上了。”王崎嘆息:“你知不知道啊,戴太沖那傢伙,當時給嚇得,就直接請假了,說要回去換換腦子……”

    陳由嘉張開嘴:“王崎,我……”

    “真的是……想不出來就不要強行想好不好?你不覺得累啊?啊?上一個這麼做的人,可還在天上看著咱們呢!”

    “你讓我說……”

    “我之前是怎麼跟你說的?啊?注意安全。不要想著和我比,我不一樣啊。”王崎嘆息:“你怎麼就是不聽呢?”

    “給我……”

    王崎覺得自己情緒醞釀得差不多了:“你知不知道,我很擔心……”

    “讓我說完!給我紙筆!”

    王崎目瞪口呆:“我覺得現在氣氛很好的啊……”

    陳由嘉咬咬牙,手一揮,三張紙和一桿硬筆自動躍入她的掌心。但只是這個動作,就已經讓她腦袋一疼:“唔……”

    “我剛才說什麼你沒有聽到嗎?”王崎皺眉,是真的有點不高興了:“唯有生者,可聞大道……”

    “我知道了!”陳由嘉開口:“我知道算君的做法了……那個……就是……”

    啪的一聲,她握斷了筆桿。

    王崎只得再抽了一桿筆,放在她手心:“別著急,別著急……你到底是想到什麼了?”

    “算君的思路和我……和你們一開始就不一樣。他使用的定義……他對算器語言有一套自己的理解。”

    陳由嘉在紙上刷刷的寫著,口中則解釋道:“他的思路和你,和馮落衣前輩,都不一樣。離宗和連宗的差距。”

    王崎點頭:“確實啊,但是……你找到了差距?”

    “兩者對比,可以提取出一個全新的概念。就好像你的那個‘形式語言學’一樣……對語言……不,不對……”陳由嘉一時之間也找不到合適的詞彙去形容這種差距。她也只能默默寫著。

    王崎卻是瞭然。

    陳由嘉剛才莫名其妙昏迷,是因為她猛然觸及道了一個“靈感”,然後不住不絕中調用了全部心神,導致腦力消耗過度,過載了。

    但是,修士就是這點好。

    一瞬間的過載,換來的可是實實在在的成果。

    王崎就看著陳由嘉慢慢的寫著。

    很快,一大圈算符就躍然紙上。

    王崎一愣:“你在幹什麼?”

    陳由嘉睜大眼睛,瞪著他:“我剛才觸及了算君那成就之中的算理……很模糊的感覺,但是另外一個修士的論文之中,其實有提到……這毫無疑問是連宗思路,只不過有連宗修士用離宗的方式將它表述了出來——你看看這個?”

    說著,陳由嘉掙扎的從床上爬起,卻發現這裡已經不是書房了。

    “那一摞論文呢?就是那……那……那神州土特產?”

    王崎明白,陳由嘉這確實是領悟到了什麼。他生怕打斷這種狀態,直接掏出了論文:“你看,這就是……”

    陳由嘉一手將那些論文躲過,然後找出一篇:“嗯,在這裡。”她快速的掃了一遍,然後扔給王崎:‘你也看看……他重新定義了邏輯。’

    王崎眨眨眼:“海霆……哦。”

    主動學習離宗技巧的連宗逍遙。王崎還有印象。

    “他和算君同屬於連宗,所以這套表述,就很接近算君了——雖然,雖然,感覺,就那種感覺,並不是一致的。”陳由嘉平時就不怎麼愛說話,現在更是詞窮。她只能用手指戳了戳論文:“你看看這個,就這一段……”

    “嗯,很有意思……”

    “這個,通向算君的成就。”

    陳由嘉如此說道:“這個是一篇鑰匙,鑰匙,指向了……”

    她急得跺了跺腳。頭疼讓她更加難以阻止語言了。

    王崎看著那些論文,卻漸漸愣住。

    他抖了抖另一篇論文:“難道是馮老師這篇?”

    “沒錯,這也是一部,但是不是全部……”陳由嘉接過論文,也掃了一通:“通過良基集的研究,證明無窮公理的安全性……方向……就是,方向……”

    陳由嘉拍了拍腦子:“辰風……辰風……辰風……唔,以前聽說的,叫什麼……叫什麼——算君那本……算了,暫時先不能看。我記得算君有說過,他最開始的嘗試……”

    “模擬腦神經系統……”王崎思考片刻,脫口而出:“卷積變天式?【卷積函數】”

    在地球上,“人工神經網絡”的歷史,比計算機還要早。早在一九四三年,就有神經生理學家和數學家合作,研發人工神經網絡。但是單個人工神經元甚至無法計算異或。多個人工神經元連接成網絡就可以克服無法計算異或的問題。但是對於這樣的網絡——多層感知機網絡,當時的人們沒有發現訓練它的方法。當時的學者認為,這樣的網絡是沒有前途東西。人類無法在這樣的網絡之上進行工作,或者像今天這樣訓練他們。

    直到他們引入了一種叫做卷積函數的數學工具。

    不同卷積函數的組合,可以很好的模擬神經系統的脈衝狀況。

    只不過,這個過程,在神州是反過來的。

    由於靈氣帶來的巨大技術黑箱,圖靈真人第一次嘗試,就完成了原始算器模型,然後發現這東西呈現出了卷積函數的特徵。

    多年之前也算是陽神閣和萬法門的交叉部分了。

    只不過,現代算器發展之後,這部分的研究就不那麼重要了。人們要的不是“像人的算器”,而是“具有特定功能的算器”,或者“像算器的算器”。倒還有人在研究它,但研究者還是陽神閣的居多。

    “算君的設計……你還真別說,從這一點上還蠻復古的。”王崎點了點頭。

    “由於這個,我抓住了算君的思路……所以也看穿了一點。他使用的‘語言’,也是自成一體的。”陳由嘉點了點頭。她一輩子都麼說得這麼快過。她繼續指了指馮落衣的論文:“良基集的超窮總體……這是一個思路……這個……”

    最後陳由嘉也沒有找到合適的詞,只是說:“這算是一邊。”

    然後,她又說道:“你的形式語言學,算君自成一體的語言,然後那個……現有算器理論,是另一邊。”

    “在馮前輩、海霆前輩的邏輯基礎上……我完成了……形式語言學那樣,對‘語言’的定義、分類……”

    陳由嘉舒了口氣,然後繼續寫下去。

    王崎卻突然石化了。

    “嗯,雖然說……有點懷疑,牡丹石,不會就是‘那個’吧……”

    王崎喃喃自語。

    很快,陳由嘉就寫好了。然後,她才安心的倒在床上。

    “我勒個去,不是放下最後一點執念然後升天了吧?”王崎急忙拍了拍陳由嘉的臉。

    然後被一巴掌呼開。

    “嗯,還好只是累了。”王崎點了點頭,然後看了看陳由嘉寫下的東西。

    咔……咔……

    地板無聲無息的裂了。

    轟。

    桌子粉碎。

    就連床到垮了。

    結果,片刻之後來探望陳由嘉的趙清潭被嚇到了:“你們兩個,玩得這麼粗暴嗎……不是我說,師妹剛剛心力耗竭……”

    “不,只是我稍稍有些法力外洩而已。”王崎揉了揉自己的臉,手一揮,所有碎片開始還原。

    而這個過程當中,陳由嘉還昏睡著。

    王崎搖搖頭。

    “你怎麼了?”趙清潭很是好奇。

    “如果我說,算器領域,注定是連宗的天下,你信不信?”王崎沒頭沒腦的問了一句。

    趙清潭打了個哆嗦:“算君真的如此厲害?”

    “不,只是我一時被震驚了,胡言亂語而已。”

    王崎扶額。

    就在剛才,他突然意識到,自己好像產生了什麼根本性的錯誤認知——也就是一重知見障。

    他剛剛想起來,地球上計算機科學的支柱,是直覺主義……

    直覺主義……

    居然是直覺主義啊!

    怎麼說呢……

    由於這個世界,蒼生國手馮落衣一直都在,機老圖靈一直都在,算器理論算是蓬勃發展了。他也下意識的就認為,這個領域就是離宗的天下。

    嗯……

    這麼想,也不是不對吧。

    畢竟,馮·諾依曼、阿蘭·圖靈等計算機研究先驅的同位體,在這個世界,確實都是旗幟鮮明的離宗算家。

    但是,地球計算機理論的後續發展,跟這個世界,完全不是一路。

    除了誕生得更晚,只能說是“偏向連宗”的逼近論外……

    計算機科學三大支柱之中的直覺主義、類型論……

    按照這個世界的分法,全部都是……

    連宗的算理……

    沒錯,雖然形式主義和直覺主義水火不容,而計算機是形式主義數學家鼓搗出來的。

    但是,後來計算機發展,卻是仰仗了亨利·龐加萊的一干徒子徒孫!
Babcorn 發表於 2018-9-9 10:41
第九十七章 靈氣宇宙技術史的風格【第二更】

     王崎失魂落魄的說道:“想不到啊想不到……平素裡,我居然也會產生如此嚴重的知見障……真是,一刻也放鬆不得……”

    王崎如此說道。

    怎麼說呢……

    地球的數學史上,形式主義與直覺主義的戰爭,確實是打得慘。

    但是,打完之後的故事,就不是那麼膾炙人口了。

    往後一段,數學史大書特書的就是布爾巴基學派,就是掌握了數學半壁江山的教皇格羅滕迪克,就是朗蘭茨綱領。

    至於形式主義和直覺主義……準確來說是新形式主義和直覺主義,倒是也是有人在搞。

    但終歸是邊緣了,在歷史上也就不那麼耀眼了。

    嗯,怎麼形容呢……

    歷史系研究清代史的,總比研究南明史的要多一些不是?

    明朝在如何“天子守國門,君王死社稷”,南明也只是一條丟了祖上基業的鹹魚,連逐鹿的資格都沒有。

    史愛好者看到崇禎這兒,也就算了,有多少人還會專門研究南明這條鹹魚呢?

    大概就是這樣了。

    說實話,直覺主義和形式主義的徒子徒孫,在後續也不是沒有成就的。

    比如後面的遞歸論,可以算是典型的“離宗成就”了。

    但無論是離宗特徵明顯的遞歸論,還是連宗特徵明顯的類型論,它們都有一個共同的特點——那就是屬於計算機科學的一部分。

    或者說,乾脆就是依附於計算機科學而活的。

    換言之,都是計算機科學麾下的打工仔。

    這也確實稱得上是淒淒慘慘慼慼了。

    在亨利·龐加萊晚年的時候,初出現的直覺主義,就好像西周王朝一樣,乃是天下共主。

    而大衛·希爾伯特時代的直覺主義,就好像是東周王朝一樣,空有一個“正統”名號,卻沒人在乎它了。

    ——如果考慮到形式主義、直覺主義和邏輯主義三方混戰的場面,或許用“蜀漢”和“東漢”來比喻更為合適?

    而到了更後面,直覺主義就越發弱勢了,幾乎就是個弟弟。這就好比是戰國時代的周王室後裔,說出去吧,也算是個身份。

    但是那邊的布爾巴基學派都要奮二世之餘烈玩“秦王掃六合,虎視何雄哉”了,誰還在乎你區區“周王室後裔”來著?

    到了那個時候,形式主義和直覺主義,也就只能搞搞應用了。

    “數學根基”這種涉及九鼎的正統之爭,他們摻和不了。

    這也是王崎從歌庭派抽身而退的原因。歌庭派傳承有序,就算當初何外爾真的願意給他一定的權限,他也沒法扭轉歌庭派那種風氣,來復刻布爾巴基學派的成就的。

    就算算主不再,何外爾,艾若澈,都是相當強大的算學家。

    他沒法一下子就建立起自己的影響力來。

    但是,不管怎麼說,布爾巴基學派,按照這個世界的分法,都算是離宗學派了。

    他是斷然沒想到,“類型論”這個典型的連宗成就,會誕生在一個基派成員手裡。

    尤其是這個成員還是他老婆。

    “世界觀都要受到挑戰了啊……”王崎摀住自己的腦袋:“媽耶,媽耶……”

    趙清潭也是僵住了:“這怎麼可能……”

    “是啊……這怎麼可能?”

    趙清潭一愣,驚到:“難道說,算君的一本書稿,就能將一個離宗弟子,洗成連宗弟子?這麼危險?”

    “這個……好吧,由嘉她小時候其實更喜歡應用方向來著……說不定她是我們當中最不在乎離宗連宗分野的人。”王崎這麼說道。

    趙清潭卻是不敢看那算君書稿了。他直接問王崎:“師妹到底想出了什麼?”

    王崎一愣。

    …………………………………………………………………………

    天宮之內,柯蘭蔭鬆開了自己握著天劍的手臂。

    他發現自己背後已經全是冷汗了。

    “真是嚇人啊……”

    他很難形容剛才那一瞬間,王崎整體發生了什麼樣的異變。他覺得王崎的氣息突然之間變得像個炸彈一樣,好像隨時都會崩潰一般。

    那個時候,他幾乎以為是龍皇預言發作了。王崎就要完蛋了。

    而他天體妖靈級數的法力,也會給這個大日疆域留下難以磨滅的影響。

    但幸好,這種感覺只有一瞬。

    但是,柯蘭蔭卻還是感覺到一絲驚惶。

    “這種活兒不能讓我一個老頭子來幹吧……真是,我都落伍多少年了……”雲中君無奈的自嘲道。

    應該給打個申請,讓他們多派一兩名逍遙過來的……

    最好還得是那種強力一點的,不然還真幹不過這個晚輩。

    ……………………………………………………………………

    在地球歷史上,“類型論”是用來突破哥德爾不完備定理的嘗試。實際上,它多少也成功了一點。哥德爾第一不完備、第二不完備都被接連突破。

    只不過,這也只是“淺層”而已。

    哥德爾不完備定理,至今沒有被完整的突破過。

    直覺主義一向是將“數學”看做是人類智慧的構造性活動的。

    在計算機日益發達的時代,直覺主義的研究者,就提出了一個全新的口號。

    “定義即構造,構造即證明,證明即程序”。

    他們打算借用形式主義者開發出的計算機器,來證明自己的數學理論。

    研究一個類型級別的數學實體,就需要比這個類型相等或者更高的元數學。

    所以研究涉及無窮超窮的數學實體,就成了需要無窮超窮的元數學。

    而直覺主義是不承認“無限的實體”存在的。

    就好像物理世界不存在一個“無限實體”一樣。

    最最嚴苛的類型系統,是沒有循環和自指的。

    因而,這個系統,即使是涉及到“無限”的問題,因為並不會造成無限的邏輯迴環,所以仍舊可以停機。

    因為強規範化的類型系統,都是有窮終結的,也就是一切函數都可以停機並且給出唯一結果。

    不存在自我指涉與無限循環這兩個停機問題上的幽靈。

    這是在犧牲圖靈完備的前提下,對停機問題的一次利用。

    也就是說,“類型論”是基礎數學領域的成就。

    而由此衍生的,就是一種絕對可靠的計算機語言。

    或者說“一類”。

    也就是“強類型”語言。

    由於是“最嚴苛”的系統,所以強類型語言的自由度真的很低。尤其是其中的“強規範類型”,由於犧牲了圖靈完備,所以這種語言非常容易發生邏輯上的矛盾。有一點錯誤就會產生直接停機。

    不過好處就是,這種類型的語言,永不出錯。

    可說真的,你聽說過可以號稱“永不出錯”的語言嗎?

    你的Windows沒有藍過屏?你的安卓沒有死過機?

    那卻是因為,強規範類型,真的不是一般人人玩的。

    正是因為如此,強規範類型語言,並沒有在碼農之中流傳開去。想要用好強規範類型,就必須背下和推算一大堆指針和參數的類型。只有完全對得上,程序才會運轉。有哪怕一點對不上的,就會直接停機。

    這就是犧牲了“圖靈完備”的惡性後果了。

    說真的,這也蠻考驗水平的。可以說,圖靈完備,使得一些普通人也能參與到“編程”這個工作之中。而當“圖靈完備”被犧牲的時候,對編程的智商要求就提高了。

    但另一方面,高智商的人才,通常會更喜歡自由創作一點,也不耐煩背那麼多東西了。

    這也是業界拋棄這類語言的原因——這類語言不能被廉價程序員掌握。

    不過,正是由於它穩定可靠,所以航空航天事業也有使用它。

    畢竟,這東西要是死機,那就是上億元打水漂了。

    如果從類型論的觀點來看的話,那麼……王崎之前的萬象卦文,應該算是……無類型語言。

    無類型語言的自由度高,可以領高等數學的計算過程直接在物理機上實現,且更接近人類的思維習慣。

    或者更接近地球類型論誕生之前的那些高級語言,屬於“類型不安全”的範疇。

    ——甚至可以說,萬象卦文同時具有“無類型”和“類型不安全”的標籤。

    自由是自由了,但是相對的,這東西也一樣不是很好用。

    如果真的發生了編譯錯誤,那麼計算機就很有可能輸出無法預料的結果,而非直接停機。

    這就意味著,碼農必須非常瞭解自己碼的是什麼,甚至需要利用自己的心算能力,為自己碼的東西糾錯。

    這對程序員的能力要求,也很高。

    只不過吧,在這個世界,只要兼修一下爻定算經之類萬法門功法,就可以解決這個問題了。

    也就是說,大家這麼多年了,其實也沒介意當個人肉糾錯器。

    這是這個理論在地球上的大致狀況。

    而在這個世界,情況就有點詭異了。

    陳由嘉,是借助神州現在離宗連宗論戰的東風,從算君的獸機關集群算法之中,反推出這一道理論的。

    而且,還是從形式語言學上的得到了靈感。

    形式語言學可以算是計算機科學平行發展的一支。

    但是,這個過程……

    也確實……

    充滿了這個宇宙技術史的風格。
Babcorn 發表於 2018-9-9 10:41
第九十八章 型論【第三更】

     類型論的根基,是直覺主義邏輯。

    海霆真人已經將離宗的“邏輯”吸收了過來,重寫了算術公理,完成了連宗的邏輯。

    類型論的目標,是“突破哥德爾不完備定理”,思路是“切斷自我指涉”。

    算主提出了繞過“哥德爾不完備定理”的思路,包括了“切斷自我指涉”。

    馮落衣為了證明“無窮公理”的安全性,而沿著這條思路走了下去。

    可以說,萬事俱備了。

    然後,算君就貢獻了……包含類型論結果的成就。

    也就是獸機關集群的混沌拓撲網絡算法。

    算君並沒有單獨提出“類型論”,因為他確實對大家爭來爭去的基礎算理不感興趣。

    但是,他也確實是天才,憑藉自己的思考,就完成了這樣一個嚴苛的系統。

    這就好像用coq語言給你寫一個完整的操作系統,還能運行得很順暢,甚至界面還很優美一樣,匪夷所思,令人驚嘆。

    王崎甚至懷疑,算君這一套做法,並非犧牲“圖靈完備”,而是……算君壓根就沒在意什麼“圖靈完備”。

    獸機關集群相當安全。用類型論的理論來看,它就是絕對的“強規範強類型”,不會輸入任何“預料之外”的結果。一旦有丁點錯誤,就會直接停機給你看。

    而在宏觀上,則可以兼容馮落衣這一系的成就。

    而就算宏觀上的算來出現了問題,也智慧導致宏觀層面的集群暫時失去凝聚力,而不是使得獸機關本身失控。

    王崎思來想去,這種一不留神就滅星的玩意,也確實需要這種死板的東西來約束了。

    如果要他用無類型、類型不安全的萬象卦文直接寫底層……

    哈哈……哈哈哈哈……

    可以說,類型論誕生的一切條件,都已經完好了。

    只是目前,神州的連宗修士,對算器還有些不夠重視。

    他們還盯著基礎算理的那一塊,想要在這方面與離宗,與歌庭派決一死戰。

    對算器理論偶有涉獵,也只是為了“駁倒對方”而已。

    但另王崎險些三觀盡碎的是……

    這樣一個地球歷史上是來自基礎數學的成就,在這個世界,居然是從應用反推出去的……

    “哈哈……哈哈哈哈……”王崎只得表示:“我感覺自己的知見障也確實蠻嚴重的……”

    儘管今法修士從來都是以“打開黑箱”為榮,但是,在這個宇宙,就沒辦法完全規避“黑箱”帶來的法術。

    或者說,就沒誰可以在無黑箱的情況下生活。

    舉個最直接的例子好了,如果非要懂得“中心法則”才能生娃的話,那人類就不用繁衍了——不過相對的,病毒也就不會傳播了。

    先有“應用”而後有“理論”,在哪個世界都是很常有的事情。

    趙清潭錯愕道:“師妹這成就,相當了不起啊……”

    “是啊,相當了不起。”王崎搖了搖頭:“神州怕是又要變天了。”

    “什麼意思?”

    王崎道:“構造新的高級算器語言,變得更加簡單了,因為有人直接將‘語言’的本質挑明了,所以,大家也就知道怎麼構造‘傻子都能用’的語言了。”

    強規範、強類型對智商的挑戰在於,你必須戴著鐐銬跳舞。因為失去了圖靈完備,所以真的一點容錯率都沒有。

    類型不安全、無類型對於智商的挑戰在於,你永遠也不知道會輸出什麼bug。

    那麼撒尿蝦和牛丸合在一起做撒尿牛丸的思路,也就有了。

    同時兼備“類型論”與“圖靈完備”的語言,也是存在的。

    它確實是兩邊都不討好。

    這種語言,多是討好“下面”的。

    由於有類型,所以不會輸出完全無法預料的結果。

    由於有圖靈完備,所以有一定的容錯率。

    碼農鄙視鏈底端的大眾化語言,也就誕生了。

    這種玩意,王崎馮落衣不會主動去開發,算君壓根就不會想著這回事。

    但是,這卻無異指出了一條明路。

    只要奔著這個方向走,那些程序猿用的語言,總會誕生的。

    “而且,這在基礎算學部分……也算是有意義吧?”王崎如此說道。

    趙清潭笑了。

    離宗連宗,歌庭少黎一類的名頭確實響亮。

    但是如他一般的修士卻堅信,基派的“結構”,才是下一個時代的力量。

    第二天,陳由嘉醒來,聽王崎將這些東西介紹一遍之後,也愣了。

    “我這麼厲害的嗎?”

    女孩愣愣的眨了眨眼睛。

    王崎點了點頭:“超厲害。”

    陳由嘉眯起眼睛,笑了。

    可旋即,她有有些疑惑:“這個……算是基礎算學?我原本是要開發應用……”

    “這對解析算君的成就,非常有用。”王崎說道:“再者,你是從算君的‘應用’之中反推出來,也算是一條‘從理論指向運用’的道路了。”

    類型論,和函數編程也是息息相關了。

    儘管在地球上,Lisp一類可以實際使用的函數式編程,早在類型論之前就開發出來了,但這並不妨礙類型論讓整個編程,尤其是函數編程的藝術再上一個台階。

    布爾巴基學派理論通嚮應用的障礙,又消去了一個。

    王崎深吸一口氣,嚴肅道:“但是,師妹,這個還不算完。在你手上,這個類型論,也只是剛剛成型而已。”

    陳由嘉一愣:“你叫它什麼?類型論?”

    王崎點了點頭:“定義語言類型……你又什麼不滿嗎?”

    陳由嘉笑了:“感覺會被你的類論【K理論】蓋過名頭啊。”

    王崎一愣。這可是前世語境下不存在的麻煩。

    “那就喚‘型論’咯。”

    “聽起來和你那‘類論’是一對兒啊,不妥不妥……”

    王崎勾起陳由嘉下巴,反問道:“一對兒,有什麼不妥?”

    “別鬧,這兩個理論在算學領域天差地別……”

    “名字相似而已嘛!”

    笑鬧之中,這注定震動歷史的理論,算是敲定名字了。

    陳由嘉卻突然嘆息:“這一次,還真是機緣巧合……若是沒有海霆真人、馮老師的論戰,我絕無可能觸及算君的那一絲‘想法’;而若是沒有算君的書稿,我縱使窺得門徑,也未必能入……”

    “自信一點。”王崎拍了拍陳由嘉的腦袋:“你也足夠強了。”

    興奮過後,陳由嘉忽然又有些擔憂:“話說,基派算學,主要就是為了那算學根基。這次我論文發表,那便是……便是以連宗的身份加入現在的論戰了吧?是不是……不大好?”

    一個學派,總得有一個學派的理念一以貫之。

    王崎思考片刻:“我看沒什麼不好啊。我發表不周之算的時候,可還算歌庭派編外成員呢。”

    “啊?我總覺得你做了個不吉利的比喻……”

    王崎擺手:“想哪去了……總之,不周之算,算是我萬法門內崛起的一個點,也算是基派的原點了吧?可以說,連宗離宗的上一場論戰,就是由我終結。而現在,也就是他們最後的論戰,也算是因我而起。”

    現在離宗連宗,都在嘗試對不完備定理髮起挑戰。王崎這麼說,也沒錯。

    “我也正是因為這樣,才有了組件基派的資本。”

    “這一場紛亂,因基派而起,那麼,由基派成員終結,也並無不妥。”

    陳由嘉語氣一滯:“終結……”

    王崎點了點頭:“終結。我該說……去吧,終結這個舊世代。”

    陳由嘉忍不住笑了:“說得好像歌庭少黎恩怨都要終結了一樣。”

    王崎沒有笑。事實也差不多就是這樣。

    這個世界和無靈氣宇宙的數學規律基本一致。在可預見的方向上,直覺主義和形式主義必然衰落。

    就算有不同,那頂多也就是……算君還活著,所以直覺主義不至於淪落成給計算機科學打工,而是反客為主,讓直覺主義主宰計算機科學領域?

    這也只是最“壞”的可能了吧。

    畢竟,馮老師、圖靈真人也沒有跪不是?

    王崎說道:“蘇師兄也在關注這方面,你倒是可以跟他交流一下。”

    陳由嘉點了點頭:“對了,你能夠聯繫上算君嗎?”

    王崎一愣:“幹什麼?”

    “請教,還有致謝。”

    “你不要命了?”王崎驚呼:“你不是剛剛才心力耗竭嗎?而且謝他幹什麼?寫書給其他學者看,不是天經地義的事情嗎?啟發其他學者什麼的……”

    “你自己說的,何必畏懼算君?”陳由嘉語氣平靜:“不只是算君,馮老師,海霆真人,都得致謝。當然,還有順便請教。”

    王崎咧嘴:“你不覺得……這有點太冒進了嗎?”

    “你不幫忙,我找我父親去。”陳由嘉盯著王崎。

    雖然他鄉遇故鄉神州之間有通訊限制,但是,陳景雲也是逍遙修士,他親屬跟他通訊,還是不受限制的。

    但陳由嘉想找算君就難了。

    王崎舉手:“別,別,從地球轉發還耗費仙盟寶貴的帶寬,不值當,不值當啊。我幫你發函總行了吧?”

    他是長生者待遇,而且密級夠高,還剛好知道算君現在在那個旮旯底,還真能寄信給算君。
Babcorn 發表於 2018-9-9 10:41
第九十九章 前奏【第四更】

     當妹子說出“你不幫我我去找我爸幫忙”的時候,大約是個男人就得服軟吧。

    王崎是這麼認為的。

    陳由嘉和陳景雲關係緊張,多是因為陳由嘉愛鬧彆扭。實際上,陳景雲一直對女兒心懷愧疚,覺得沒有照顧好女兒。所以,陳由嘉找他幫忙,他多半會去幫的。

    至於其他……

    王崎覺得,自己老丈人未必會意識到女兒找算君是一件多麼危險的事情吧?或者一思考就忘了什麼的。

    這一點,陳由嘉也是這麼想的。

    但毫無疑問的是,陳景雲多半會幫轉。

    所以,王崎覺得,這還不如自己來呢。

    之後的三天,陳由嘉都在想辦法完善這型論。

    與此同時,她也寫出了初步的論文,並將部分稿件與致謝函放在一起。

    而在這個過程當中,基派則依舊按照自己的步調走著。

    他們不會為了這等事情而停下自己的腳步。對於算學家來說,沒有什麼比“算學的根基”更為重要的事情。

    甚至王崎也不再去毓族聚居地。他將形式語言學完全交給了子虛易等新一代的毓族算學者,自己則只是抽空指點。

    他也回到了基派的工作上。

    整個學派有條不紊的運轉,一點一滴的推進。

    他感覺,自己距離下一個關口更近了。

    ………………………………………………………………………………

    無光天牢,算君接到了新的信函。

    “致謝……”算君眉毛微微揚起。這倒是很罕見的理由。

    而且……陳由嘉……這個名字很陌生啊。應該是最近才出頭的新一代。卻不知道找自己做什麼。

    這樣想著,算君繼續閱讀。

    然後,他笑了:“呵呵,居然是那一份文稿嗎?還行,有人能夠做出點新東西。”

    他帶著這樣的表情,仔細讀了一遍,然後又掃了一遍。

    第一遍的時候,還有點興趣。但第二遍,臉上的笑意就逐漸減少了。

    “只是這樣啊。”他如此想著,感覺稍稍有點掃興。

    他對這東西倒不是特別看重。

    不過,對他來說,這一篇論文,也確實有點用處。

    起碼,能夠讓他更好的理解獸機關集群——但沒這篇論文,他也不是不能工作。

    “總歸是承你的情。”算君自言自語著,放開一個幻術界面,帶著兩分認真的,寫了一封回函。

    ………………………………………………………………………………

    神州本土,馮落衣震驚的看著自己手上新的信件。

    “陳由嘉……王崎那邊的?”

    他實在是無法理解。

    為什麼,這種帶有典型連宗思維特徵的論文,會出自一個……離宗弟子之手?

    真的是非常古怪。

    但是,這東西,確實闡釋了一些獸機關集群的混沌拓撲網絡算法的精髓,解答了一些疑惑。

    但也只是闡釋了部分而已。

    算君的成就,可還沒那麼簡單。

    馮落衣忍不住又看了一遍。

    他本能的感覺到,這一片看上去好像離宗連宗算理雜交產物的論文,蘊含著巨大的可能性。

    於是,他快速連上了圖靈真人。

    “圖靈道友,我這裡有一篇論文,很有意思,希望你能看一看。”

    半個時辰之後,圖靈真人出現在萬仙幻境之中:“這篇論文,真是了不得啊。”

    對於類型論犧牲圖靈完備的做法,他倒是沒有任何意見。相反,他還覺得挺有趣的。

    第一次想到有這樣的結構。

    如果說“圖靈機”的構想是畫地為牢,那麼“類型”就是一副枷鎖,將使用者牢牢束縛。

    他確實是覺得這樣很有趣。

    圖靈真人顯得有些激動:“根據這理論當中的一些東西,我覺得,可以重新構造出一門全新的高級算器語言了——這能夠極大的造福千機閣弟子!”

    “語言?哦,語言!”馮落衣突然問道:“《形式語言學》,你已經瞭解過了嗎?”

    “怎麼可能不瞭解?”圖靈真人瞪大眼睛,反問道:“你弟子的成就,你自己就不關心嗎?”

    “嗯……瞭解倒是有瞭解……”馮落衣沉吟。

    形式語言學,他瞭解得確實不多。

    這幾個月裡,歌庭一直在秘密聯繫他,邀請他再做元算之算。

    本來,馮落衣就覺得是自己支持王崎入道,而王崎的不周之算,否定了元算之算,他也頗為愧疚。

    這大半年來,他的精神都投入其中了。

    “有了王崎的形式語言學,做算器的語言,也就容易了許多。”圖靈真人說道:“我覺得,你也可以好好瞭解一下。”

    馮落衣點了點頭:“確實……”

    ——不過,王崎發展“形式語言學”,也是為了這一成就做鋪墊嗎?

    ——端是深謀遠慮!

    “下一步,我打算嘗試將類型納入我的算器結構之中。”圖靈真人如此說道:“說不定能夠做出什麼東西來。”

    馮落衣點了點頭:“嗯,王崎也是一般看法。”

    只是,他始終有一道心思,放在元算之算上。

    陳由嘉關於“無限公理”的闡釋,也確實給了他靈感。

    他已經想好自己的下一篇論文了。

    ……………………………………………………………………………………

    “嘶,真是天才的想法!”海霆真人卻比其他幾人都要直接很多。

    他看上去更為年少,從外表上看,倒與新崛起的一代修士更像是同時代的人物。

    “陳由嘉……我記得,是王崎的道侶。”

    “這麼說來,是那個基派,也意識到自己過去的錯誤,想要來參悟連宗算理了?”

    ——不。

    他自己否定了這個想法。

    一個人轉變想法,雖然困難,但還是有可能的。而一個學派,就沒辦法了。

    黎京學派,分為老黎派和少黎派,也是這個原因。

    白澤神君是離宗修士,自然不會容忍算君這樣的異端。

    好在白澤神君尚有容人之量,沒有打壓算君。

    但就算如此,少黎派還是自立了。

    就算基派成立時間尚淺,也不至於就這樣集體轉向。

    “個人的行為?還是王崎的授意?”

    他也注意到,陳由嘉進行語言分類的時候,思路與“形式語言學”有一定的相似之處。

    但形式語言學使用的算理,卻是典型的離宗算理。

    “但不管怎麼說,陳由嘉也是王崎的道侶。若是她能夠倒向連宗,對連宗也是一大好事。”

    ——若是能夠憑此影響王崎,就更好了。

    這樣的小小想法,就連海霆真人自己也沒有意識到。

    他自己也不相信,王崎那樣的修士,會因為其他人的因素,而改變自己對算學的看法。

    能夠影響王崎的,只有王崎自身而已。除非王崎是自己推導出新的算理,否則,沒人能夠強迫他改變心念。

    但他還是寫得很認真。

    或者說,他就是抱著“傳道”的心思,指點後輩了。

    畢竟……要是有“萬一”呢?

    ………………………………………………………………………………

    陳由嘉很快就收到了三封完全不同的回函。

    其中,算君的回函,是最先抵達的。

    在王崎的堅持之下,陳由嘉在基派眾人的面前,拆開了算君的回函,然後小心的閱讀。

    算君的回函不長,也沒有什麼客套話。

    但是,他卻是很簡單的指點了陳由嘉的思路,並告訴她,按照這想法,可以朝那個方向研究,對應獸機關集群算法的哪個部分。,

    連宗第一人、獸機關集群算法的開創者的親自指導,自然是異常珍貴的。

    陳由嘉甚至感覺,自己的面前,出現了一條新的明路。

    而另一封,則是海霆真人的回函。

    這一份就厚了許多。他卻是從基礎乳溝,在各個方面介紹了連宗的邏輯構造。

    這卻是很好了補充了陳由嘉的連宗算理認識。

    怎麼說呢,她的父親和丈夫,都是典型的離宗修士,就算她初出茅廬之時有心算連宗算理,也學不了多麼高深的東西。

    這一份,卻是解了陳由嘉的燃眉之急。

    馮落衣的回函,卻是姍姍來遲。

    他的回函,甚至還包括一篇完整的論文。

    是關於無限公理安全性的論文。

    而與論文一同寄來的信件,就私人了很多。馮落衣甚至很客氣的表示陳由嘉給他提供了新的靈感,還問起她和王崎的近況如何。

    三封回函,都頗有價值。

    陳由嘉在吃透海霆真人的回函之後,就將自己最近的心得寫出,準備寄給遠在神州的蘇君宇。

    整個基派,目前也就只有他們兩個在這一塊打轉了。

    馮落衣和王崎都表示連續統也算是基礎算理的重要部分,又與後來的算器理論有一定的關聯。和蘇君宇交流,說不定意外的有用never?

    然後,她就開始研究算君之處的道路了。

    ……………………………………………………………………

    數日之後,神州,萬法門內。

    蘇君宇接到了他鄉的來函之後,一臉懵逼:“我勒個去,這麼猛的?算君的書稿這麼有價值?”

    想到這裡,他就感到萬分糾結。、

    最終,蘇君宇選擇提筆寫信:“師弟啊,你們那邊的最後一個名額,還沒用掉吧?”
Babcorn 發表於 2018-9-14 08:59
第一百章 序幕

     後世的歷史學家很難形容歌庭派與少黎派的最後一場大規模論戰。

    這一場大亂鬥,牽涉了萬法門當今一代幾乎所有的天才,所有能在“基礎算理”這個領域發言的前輩修士,也都表露出了自己的想法。

    唯有兩個“有理由出現”的人沒有參與。

    算君照例缺席了這種在他看來不痛不癢的論戰上。

    而王崎則在他鄉忙著自己的基礎算學,也無心參戰。

    但就算如此,這一場論戰的影響,也已經超過了過去的每一場論戰。

    元算之算雖然統合起了巨大的力量。但本質上,它也只是離宗內部的動作。

    算君早就去了星海之間。同時代的連宗修士,全部都被算主一個人壓制。

    當時這一次不同了。

    除開那兩個不屬於這個時代的天才人物之外,這一次論戰所牽涉的力量更廣,影響力也更大。

    它甚至不是單純的純粹算理層面。

    此時此刻,萬仙幻境已經成為仙盟的基石之一,每一個門派的修士,都已經習慣了租用萬仙幻境的演算量進行研究工作。

    而算器理論的基石,就是歌庭派、千機閣那幾人所完成的“算理邏輯”。

    不同於地球,締造出可以工程實現的計算機器比較困難。在靈氣黑箱的基礎上,所有這一領域的演算之法,都有靠法術實現的可能。

    這裡面,甚至還包含著一絲“技術突破”的意味。

    因此,縱使是那些“中立派”,也沒有調解論戰的理由。

    陳景雲難得沒有沉浸在算學之中。

    他只是心驚膽顫的從空中俯瞰萬法門。

    儘管現在萬法門內,青山依舊,但這只是因為,這些景色不會雖人心二棟。

    在一般人看不到的領域裡。無數氣機正在交鋒。

    儘管現在他已經是逍遙,而非過去的半步逍遙,但他依舊感到了自身的弱小。

    下面,根本就是怪物廝殺的場地。有更多的天才加入了其中。

    每一個人都顯得瘋狂了起來。

    現在的萬法門,說是火山口也不為過。

    陳景雲前些日子甚至發現,自己的女兒都想要趟這趟渾水。

    這讓他罕見的心神不寧了,幾乎沒辦法工作。男人覺得應該有個什麼詩詞,形容一下自己現在的想法,但是他只是張了張嘴,卻說不出來。

    “這不是我的風格啊。”陳景雲苦笑。他的老師華若庚倒是喜歡這麼做,可他不行。

    在這個仙盟主導一切的時代,“門主”也就是個吃虧的差事而已。他只是恰逢其會,被推了出來——僅僅是因為他是那種“天資有限而以努力成道”的典型人物。玄星觀的表面工作都是不動法王霍金去做,也是差不多的道理。

    但現在,這是涉及到整個門派,甚至整個人族命運的大事。

    這已經不是人力可以干涉的時代變化了。

    陳景雲也只是靜靜的看著。

    不停的有遁光從門內離去。看樣子,一些更在“應用”的修士,都已經打算出去避禍了吧?

    儘管現在離宗連宗雙方,都不斷的有新的理論拋出,好似烈火烹油一般,但誰也不能保證,這些理論不會在明天被否決。誰也不知道油鍋裡的油,會不會在什麼時候,被火點燃。

    不周之算已經摧毀了算學有可能存在的堅實根基——那是雖不能抵達,卻支撐著半數萬法門弟子的精神力量。所有算學家現在都是在走鋼絲,他們都沒有斷言自己絕對正確的勇氣。

    而這個時候,若是思維被一篇很快就會被否決的東西帶偏,就很危險了。

    避過這風頭,等到塵埃落定的時候,再與勝者站在一處,也是正常的選擇吧?

    陳景雲看著那些離開的人,搖了搖頭。

    “好了,回去繼續吧。”

    ………………………………………………………………………………

    那些被陳景雲注視著的遁光之中,有一道是屬於蘇君宇的。。

    他之前已經給自己家裡交代好了這件事。現在,他差不多該去焚金谷一趟了。

    元神後期修士的遁光無比快捷。個把時辰,蘇君宇就落到了焚金谷門口。

    和其他門派駐地那種青山綠水不同的是,焚金谷看樣子是相當的窮山惡水。兩道平行的山嶺之間,巨大的谷底之內片片荒蕪,只有許多生命力異常頑強的植物,才能夠在這裡生長——而通常情況下,那些植被都會生長在淺層礦脈或鹽鹼化土地之中。

    早期焚金谷修士選擇這麼一個區域,很大程度上也是因為“處理廢棄物方便”。兩側的群山擋住了季風,而地勢最低的這裡,也無需擔心成分複雜的廢棄物雖水溜走。雖然今日的焚金谷早就不用那種原始的手段處理廢棄物了,但是,新的研究機構,卻始終是依託老的研究機構建立的。學者自發匯聚,使得這個山谷成為了一條下場的“學術地帶”。

    無數實證部在這裡排布成一條長龍。

    蘇君宇走了進去。焚金谷最近似乎在重新規劃的樣子。他只是隨便挑個時間來,都能看到好幾家實證部在改造。

    幾乎所有焚金谷修士都是匆匆忙忙的。

    這便是這個門派的現狀了。

    凝聚之道——從“虛無飄渺”指向“現實”的,新生的一條道。

    它直接引發了焚金谷的震動,導致了齊內部的改變。

    蘇君宇快步走了進去。

    項琪現在已經是結丹期大圓滿了,不會進入實證部,而是做元神設計,好能夠進一步突破。

    在仙盟現有的制度之下,元神期以元神期之下,就是兩個概念。結丹期以下的修士,能夠做的研究很少。也只有極少數天才,才能夠在元神期之前就接觸到真正的研究工作。所以,結丹期大圓滿的修士,多半不會選擇在實證部繼續打下手、干雜活,而是乾脆離開實證部,就一心搞元神設計,踏破天關之後才回去。

    所以,項琪現在最後可能在的地方……

    蘇君宇快步來到焚金谷的守藏室,肆無忌憚的用靈識掃瞄了一遍。

    “那個人是誰啊?好像不是我們門派的吧?”

    “萬法門?”

    “看服飾,可還是個元神宗師咧。怕不是來找人的?”

    這種舉動多少有些無禮。但蘇君宇此時心情迫切,已經顧不得許多了。

    往日的他是不會這麼做的。

    ——不在這裡。

    意識到這一點之後,蘇君宇就立刻轉身離開了。

    ……………………………………………………………………………………

    “唔唔唔……還是沒頭緒啊……”項琪一頭撞在桌子上:“不行啊,不行啊,想不到啦!沒辦法啦!”

    她腦袋在桌面上滾了幾下,最後站了起來:“一不小心就和門派前沿脫節啦!”

    “仔細想想,現在應該怎麼辦?”

    “凝聚之道,凝聚之道……啊!想要設計出凝聚之道的元神,現在還是太困難啦!”

    “要不要現在會實證部?仔細想想啊,如果現在觍著臉回去,師叔師姐他們還是會給我個位置的吧?雖然凝聚之道現在還是比較前沿的研究,很難給我上手,但是,每日觀摩,總能加深一些直觀印象吧?”

    “但是……嗚,哪有結丹期大圓滿的修士去幹雜活的啦!”

    就在這個時候,她閉關的靜室大門被粗暴的敲了幾下。

    “誰啊!沒看見別人閉關啊!”項琪直接站起來,開口怒斥。

    然後,轟的一聲,一隻穿著長靴的腳,將大門一下子踢開。

    項琪嚇了一跳。這門上的禁制可是她親手加固過的,結丹期大圓滿修士都很難轟開。這一擊而碎,就說明對方是個元神期修士?

    ——最近有得罪什麼人嗎?

    項琪這麼想著,本能的縮了縮脖子。但看到來人的臉後,立刻火冒三丈:“蘇君宇你幹什麼啊?敲門不會……啊!”

    蘇君宇突然撲過來,將她一把抱住:“實在是不好意思,我現在時間很趕,生怕按捺不住自己的情緒……”

    項琪不知所措,聲音都柔和了不少:“我……你這怎麼了這是?不是說好等我元神再,那個……嗯……成婚什麼的……”

    蘇君宇鬆開項琪,兩手扣住對方肩膀:“這個啊,你要說的話呢……我最近證道契機將近,所以特地來看一看。”

    項琪一愣,氣樂了:“激我呢?元神後期啦?甩我一個大境界啦?怕我不能突破元神啦?至於嗎你?啊?擱這兒來炫耀來了——好好好,你厲害,你天才!”女子伸出手,扯了扯蘇君宇的臉:“真的是,臉皮喲。想我就想我唄,猴急猴急的。還扯這麼大一同。”

    蘇君宇深吸一口氣:“我說認真的。我今天才收到算君的手稿。上面很有可能就是我下一步的方向。所以,今天晚些時候,我就會去陽神閣,在陽神閣高手的監督之下,閱讀算君手稿。”

    說道這裡,他頓了一下,臉色才柔和下來:“這是好事,也是天大的機會。有陽神閣強者看著,不會出大岔子。書稿也是王崎那小子解讀過一遍的,危險性大減——但既然是算君,總還是有點危險的。”

    “別說話。”項琪反抱住蘇君宇。
Babcorn 發表於 2018-9-14 08:59
第一百零一章 爆發【第二更】

     為這大爭之世打響第一槍的,是馮落衣。

    儘管歌庭齋已經交託給了身為連宗修士的算主首徒何外爾手中,但是歌庭派依舊是離宗正統,依舊是算主嫡系。這一點,從來就不會因為何外爾或其他任何一個人的因素而簡單改變。

    或許百年之後,歌庭齋終將變成另外一個樣子,但是何外爾一個人,終歸是無法扭轉這個石頭的。

    歌庭派最核心的修士,已經殺紅了眼,處心積慮的將要將連宗算理同被不周之算所擊潰的那部分離宗算理劃上等號,將他們也納入不周之算的攻擊範圍之中。

    但最先完成成果的,卻還是馮落衣——這位有著“非人”之稱的天才人物。

    應當說,馮落衣找到了全新的思路。

    他們宣稱,集合論之前的思路都有問題。

    不應該從“全部”,而是應該從“無”之中入手。

    所有的“集合”,都必須從“空集”開始,進行構建。

    或者說,只有從空集開始構建的集合才被承認為合法集合。

    除此之外的集合,都是有問題的,都是被不周之算抽掉了根基的空中閣樓。

    無論是有窮集還是無窮集,都必須從“空集”開始。

    空集?對應0,{?}對應1,{?,{?}}就對應2。如果一切集合,包括無窮集合都有類似的良序,那麼,那麼就可以實施超越無限的歸納——就和普通的數學歸納一樣。

    然後,離宗至高成就的“天理體系”【ZF公理體系】,其全部公理,都能夠在良基集合之中實現。

    這就是馮落衣的命題。

    這位天才,先後用兩篇論文,完成了這一偉大的論證。

    任何證明構造都必須是有窮長度的,關於矛盾的證明也不例外。而無窮公理——自然數無窮集合存在公理,之運用到了後繼運算和空集運算。這兩個運算,在連宗的算理當中,均有對應。因而,這兩個算理,在連宗算理和離宗算理之間,是絕對的。換言之,離宗算理和連宗算理,其實存在著相當程度上的一致內蘊。

    這就是兩個算理的“絕對性”。

    因此,如果無窮公理有矛盾,那麼這個矛盾,也會通過一個“有窮”的翻譯過程,出現在算理之中。

    無窮功能公理,是安全的。

    這篇論文一出,便是連宗修士的大面積吐血。

    誰都知道,連宗,特別是近代連宗代表的少黎派,就是否認“無窮”與“排中律”的。算君認為,物質的世界不存在無窮的對象,算學的世界同樣不應該存在無窮的對象。

    這便是撼動了連宗的根基了。

    無數連宗算家抓耳撓腮,恨不能立刻就寫出論文,反擊馮落衣。

    但是,很快,馮落衣的第二篇論文,就讓所有的爭論都偃旗息鼓。

    “如果取無窮公理的否定形式作為公理,有窮良序之中的矛盾也會更加方便的體現在其他公理之上。”

    “因此,某種意義上來講,無窮公理不可證明,也不可證否。”

    這一下,便如同晴天霹靂,鎮得所有連宗算家都說不出話來了。

    一般來說,“可證偽性”,便是今法仙道的根基所在。不具備可證偽性的東西,沒有討論的價值。

    但是,算學的地位,卻稍稍特殊一些。

    就連那些算學家自己都說不清楚,自己的工作,到底是“發現”還是“發明”。

    在這一點上,算君和王崎絕對持有完全相反的看法。

    當然,在美神那種層次看來,這種爭持,完全就是笑話。

    王崎在與美神遭遇之後,便也有了這種傾向。

    他甚至都在形式語言學的序言之中表示,這種爭論,純粹就是自然語言混沌不堪,非得分出“發現”和“發明”兩個完全不同的概念。

    但不管怎麼說,在算學領域,一個不可證明也不可證偽的理論,是允許存在的。

    但它就好像是神學一樣,在自己的邏輯裡自成一體。

    就算想要將之摧毀,也很難下手。

    對於普通人來說,這就是一個“不知道到底有什麼”的未知區域。

    但馮落衣巧就巧在,他一開始,就直接證明了另一點。

    無限公理是安全的。

    “不知道里面有什麼”,但是是“安全的”。

    這也從側面說明了,連宗對“無窮”概念的批判,實在是沒有什麼意義。

    而陳由嘉的論文,也是緊隨其後放出了。

    這一下,卻讓所有離宗修士難受了一陣。

    甚至有人當場大罵:“叛徒!”

    離宗叛徒!

    在過去的時光裡,幾乎所有修士,都將基派理所當然的視作了離宗。王崎也旗幟鮮明的表示過自己離宗的立場。

    而現在,身為離宗修士的陳由嘉,發表了帶有明顯連宗傾向的論文。

    這又讓他們怎麼不怒?怎能不怒?

    但比他們更怒的,卻是千機閣的眾多基層弟子。

    類型論直接刪掉了圖靈完備,刪掉了循環。

    圖靈真人本人倒是覺得挺有趣的,甚至將之當做一個課題佈置離了下去。

    但千機閣弟子發現這一點之後,就立刻沸騰了。

    對於他們來說,沒有圖靈完備、沒有循環的算器體系,是不可想像的。

    他們感覺自己的聖域受到了侵犯。

    過去的“自由飛翔”,如今就變成了“帶著鐐銬跳舞”。

    陳由嘉“離宗叛徒”的呼聲,也在千機閣鬧得沸反盈天。

    對此,圖靈真人也只有苦笑:“這卻是……好似是我對不住那姑娘了。”

    馮落衣搖了搖頭:“由得他們鬧去。對於這些無心算理的傢伙來說,那丫頭的理論有怎麼的作用,他們未來總會知道的。”

    “你是說將‘類型論’納入‘圖靈完備’嗎?”圖靈真人笑了:“渦這幾天想過了,或許會產生惡性不諧的。”

    “但王崎跟我說,這卻能極大的降低算器之術的門檻。”馮落衣說道。

    由於有了萬象卦文的推廣,他對自己弟子在這方面的眼光,還是信任的。

    “就怕這兩不沾的,關鍵時候誤了事。”圖靈真人有些猶豫。與類型論伴生的語言,是稍有錯處,就會直接停機,算得上安全。而往日所用的法子雖然會輸出未知結果,然是由於修士對這一領域已經熟稔,所以也很少在關鍵時刻掉鏈子。

    但若是真的兩者結合……

    打到關鍵的時候算器宕機了怎麼辦?

    “若是主法器自然另說,但是修煉的時候,確實有優勢的。”馮落衣說道。

    圖靈真人突然笑道:“月寒兄如今倒是一副事不關己的樣子。你難道不知道嗎?這一股‘離宗叛徒’的風,也吹到你身上了吧?”

    馮落衣眼瞼低垂:“不過是些頑固分子……食古不化的老東西罷了。一個不周之算,都沒有讓他們看清楚真相,那他們也就這樣了。”

    實際上,馮落衣的論文,在離宗內部,也並非沒有反對之聲。

    最開始也就是因為千機閣修士對陳由嘉的反對之聲,才引發了另一股反對之聲。

    有一些離宗修士都覺得,馮落衣是瘋了。

    他居然剔除掉了“循環”這個概念!

    循環,是廣泛存在於自然界之中的概念。天地呼吸所代表的靈力循環,大氣環流、水的循環,都是一種循環。

    所以,循環這種東西,理應存在於算學之中——實際上,它甚至都是萬法門功法的關鍵部分。

    “循環是不能被剔除出邏輯的。”

    那些離宗修士如此說道。

    陳由嘉和馮落衣,都是走算主“兩條路”之中的“斷自指”的。

    甚至兩人也在一定程度上相互啟發了。

    只不過從根基上來說,馮落衣是最正統的離宗,而陳由嘉則從算君這裡接受了不少連宗的思路。

    但他們卻是指向了同一個方向。

    馮落衣從來就不在乎這點小事。他對圖靈真人說道:“歌庭派內部沒有反對之聲,就足夠了。接下來,就看他們的吧?”

    圖靈真人不置可否。誰都知道,歌庭派此時此刻,已經是置之死地而後生了。

    在不周之算的碾壓下,他們也顧不得許多了。

    不過,圖靈真人並沒有想到,數日之後,歌庭派的背水一擊,居然來得如此猛烈。

    實際上,也就是馮落衣將連宗、離宗算理頻繁轉化的手段,引起了他們的注意。

    他們由此,提煉出了一個無名的邏輯層面的函數。

    “雙重否定翻譯”。【地球上稱之為“哥德爾-根岑”翻譯】

    “假設排中律有矛盾,則可以構造出這個假設的否定證明”。

    “而排中律,則可以等價於雙重否定去除”。

    這是兩條已經存在淺顯證明的論題。

    而就在這個時候,歌庭派提出了一個更進一步的想法。

    “如果從經典邏輯裡面的證明裡,添加雙重否定,那麼這個證明,是否可以等價於直覺主義的構造性證明?”

    也就是說,如果將歌庭派算理之中屬於“排中律”的部分祛除,那麼,這東西,是否就等價於少黎派的構造性證明呢?

    答案是,“是”。

    它用反對排中律的連宗算理,確定了連宗反對的排中律,也是安全的。

    和無窮公理一樣安全。

    換言之……

    連宗算理並不比離宗算理安全到哪裡去。
Babcorn 發表於 2018-9-14 08:59
第一百零二章 幕間【第三更】

     這一日,蒼天痛哭。

    ——至少在連宗算家眼中是這樣的。畢竟,神州這麼大一個星球,總有塊地方在下雨。

    甚至有傳聞說,遠在星海彼岸的算君,在知道了這個消息之後,也忍不住吐了口血。

    “‘我們已經得到了直覺派邏輯和歌庭派邏輯之間的理論翻譯函數。事實上,直覺派的邏輯,只是歌庭派邏輯的真子集。對於這種具備真子集關係的兩個算理,我們可以使用類似的手段,處理新加入了集合論公理’。”海霆真人大聲讀完這一段之後,不由得放聲大哭。

    他敗了,一敗塗地。

    這是無可想像的“失敗”。

    即使是算君,也不否認集合論是算學的一部分。他只是將之當做算學最無意義的部分,而非是那種最核心的算理基礎。

    這是算君與歌庭在理念上的矛盾。

    算君和歌庭之間仇深似海,也不單是一個柯蘭蔭的問題。

    也就是說,對於大多數連宗算家來說,集合論和邏輯,也是可以視作“算學”的一部分的。

    算主希柏澈便是此道高手。他讓恆王葛丹驚為天人的邏輯證明,也可以被當做算學。

    這一點很難被忽視。

    而正如基派的算學史所說的那樣,離宗和連宗的爭鬥,就是用自己的根基,去容納對方的成就。誰成功了,誰便領一時風騷。

    從算術到幾何,從幾何到分析,就是如此。

    所以,海霆真人,便試圖容納了離宗的邏輯,試圖建立連宗的邏輯體系。

    但是,他無論如何也想不到,這會成為歌庭派新的殺手鐧。

    無法想像。

    不可原諒。

    他無法原諒自己。

    “十年光陰,竟是為鑄就一把屠戮同志的劍……弟子有愧,弟子有愧啊!”男人嚎啕大哭。

    在他的哭聲之中,偌大的房屋,居然一點點的解體。稍稍脆弱一點的粘合劑部分首先瓦解。磚塊、房梁分解,整個房屋如同積木一樣解體、崩塌。

    而這還沒完。海霆真人幾乎有走火入魔之象。他身上洩露的法力也是越來越強。一個看不見的圈子從他身上擴展出去。凡是落入圈內的物體,全部都被瞬間粉碎。

    沒錯,連宗和離宗,彼此都有相互轉化的危險。

    想要補蛇,就要做好被蛇所噬的覺悟。

    但是,誰都不會想要這一幕真的發生。

    就在這時,一個童聲驚呼:“師父!你……鎮定一點啊!”

    海霆真人一凜,這才意識到自己身在何方。他艱難的收束其自己的法力。但是,走火入魔的現象,已經產生了。

    他只感覺有如萬蟻噬心一般疼痛。放出體外的法力被海霆真人艱難的亞輝體內。但這卻只是讓他的魂魄產生了破碎的感覺。他的意識都開始模糊。

    終於,轟的一聲,慘烈的爆照出現了。

    海霆真人渾身赤紅,血液是從身上細小傷口,甚至是毛孔之中噴出來的。但是,他卻來不及查看自己的傷勢,而是艱難的從地上爬起來,四下查看。

    終於,在遠處的一塊岩石背後,他找到了一個大概十三四歲的男孩。

    這個孩子才築基期修為,但是卻非常機靈,剛才見勢不妙就遠遠拋開,沒有被傷到。

    他反而被自己的師父嚇到了:“師父,你……”

    “沒什麼……”海霆真人擺了擺手:“我只是……嘔……”

    說著,他吐出一口血來。

    男孩哭道:“師父,你這樣……”

    “連宗完了。”他低聲說道。

    連宗完了。

    至少當代的連宗,已經廢了。

    連宗之前最為旗幟鮮明的兩點,就是“反對排中律”以及“反對任何形式的無窮”。

    而現在,這裡兩點都被離宗反將一軍了。

    ——連宗的指責,是沒有任何道理的。

    他們是這麼說的。

    算君以來,崛起之勢從未斷絕的連宗,終於走到頭了。

    那孩子垂首道:“師父,連宗未必已經到頭了啊……”

    海霆真人搖了搖頭:“你……還是算了吧。你倒也不必跟我一起死這這一條船上。總之,少黎派的傳承,是在這裡結束了。你是最近幾十年來……至少,至少是王崎之後,我見過的最為天才的人了。以後,若是想要投離宗的話,可隨意……”

    那孩子撇撇嘴:“沒必要吧?”

    “呵呵,我有預感的。”海霆真人嘆息:“不周之算的鐐銬一日不除,則離宗不會有未來。而現在,連宗也被不周之算限制住了手腳……咳咳,咳……”

    說道這裡,這位年輕的逍遙修士終於苦笑了起來:“離宗的這些混賬啊,是多喜歡證明,我們就跟靈凰島那群白痴一樣無智無知?”

    “那個,師父……靈凰島前幾年就沒了。”

    “時代果然是不一樣了。”海霆真人搖搖頭:“總之,我敢說,再過五十年,萬法門,就是王崎的天下。他就會像當年的算主……甚至有可能是像算君那樣,成為萬法門的支柱。”

    男孩突然眼前一亮:“師父師父,關於這一點,你有沒有這種感覺啊——王崎的算理,很有可能跟連宗是一路的?”

    海霆真人失效:“怎麼可能?”

    “我有這種感覺!”那男孩說道:“我苦讀原算已有半年了,現在模模糊糊有個想法……”

    ………………………………………………………………………………

    “沒錯,我可以感覺得到……”星空彼岸,星艦之中,一個逍遙如此寫道:“我甚至可以斷言,王崎和歌庭派,在算理上的分歧,已經大道了不可忽視的地步。我覺得,這一點說不定可以被利用起來。”

    “王崎的基派算理,有一個十分遠大的遠景。他想要創造一個宇宙般普適的算理。”

    “但是,離宗所謂的‘天理系統’——哈,這個名字,實在是太可笑了。王崎的算學宇宙,與天理體系,終歸是會產生巨大矛盾的。”

    “這一點,在《原算》之中就已經找得到苗頭了。”

    “恐怕這一點,就連馮落衣都沒有意識到吧。他的良基集合,未必承載得了他弟子的願景。”

    “和王崎的圖景相比,現在的所有離宗算理,都不堪一擊。”

    “或許我們可以設計出一個方案,將這一套算理導向連宗……”

    寫到這裡,這位逍遙修士渾身一顫,不由得苦笑:“這種思考,終歸還是會牽動傷勢嗎?”

    這一名逍遙,名喚梵巴赫【斯特凡·巴拿赫】。他是立場鮮明的連宗算家。曾開創出“分球悖論”這種東西,來諷刺離宗的“無窮”思想。

    任意兩個三維歐幾里德空間具有非空內部的子集是等度分解的。

    用形象的話來說,一個三維實心球,必定存在一種辦法分成有限部分,然後僅僅通過旋轉和平移,就可以組成兩個和原來完全相同的球。

    換句話說,在經過有限的變換之後,一個球和它自身的兩個拷貝是等度分解的。

    1可以等於2。

    他認為,這在離宗“無窮”的概念之下,是有可能出現的。

    這是一位精於“諷刺”的算學家。

    換句話說,一塊大理石可以分成有限塊然後重新組合成一個行星,而一顆行星,也可以重組為一粒塵埃。

    而大自然中,這種事不可能發生,是因為“無窮小”並不存在。

    普朗克尺度,限制了這種事情的發生。

    這也更顯得離宗算理荒謬。

    但是在“離宗算理和連宗算理可以等價”的總攻擊之中,他也差點道心淪喪。

    對自己寫的東西,也還是動搖,懷疑。

    但是……連宗,必須反擊。

    他正在苦思反擊策略。

    只不過,在這個階段,他也不考慮如何從自身入手了。

    雙方已經殺紅了眼,不求得勝,只求與敵同亡。

    梵巴赫也沒有想著要成功。

    他打算在那些離宗修士們身上下手。

    “不,不行。王崎還在上升期,這個算理,還沒有成型,王崎也有根據這反擊,修改前進方向的可能性。所以,可以考慮,再等一等……或許應該等它成型,再進行反擊。”

    “或許我們可以考慮另一重……”

    能夠提出“分球悖論”,就代表梵巴赫對離宗算理異常的熟悉。

    這一點上,他甚至比算君都要強。

    因為,算君自己是不屑於看這種東西的。他就算想到了,也不會深究。

    算君始終覺得,自己寶貴的智慧,應該用到更加有用的地方。

    對此,梵巴赫自然也是欽佩的。

    不過,偶爾,他也會抱怨一下。

    ——如果算君肯管事,那就好了。不過,只是吐口血的話,算君也未必會怎樣?

    他不知道的是,算君的情況,其實比吐血更嚴重一點。

    當日,無光天牢直接產生了異常大爆炸。

    算君甚至已經決定,在結束了對獸機關集群的這一階段研究之後,就重構自己的直覺算理了。

    他很難忽視離宗現在的這些說法。

    不過,這個研究的優先度,依舊是略低於“獸機關集群的算法”的。

    對他來說,算理根基的爭奪,反而沒有那麼重要了。

    就是噁心而已。
Babcorn 發表於 2018-9-14 08:59
第一百零三章 第二幕的前奏【第四更】

     轉瞬之間,宇歷二年,也已經快到年末了。

    這一年,萬法門的亂象,已經震動了整個人族。

    離宗和連宗,從沒有這樣慘烈的廝殺過。如果說血腥的話,它未必比得上中古數家那樣真的以性命來辯真理。但是,慘烈程度,影響程度,卻更甚。

    這已經不是兩個高手的廝殺了。這就好像是兩軍混戰,已經到了最後關頭。所有人都混在一起,根本分不出誰是誰。每個人手中的武器,有可能是自家的,也有可能是從對手那裡奪來的。

    離宗的人,連宗的人,血肉混在一處,也分不出彼此的樣子了。

    但是,這般亂戰,卻沒尚沒有進入影響到遠在西方的裂巔島。

    艾家宅院內,一處湖心小亭,路千千正靠在亭子的立柱上,雙眼呆呆的望著上方。

    天空中飄落的鵝毛大雪,正不斷的往半乾涸的池塘裡砸。尚未乾透的淤泥與雪花混合起來。

    一副枯敗的景象。

    所以路千千不是很喜歡朝下看的。

    就在這時,突然有人從背後拍了她一下:“呀!”

    “呀!”路千千發出一聲短促尖叫,身形往前竄去。

    艾長元怪無奈的:“就算感知不到我的氣息吧……你也該知道,這家裡就我會這樣跟你開玩笑吧!你怎麼就記不住呢?”

    路千千撅起嘴:“知道我記不住,你還跟我開這種玩笑……”

    “你應該記住嘛!”

    “你就不應該這樣呀!長元,你多大啦!又不是小孩子!”

    “男人至死都是少年!”

    艾長元一個翻滾,就坐到亭子頂上了。

    路千千已經習慣艾長元這種不按套路出牌的做法。她仰著頭,問道:“現在,家裡在說什麼啊?你是偷跑出來的吧?沒問題嗎?”

    “啊呸,那群白痴。”艾長元嘆息:“真的,和我一點關係沒有。”

    “長元長元,叔叔伯伯們到底在談論什麼啊?”

    艾長元嘆息:“萬法門的事情啦……”

    “嗯?”

    “總有白痴想要恢復祖宗榮光嘛!”艾長元嘆息。

    元力上人雖然是天物流轉之道的奠基者,但在另一方面,他對萬法門的影響也是極大的。

    他同時也是代不兩出的算學家……嗯,雖說同輩的賴不離在算學上成就也不比他弱。

    但總得來說,元力上人旁系後裔的艾家,在萬法門,也是頗有勢力的。

    “萬法門……和現在的內亂有關嗎?”

    “大概吧。”艾長元咧咧嘴,語氣之中充滿了不屑:“元力上人有‘實無窮小’的觀念。只不過嘛,當初魏二先生【魏爾斯特拉斯】發展變天式的時候,就拋棄了實在無窮小。但還是有一些白痴還在堅持。但是現在呢,良基公理,徹底否定了實無窮小存在的根基。所以,總有一些白痴覺得不行啊!”

    路千千奇道:“但是,這和你沒關係吧?”

    “我呢,恰好認識現在最強的算家之一來著。”艾長元一副“想吐”的表情。

    “你是說王崎?”路千千更奇怪了:“王崎和蒼生國手是師徒關係,而良基集合,是蒼生國手現在的成就吧?”

    “嗯,沒錯啊?”艾長元點了點頭:“就是這樣。”

    “他們希望能夠憑藉你和王崎的交情,說服王崎去反對蒼生國手的算理?”路千千瞪大眼睛。

    “雖然說我和王崎確實是生死之交啦,但是,他們也沒有傻到那種程度。”艾長元嘆息:“他們利用一些人脈啦,探聽到了連宗的一個消息,說王崎的算理,最終會與離宗現行算理產生巨大分歧——老東西的本意呢,是恢復實無窮小的立錐之地。懂了嗎?他們會不惜一切手段干涉馮落衣。利用王崎,也只是一個策略。”

    路千千皺眉:“好……下作哦。”

    “是啊,而且很傻。”艾長元看著東方,嘆息道:“現在的萬法門,已經沒那麼簡單了。所有修士都已經陷入了瘋狂……真是恐怖的大時代啊。”

    “這種事情,不是對算學有堅定向道之心的修士,冒然湊過去,怕不只是會引火燒身,成為某一方,甚至是雙方攻訐的目標,過去的每一點成就,都會被敵人用最挑剔的眼光審視,之後的每一日,都要生活在‘立道根基被駁倒’的恐懼之中。”

    路千千眨眨眼:“真可怕。”

    “萬法門的爛攤子,凡人已經摻和不進去了。”艾長元如此說道:“不過,就連這些老傢伙都想要活動一下,甚至都能牽涉到魏二先生這樣的上一代逍遙身上……可見這一次動亂,無論是深度還是廣度,都前所未有。”

    嚴格來說,現在的神州萬法門,還處於“不完備定理”所引發的“數學危機”之中。

    這是一道大劫。所有的修士,都在想方設法的度過這一劫。

    他們不得不拚命。

    “這就是大時代啊……一個人的意志,在這裡已經沒有意義了。甚至一個天才,都砸不出水花來。”

    不知這次,又有幾人能夠登頂,幾人能夠摘得明星?

    ……………………………………………………………………………………

    “任何集合都是良序……或者說,只有良序集合,才是有意義的、合法的集合。”

    看著這一道全新的公理體系,算君老懷大慰,甚至連眼角都已經濕潤了。

    “康門主……”算主哽咽道:“弟子柏澈,有負所托……所幸尚有同道,從我的手中,接過了離宗的標竿……現在,我們離宗,已經……已經……在堅實的基礎上,站住腳了!離宗成功了!”

    萬法門前代門主“天集”康駝兒創造集合論的時代起,集合論就一直在受到質疑。

    所謂“煉丹師悖論”的東西,一直都存在。

    而近代,“煉丹師悖論”這一類問題,被王崎換了一個更為恰當的名字——“自我指涉”,並被直接的暴露了出來。

    自我指涉,以及無限循環,是集合論無法規避的天魔。

    而現在,已經不用擔心這個問題了。

    離宗正在走向一個堅實的基礎。

    他是這樣認為的。

    就在這個時候,一個青年跑了進來,神色之中,帶著一點驚恐:“太師父!太師父……不……”

    他說到一半,突然住嘴,轉身就想要離去。

    但希柏澈卻叫住了他,沉聲問道:“是不是連宗又出新花樣了?”

    那弟子僵硬的搖頭,但最後卻在算主的注視之下,點了點頭,道:“太師父,這個……”

    “結果很不好嗎?”

    “也未必……很不好,那個……這……這個?”

    算主低吼道:“慌什麼?難道是比不周之算更嚴重的東西嗎?啊?”

    那弟子這才稍稍鎮靜:“不是……”

    “月寒的新體系,被人駁倒了?”

    “不……沒有。”那弟子嘆息一聲,將一篇信函遞給希柏澈:“您自己看吧……”

    “梵巴赫……姓梵的那個?”希柏澈瞪大眼睛。

    這可不是好兆頭。

    “致希門主:一別經年……”

    這一封信函的前半部分,全都不是客套話。算主直接跳過了。他看到信函的中間部分。

    “……希門主還請回想一二。有窮集合之內,除了通過不證自明的公理直接宣告之外,是否有一種運算操作,可以接觸到第一個可數技術‘道真之零’【Beth-0】?……康門主昔日之雄心,不外乎‘所有序數之序數’。姑且拋下不周之算,且看起本身。至少,這以概念之內的全部元素,都是低層次序數通過集合論運算而來……”

    看到這裡,算主心中已經隱隱有了一絲不安。

    儘管算學就是將“不證自明”說透的東西,但是,那也只是“發現過去被認為是“公理”的事物其實不是公理”的過程而已。

    邏輯必然存在原點。

    所謂“原點”,就是“不證自明”的公理。

    這是一切邏輯思維的。

    王崎就算不喜歡這個說法,暫時也沒有跳出這怪圈的思路。

    “是以,吾等可以宣告一個全新的無窮公理,其名越不可達基數存在公理。”

    “不可達基數,居於其之下的基數無論通過怎麼樣的集合論運算,都不可能達到的基數。”

    “所以,第一不可達基數便是第一可數技術,第二不可達基數便是比“所有序數的序數的基數”更大的基數……”

    “滴答……”

    算主一愣,發現自己嘴角逐漸淌下一點血來。

    不知不覺間,自己的臟腑居然已經嚴重受創了。

    再看那信,居然已經有些視線模糊了。

    “真是……狠毒……”

    這位連宗的逍遙,並沒有想要直接駁倒馮落衣。

    實際上,當馮落衣證明“無窮公理在良基集合的體系下不可證明也不可證偽”的時候,就已經立於不敗之地了。

    所以,他只是挑明了另一件事。

    馮落衣的良基集合,與歌庭派所秉持的經典集合論、經典邏輯,同樣不合拍。

    歌庭派、馮落衣圖靈、王崎的基派,看似全都是離宗干將。

    但實際上,他們自己之間的分歧,都大得可怕。

    或許這不能算有力的反擊,但是,歌庭派與馮落衣的分歧,總能為連宗爭取時間。
你需要登入後才可以回覆 登入 | 註冊會員

本版積分規則