第三章 定義正誤與自我指涉
字數:4552 加入書籤
我算證明自己是王崎,也沒辦法證明自己不是梅歌牧梅歌牧也是王崎啊王崎豎起第三根手指,然後攤開手:喏,不是這樣嗎
破理真人看著王崎,然後搖頭:特奶奶的,不愧是弈天算的專家。小說不錯,是這樣。你沒法證明自己,所以誰也不敢這樣將你放出去。
所以我說,何必呢王崎語氣好像不是在說自己:如果我是梅歌牧,那我有必要將自己殺掉,然後頂著王崎的身份過來嗎說真的,隻要走了不是海闊憑魚躍嗎往仙路一鑽是了。
誰知道呢或許梅歌牧隻是選擇了今法的道路,然後想要寄生在人族之,或者單純想要抱龍族的大腿畢竟這條腿在天眷遺族的老火腿裏也算極粗了。破理真人盯著王崎。
王崎點點頭:也是。可假設這種情況的話算我是梅歌牧,那我也與仙盟利益綁定,再不會坑害仙盟了吧
破理真人不置可否:誰知道呢
王崎點點頭:也確實。梅歌牧我瘋多了。
破理真人豁然站起:喂,小鬼你知道不知道你應該反駁我啊用邏輯或是什麽啊你不是此道的精英嗎不是說,算是你老師也未必你更長於此道嗎
王崎擺擺手:也正是因為懂得邏輯,所以我才知道,這幾乎不可能。
喂破理真人吼道:你怎麽這個態度
王崎從床下來,站在窗戶前麵,目光飄向廣闊無垠的宇宙星空:前輩,你知道麽傳統的路秩,哪怕是嚴格意義的後天意誌,也無法為自己去掉不諧之處用地球術語來說,是debug。
破理真人一臉不耐煩:我不研究算器。
這是一個很有意思的話題,前輩。王崎手一揮,他麵前的一摞草稿紙便飛出一張,落在他手裏:這些日子我也在思考這類問題。自己去掉自身的不諧之處,對於路秩來說實在是太難了。或許在足夠的數據支撐下,一些專業的校不諧之路秩可以做到對其他簡單路秩進行校正,但也沒辦法去掉自身算符間的不諧。
破理真人皺眉:這是說好像你也沒辦法自證一樣
這涉及了兩個層麵的問題。首先,第一個,正確與錯誤的定義。王崎看了一眼稿紙,然後將之放下:一個龐大符陣,環環相扣,彼此之間必須絕對和諧才能使符陣整體良好運轉。這個時候,我們可以將符陣良好運轉的情況定義為正確,是不是
破理真人點了點頭:確實。
那麽,符陣不能運轉的情況,是錯誤了,對吧
破理點點頭。
王崎笑道:那麽,很簡單了。在這個故事裏,正確隻有一種,但是與之相對的錯誤,卻存在無數種。每一個符篆都有可能出狀況,每一種狀況都有可能是不同原因導致的。甚至你還有可能是主持陣法的人操作不對,或者沒有放置壓陣靈物正確是一個有限集合,但錯誤卻可以是無限至少構成元素是巨大的有限集合。
對於一個算器,一個後天意誌有限的數據庫來說,事情是這樣。它們能夠知道什麽是正確,但沒辦法認識到錯誤。
破理真人皺眉:其實,也還存在一種雖然不正確,但是勉強能夠維持基本運轉的間狀態吧
王崎一拍手:對頭這種間的狀態實際是存在的。這好像道德準則一樣。符合道德準則的行為,實際是有限的。但是呢,雖然算不道德,可也沒有罪過的行為,以及完全是在挑戰公序良俗的行徑,實在是數不勝數。說到這裏,他一哂,道:所謂世事無對錯,本是庸人用來自我安慰的說法。實際,對的概念符合道德的行為,一直都很明確,而且也是有限的。界限模糊的,隻有那數不勝數的非道德但也非罪的行為以及不道德行為。
隻可笑庸人自己不能道德,非得汙蔑天下人都不道德,甚至道德本身也不存在。
不容道人拍了拍桌子:跑題了而且你小子說道德,總讓人別扭。
話總是對的。人們之所以會讚成偽君子,是因為偽君子至少話說的是對的。王崎不以為意,道:這是原因之一了。
不容道人思考片刻:換句話說,若是有一個路秩知道了正確的標準,可以去自身之不諧了
也不可能。王崎搖了搖頭:實際,這是我說的第二個原因了。自我指涉。
自我指涉不容道人抬起頭:你那個銀翼刺客
銀翼刺客這個故事的誕生,伴隨著不完備不可判定兩大鐵律的出現,伴隨著歌庭派算主一係由盛轉衰的道路,也伴隨著萬法門內部的洗牌。破理也忘記不了這個伴隨曆史大事而誕生的小小故事。
與人一模一樣的機關人混進人群,隻有一套號稱能夠甄別一切機關人的邏輯問題能夠將之甄別出來。隻有同樣作為機關人的傀儡審官知道這套邏輯。但有一天,一個傀儡審官叛逃了。那麽,另一個傀儡審官,能夠靠著同樣的問題,將叛逃的傀儡審官從人群揪出來嗎
答案是不知道。
這必然會引發無窮循環的矛盾。
王崎攤手:將那套傳說的邏輯問題換一下好了。假設,一個後天意誌有一個數據庫,這個數據庫號稱能夠探查任何後天意誌是否存在不諧之處,而數據庫也是這個後天意誌的一部分。那麽,這個時候,這個後天意誌能夠自己鑒定自己嗎
這破理遲疑了一下:不能
是我覺得一般人都會這麽猜
不,等一等破理真人按住腦袋:停一下,如果這個時候,那個後天意誌因為這個數據庫而主動去除或者掩蓋自己的不諧之處,那和人工的去不諧,又有什麽不同呢至少從結果不,不對。可若按照你的說法,若是判斷唔
隻一瞬間,這位逍遙修士也陷入了某種邏輯的錯亂。
圖靈停機問題。王崎頓了一下:不諧之處會導致路秩無法運轉。停機判斷任意一個路秩是否會在有限的時間之內結束運行的問題。如果這個問題可以在有限的時間之內解決,則有一個路秩判斷其本身是否會停機並做出相反的行為,這時候顯然不管停機問題的結果是什麽都不會符合要求。
莫名其妙破理真人道:莫名其妙。你們萬法門弟子每天在琢磨這種事
也算是有感而發王崎想了想,道:和另一個版本的自己對打,算不算是唔,兩個代碼高度類似的後天意誌在相互擊其不諧之處
莫名其妙。破理真人不知是第幾次說這話了。他深呼吸,道:看來你沒辦法了
嗯。首先,我算可以定義出王崎,也沒辦法將所有不王崎的行為一一列舉出來,並證明自己是王崎而不是非王崎的什麽東西更難的是,我很難證明;其二,這如果讓我來,還涉及到了自我指涉。王崎道:對我本人來說,這事無解。所以我也懶得進一步消耗腦力在這事麵了。而且話說回來,真的屁大點事。
破理真人隻感覺火大:你和我師弟那混賬在一起呆過幾年吧我總覺得他往你小時候的腦子裏塞了點什麽臭不可聞的東西。
怎麽說,前輩王崎好了:海前輩和我有一樣的判斷
呸。
王崎了然:我說嘛你們無論如何也不會殺了我。在無法證明我是不是王崎的情況下,殺我對萬法門來說是巨大的損失。而在這個情況下,最壞的情況,也是我沒辦法接觸仙盟的大殺器,也沒辦法當官僚
破理真人看了他一眼:嗯,然後還有可能會限製你的自由
那太好了。王崎一拍手:找個地方靜修最好
你好像一點也不失落啊。破理真人有些意外:我還以為,你這種人
嘖,看看您,再看看我老師,一天到晚都一臉苦逼樣子,安安靜靜看書解題求道都做不到。誰當官僚尤其是仙盟官僚,這不是蠢傻子嗎王崎拍手道:至於我在龍族庇護區域裏安安靜靜的潛修,也很難遇到危險吧,仙盟凶器帶著也沒用啊。
而以我自身的價值來看,申請的研究經費肯定是少不了的,說不定安心做學問,還能有申請什麽批什麽的待遇
破理真人頭青筋暴起:嗬嗬,小子,想得太美了。我是來通知你的,準備好材料吧,你之前的那個申請,征天司正在討論之。
2121741