閾限游戲:我為她通關(guān)末日游戲
書名:《閾限游戲:我為她通關(guān)末日游戲》本書主角有路樂思雯,作品情感生動,劇情緊湊,出自作者“胡辣湯不胡”之手,本書精彩章節(jié):講臺上的粉筆斷了。不是用力過猛,而是路樂的手指在寫到“不可證”三個字時,無意識地施加了壓力。白色粉筆從中間裂開,半截落在講臺邊緣,滾了一圈,停在黑板槽的灰塵里。“——所以哥德爾不完全性定理告訴我們,”路樂放下剩下的粉筆頭,轉(zhuǎn)身面對階梯教室,“任何足夠復(fù)雜的邏輯系統(tǒng),都必然存在既不能證實也不能證偽的命題。”他身后的投影屏上,公式 G:本命題在此系統(tǒng)內(nèi)不可證 在深藍色背景上泛著冷光。“這意味著,”路樂...