第1078部分

請關閉瀏覽器的閱讀/暢讀/小說模式並且關閉廣告遮蔽過濾功能，避免出現內容無法顯示或者段落錯亂。

歌庭派的背水一擊，居然來得如此猛烈。

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

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

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

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

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

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

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

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

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

答案是，“是”。

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

和無窮公理一樣安全。

換言之……

連宗算理並不比離宗算理安全到哪裡去。

第一百零二章　幕間

這一日，蒼天痛哭。

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

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

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

他敗了，一敗塗地。

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

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

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

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

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

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

這一點很難被忽視。

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

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

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

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

無法想象。

不可原諒。

他無法原諒自己。

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

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

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

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

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

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

就在這時，一個童聲驚呼：“師父！你……鎮定一點啊！”

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

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

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

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

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

這個孩子才築基期修為，但是卻非常機靈，剛才見