第一百零七章 力迫法(第2/2頁)
而這一次,基派卻終於不再是只有蘇君宇,陳由嘉兩人出場了。
戴太沖、趙清潭等基派成員,也先後發表了相關論文。
無法無視,不能無視。
算學是客觀的,所以不管基派成員情感上如何,都必須參與這一場轟轟烈烈的內鬥之中。
而在宇歷四年的時候,戰火便燒得更烈了。
終於,非萬法門弟子發現,萬法門這一場動亂所帶來的影響,已經超過了不周之劫。
王崎的不周之劫,在一日之內,廢了萬法門近半的修士。
但現在,萬法門大半修士都已經卷入這一場動亂之中了。
只不過,不周之劫,是在一日之內爆發,而且,之前還有《銀翼刺客》宣傳自我指涉的概念,且仙盟早有預料,所以受損得到了控制。
只不過一日之內損失大量萬法門弟子,才使得社會意識之間運轉困難。
而現在,則是鈍刀子割肉。
每時每刻都有萬法門弟子走火入魔。
一開始的時候,大家還能找到人交接那些走火入魔者的工作。
而現在,到處都是滿負荷運轉。
陽神閣青山崖也是人滿為患。
道心崩潰的萬法門弟子,越來越多。
種種不便,使得社會問題逐漸凸顯。
萬法門內部,好像燃起了一團大火,熊熊燃燒,無論是逍遙大修,還是入門者,都不由自主的投入了這一場大火之中,成為了火的燃料。
沒有人能夠阻止這一切。
萬法門修士走上仙路,就是為了求道,求算學之道。除非殺了他們,否則,他們是不會停止的。
一股末世之感,莫名的蔓延開來。甚至有人不無悲觀的不表示,萬法門完了。
哀鴻之中,萬法門的算家們,卻在進行最後的交鋒。
基派部分修士們對不可達基數的研究,也逐漸深入。
而不可達基數,確實與可構造類不可共存。
雪國派的反擊也同樣犀利。
現在,證明可構造類逆論的安全性,成為必須。
一個理論是否安全,和它是否可證,沒有必然的關系。
一個理論的逆命題是否安全,和它本身,同樣沒有必然的關系。
或許可構造類本身是安全的。
但是,它的逆命題,同樣也有可能是安全的。
圍剿之勢。
對此,已經前往征天司前線的海霆真人卻顯得異常風輕雲淡。
這一場廝殺,是他得到了進步,也對他的道心造成了動搖。他對離宗連宗的分歧,都已經逐漸看淡。
更重要的是……他立於不敗之地。
就算可構造類逆命題安全,也不代表可以證偽可構造類本身。
可構造類,是不可證的。
他或許不會贏,但也不可能敗。
這樣“放棄”一般的示弱,當然不可能讓其他人停下。
海霆可以不敗,但他們卻是要“贏”。
於是,連宗的修士們,便提出了新的方向。
所有的矛盾,都是集中在“內模型”與“可構造類”上的。
可構造性公理在天理體系【ZF公理體系】內不可證否。也就是說,天理體系內,不存在反例可證見不可構造集合。如果假設,在天理體系內,有一個可構造類的擴張——比如說,存在一個不可構造的集合,這個假設就等於是可構造性公理在天理體系下的假設。這樣下去,天理體系本身就要不一致了。
但是,他們可以假設出一個超窮實體,作為內模型的擴張,然後思考應對這個擴張,構造一個不可構造集合。
只可惜的是,這不是連宗修士能夠完成的夥計。
連宗算理,是不包含“無窮”與“超窮”的。
他們將問題拋給了離宗修士。
但是,這個算題,卻包含了離宗修士所無法理解的思路。
於是,便是持續了許久的離宗內戰。
但是……
蘇君宇卻喃喃:“媽呀,真的,感謝算君。”
在這一瞬間,只有看過算君手稿、得過海霆、梵巴赫指點的他意識到了這一點。
按照直覺派的思路,他們並不需要考量天理體系與其自身加上集合論語句的系統的超窮總體是否一致。
他們只需要在天理體系內斬出兩個有窮集合,分別對應天理體系自身,與天理體系、集合論語句的疊加。
然後,不斷給兩個有窮集合添加兩個理論更加詳細的“元素”,直到理論翻譯函數在兩個集合之間的關系之中現象出來,讓不一致的證明調用翻譯函數。
這簡直就像是用某種暴力的途徑,不斷擴張算學,讓算學自己證明自己。
這就是,力迫法。
完成論文的這一瞬,蘇君宇氣勢如虹,再次晉升。