小牛先生提示您:看后求收藏(第119章 哥德爾面包房的不可判定之亂,老婆招待朋友,小牛先生,樂可小說),接著再看更方便。
請關(guān)閉瀏覽器的閱讀/暢讀/小說模式并且關(guān)閉廣告屏蔽過濾功能,避免出現(xiàn)內(nèi)容無法顯示或者段落錯亂。
當同調(diào)代數(shù)面包坊的正合列彩帶還在頭盔天線纏繞時,老皮手中的拓撲學(xué)搟面杖突然浮現(xiàn)出奇怪的紋路——那些由證明符號組成的曲線在杖身扭成莫比烏斯環(huán),末端滴落的奶油竟寫出\"此面杖不可證\"的自指命題。邋遢鬼的克萊因瓶頭盔彈出紅色警報:\"檢測到'一致性危機'信號,哥德爾面包房的'不可判定面包'正在吞噬整明奶油!\"
\"哥德爾?就是那個證明'任何足夠強的系統(tǒng)都有無法證明的真命題'的數(shù)學(xué)家?\"小美摸著圍裙上的態(tài)射花紋,突然指著遠處地平線——那里漂浮著由公理磚塊堆砌的空中城堡,每塊磚都刻著\"面包宇宙第一公理:所有面包皆可證\",但城堡底部正滲出黑色的\"不可判定漿糊\",\"難道他們在烘焙'無法被證明的真面包'?\"
星塵孢子的侍應(yīng)生制服突然變成邏輯學(xué)教授袍,領(lǐng)口別著\"?\"和\"?\"的矛盾胸針:\"準確來說,哥德爾面包房的使命是用'形式證明奶油'烘焙'真理面包',但最近新出爐的'連續(xù)統(tǒng)假設(shè)面包'突然拒絕被證明,還煽動其他面包質(zhì)疑'選擇公理果醬'的合法性?,F(xiàn)在整個面包房陷入'我到底是不是真面包'的自我懷疑漩渦。\"
眾人搭乘\"元數(shù)學(xué)電梯\"升向空中城堡,電梯內(nèi)的安全須知寫著:\"請勿在證明過程中回頭看自己的尾巴,否則會觸發(fā)羅素悖論吞噬事件。\"老皮剛讀完,就見電梯鏡面里的自己突然分裂成\"能證明的左臉\"和\"不能證明的右臉\",右臉還對著左臉吐舌頭:\"你永遠證不出我有多帥。\"
面包房大廳里,一群\"命題面包\"正圍著中央噴泉爭吵,每個面包都舉著寫有邏輯符號的小旗子。圓滾滾的\"全稱命題面包\"用奶油噴槍在地上畫出?x(p(x)→q(x)),卻被尖刻的\"存在命題面包\"用?x?p(x)噴得滿臉花:\"你的全稱量詞根本覆蓋不了所有面包!\"最詭異的是角落的\"自制面包\",它們像銜尾蛇一樣啃著自己的標簽,標簽上循環(huán)寫著\"本面包不可證本面包可證\"。
\"看那里!\"邋遢鬼的頭盔投射出監(jiān)控畫面,地下室的\"證明生產(chǎn)線\"正在瘋狂運轉(zhuǎn),機械臂揮舞著\"三段論刮刀歸納法搟面杖\",卻始終無法將\"連續(xù)統(tǒng)假設(shè)面團\"壓入\"可證明模具\"。更可怕的是,傳送帶末端堆積著無數(shù)\"矛盾面包\",它們的表皮同時印有\(zhòng)"p\"和\"?p\",正在滲出腐蝕性的\"爆炸奶油\"。
\"我們需要找到'哥德爾面包師',他肯定知道怎么處理這些不可判定命題。\"老皮剛說完,就見一個戴著\"不完備定理高帽\"的身影從公理磚塊后走出,他的斗篷上繡著\"?G\"的金色符號,手中的證明之杖滴著黑色的不可判定漿糊——正是第116章出現(xiàn)過的神秘面包師,那個老皮的鏡像。
\"好久不見,我的實屬另一半。\"神秘面包師摘下高帽,露出半張布滿邏輯公式的臉龐,\"歡迎來到'自我指涉烤箱',這里的每個面包都在問同一個問題:'我能被證明嗎?'而答案藏在奶油的褶皺里,就像哥德爾構(gòu)造的那個自指命題。\"
小美突然指著噴泉中央的雕塑驚呼:那是一個由\"證明箭頭\"和\"真理箭頭\"組成的悖論雕塑,箭頭互相指向?qū)Ψ?,卻永遠無法觸及。星塵孢子的教授袍突然變成偵探風(fēng)衣,掏出放大鏡觀察地面的奶油公式:\"根據(jù)推理,不可判定面包的泛濫源于有人在公理系統(tǒng)里偷偷加入了'本面包不可證'的原料,導(dǎo)致整個證明鏈陷入循環(huán)。\"
\"更準確地說,是我加入的。\"神秘面包師微笑著拋出一個自指面包,面包剛落地就分裂成兩個,一個寫著\"我是真的\",另一個寫著\"我無法被證明\",\"哥德爾證明了任何相容的系統(tǒng)都無法證明自身的相容性,就像面包房無法用自己的證明來油證明所有面包的真實性。但這里的面包師們卻執(zhí)著于'完備性幻想',結(jié)果把自己烤成了邏輯麻花。\"
本章未完,點擊下一頁繼續(xù)閱讀。
老婆招待朋友所有內(nèi)容均來自互聯(lián)網(wǎng),樂可小說只為原作者小牛先生的小說進行宣傳。歡迎各位書友支持小牛先生并收藏老婆招待朋友最新章節(jié)。