【怎麼會這樣?】
得知世上存在自己連描述都描述不了的真理,理光略有些喪氣。
再得知世上已經有“神明”能夠掌握自己連描述都難的真理,理光徹底破防了。
【不準用這種眼神看我】
感受到徐林憐憫的目光,理光徹底裝不下去神的架子。
真理永遠建立在人的感性經驗之上,理光誕生於這些實踐經驗,有點性格也是沒辦法的事。
【你不就是見證過高維存在嗎?】
【不準因此就看不起我!】
【我,我總歸比你高等一點】
“是是是,理光醬說得對。”
雖為全知卷帙,理光的權柄更類似於“拉普拉斯妖”還有“決定論”意義上的全知,並不是語言意義上的“什麼都知道”。當然,邏輯學會告訴你,“什麼都知道”本身就是自指的偽命題。
理光收集的真理,更多的是描述真實世界的客觀規律,諸如物理、化學、生物,甚至是社會學心理學等等。
像徐林學習的一些完全架空理論,尤其是數理邏輯,她未必關心。
從嚴格的定義來說,數學並不屬於科學,因為它研究的內容並不實際存在。隻是有的時候,數學可以作為某些客觀實在的模型。
【沒關係,這打擊不到我】
【我可以先從最簡單的事做起】
【我們先收集所有人類語言、邏輯框架下的真理】……”徐林可不記得自己說過要幫理光一起探尋真理。
“理光醬的全知也建立在計算之上吧?”
【當然,這有什麼問題嗎?】
【計算可是我的實踐辦法】
理光也是用上新學習的詞彙了。
“那可就麻煩了。這樣的話,理光醬大概連明晰所有的真理都做不到。”
【為什麼啊?】
“因為程序計算本身也有缺陷……”
【憑什麼啊!】
“就比如圖靈停機問題,現實中有很多問題是不可計算的……”
【嗚嗚嗚(t▽t)】
“假如說有一天,理光醬能夠從高維生物處得到神諭,有能力解決一些原本計算解決不了的問題……”
【會怎麼樣?】
“就會遇到更高階的不可計算問題。”
【怎麼能這樣!】
“無論怎麼說,這樣的話至少把理光醬的強度圖靈度)提上去了。”
徐林歎息著搖了搖頭,繼續道:“可這個提升的過程就像是疊盒子,能力層級可以無限上升,根本沒有儘頭。”
“活到老,學到老。”徐林點了點頭。
【可這樣的話,我和人類在乾的事到底有什麼區彆】
“沒區彆啊。”徐林聳了聳肩,“但跟理光醬比我們人類隻是螞蟻。”
【那我豈不隻是隻大一號的螞蟻】
“你要這麼說好像也沒問題。”
【不要不要】
【我要當真理之神】
【嗚嗚嗚qq】
怎麼說呢,徐林忽然覺得眼前的書籍有點可愛。哦不對,是理光醬有點可愛。
“你想當真理之神?我教你啊。”
【你能教我什麼】
“魂魄和靈氣的原理搞明白了沒?”
【額……】