無序證明
第1章 水中的悖論
秋陽光如道冰冷算法。
切割著階梯教室。
陳序站講臺前,身形挺拔如入鞘的劍。
他身后的板,布滿了由符號構(gòu)筑的城墻——?, ?, ∈, ?……它們沉默,卻仿佛蘊(yùn)含著宇宙的秩序與混。
“承認(rèn)‘解’,本身就是深刻的‘解’?!?br>
他的聲音靜,卻帶著解剖刀般的解析力,闡述著“序證明”的概念。
指尖劃過板那個扭曲的指悖論符號,臺有學(xué)生舉問。
他只淡淡句:“先前是否立?!?br>
喧鬧瞬間沉淀。
首到課鈴響起。
像程序運(yùn)行的終止符。
袋的機(jī),始持續(xù)震動。
打破了寧靜。
來顯示:社科院李。
種近乎本能的預(yù)感,像程序彈出的錯誤警告。
先于何信息,他腦閃——李是社科院數(shù)據(jù)統(tǒng)計的油條,經(jīng)過數(shù)緊急課題,聲音向來穩(wěn)如鐘擺。
從該如此失序。
“陳序……你學(xué)校嗎?”
話那頭的聲音艱澀,帶著難以抑的顫。
背景,似乎還夾雜著紙張動的慌聲響。
“我?!?br>
陳序的回應(yīng)簡練,“出了什么事?”
“張辰……他出事了?!?br>
“哪個事?”
陳序的用詞像確認(rèn)個變量的取值范圍。
指尖卻覺攥緊了教案,面還留著剛才板書蹭到的粉筆灰。
“昨晚…雁棲湖…失足落水,溺水……”溺水?
這個詞,像個絕對錯誤的結(jié)論。
瞬間被陳序的邏輯核標(biāo)紅。
他腦立刻調(diào)取了組清晰的數(shù)據(jù):張辰,前學(xué)游泳隊主力。
家二級運(yùn)動員。
曾省拿00米由泳季軍。
去年起去邊團(tuán)建,還徒救過個抽筋的游客。
前:水的專業(yè)士。
境:風(fēng)浪的秋,雁棲湖沿岸水深足兩米的緩坡水域。
結(jié)論:“失足溺水”。
概率之低。
足以讓何嚴(yán)謹(jǐn)?shù)哪P?,將其判定為“異常值”?br>
低到像有把“+=”,當(dāng)了既定事實(shí)。
種烈的協(xié)調(diào)感攫住了他。
像密的齒輪,卡進(jìn)了顆沙礫。
“我知道了,地址發(fā)我。”
他掛了話。
轉(zhuǎn)身正撞見追出來問問題的學(xué)生。
只丟句:“明課堂補(bǔ)充悖論案例。”
便步走出了教學(xué)樓。
...半后。
張辰的公寓。
警戒剛撤到門,空氣還殘留著淡淡的消毒水味。
陳序走進(jìn)那個悉的書房。
這曾是他們數(shù)次爭論邏輯難題的地方,如今卻彌漫著死寂。
他的目光像執(zhí)行搜索務(wù)的算法,速掠過書架——張辰的書向來按學(xué)科類擺,從數(shù)理邏輯到應(yīng)用數(shù)學(xué),井然有序。
唯獨(dú)層的《數(shù)學(xué)原理》,顯得格格入。
像是被刻意抽出來,又塞了回去。
終,他的定格那本邊角磨損的《數(shù)學(xué)原理》。
他抽出書。
感異。
比記憶重了些許。
厚重的封面。
空的扉頁,沒有何文字。
只有個符號。
用暗褐的、己經(jīng)徹底干涸的液,繪而。
條工整得像臨終倉促之作。
正是他到前,板畫的那個。
表指悖論的核圖示——個由邏輯符號纏繞而的閉,像條咬住己尾巴的蛇。
陳序的呼停滯了。
所有的背景音瞬間被拉遠(yuǎn)。
樓道鄰居的交談聲、遠(yuǎn)處的鳴,都消失見。
他的界被絕對聚焦。
只剩那個血的符號,央聲地尖嘯。
個頂尖的邏輯學(xué)家。
死前用血畫“邏輯死循”的符號?
這本身,就是烈的歸謬法。
是對“意”二字,徹底的否定。
陳序掏出機(jī)。
撥了個存卻從未打過的號碼——市刑警隊,林梅。
那是去年協(xié)助警方破解起騙案,對方留的聯(lián)系方式。
當(dāng)他曾說:“邏輯能找到相的漏洞。”
“林警官嗎?
我是陳序,邏輯學(xué)教授?!?br>
“關(guān)于我的同事張辰教授的死亡,我請求面談?!?br>
他的聲音。
卻每個字都像經(jīng)過嚴(yán)密的數(shù)學(xué)推導(dǎo),確鑿疑:“我確信,這并非意?!?br>
“而是道命題。”
“它的行條件,己經(jīng)由死者親寫了。”
切割著階梯教室。
陳序站講臺前,身形挺拔如入鞘的劍。
他身后的板,布滿了由符號構(gòu)筑的城墻——?, ?, ∈, ?……它們沉默,卻仿佛蘊(yùn)含著宇宙的秩序與混。
“承認(rèn)‘解’,本身就是深刻的‘解’?!?br>
他的聲音靜,卻帶著解剖刀般的解析力,闡述著“序證明”的概念。
指尖劃過板那個扭曲的指悖論符號,臺有學(xué)生舉問。
他只淡淡句:“先前是否立?!?br>
喧鬧瞬間沉淀。
首到課鈴響起。
像程序運(yùn)行的終止符。
袋的機(jī),始持續(xù)震動。
打破了寧靜。
來顯示:社科院李。
種近乎本能的預(yù)感,像程序彈出的錯誤警告。
先于何信息,他腦閃——李是社科院數(shù)據(jù)統(tǒng)計的油條,經(jīng)過數(shù)緊急課題,聲音向來穩(wěn)如鐘擺。
從該如此失序。
“陳序……你學(xué)校嗎?”
話那頭的聲音艱澀,帶著難以抑的顫。
背景,似乎還夾雜著紙張動的慌聲響。
“我?!?br>
陳序的回應(yīng)簡練,“出了什么事?”
“張辰……他出事了?!?br>
“哪個事?”
陳序的用詞像確認(rèn)個變量的取值范圍。
指尖卻覺攥緊了教案,面還留著剛才板書蹭到的粉筆灰。
“昨晚…雁棲湖…失足落水,溺水……”溺水?
這個詞,像個絕對錯誤的結(jié)論。
瞬間被陳序的邏輯核標(biāo)紅。
他腦立刻調(diào)取了組清晰的數(shù)據(jù):張辰,前學(xué)游泳隊主力。
家二級運(yùn)動員。
曾省拿00米由泳季軍。
去年起去邊團(tuán)建,還徒救過個抽筋的游客。
前:水的專業(yè)士。
境:風(fēng)浪的秋,雁棲湖沿岸水深足兩米的緩坡水域。
結(jié)論:“失足溺水”。
概率之低。
足以讓何嚴(yán)謹(jǐn)?shù)哪P?,將其判定為“異常值”?br>
低到像有把“+=”,當(dāng)了既定事實(shí)。
種烈的協(xié)調(diào)感攫住了他。
像密的齒輪,卡進(jìn)了顆沙礫。
“我知道了,地址發(fā)我。”
他掛了話。
轉(zhuǎn)身正撞見追出來問問題的學(xué)生。
只丟句:“明課堂補(bǔ)充悖論案例。”
便步走出了教學(xué)樓。
...半后。
張辰的公寓。
警戒剛撤到門,空氣還殘留著淡淡的消毒水味。
陳序走進(jìn)那個悉的書房。
這曾是他們數(shù)次爭論邏輯難題的地方,如今卻彌漫著死寂。
他的目光像執(zhí)行搜索務(wù)的算法,速掠過書架——張辰的書向來按學(xué)科類擺,從數(shù)理邏輯到應(yīng)用數(shù)學(xué),井然有序。
唯獨(dú)層的《數(shù)學(xué)原理》,顯得格格入。
像是被刻意抽出來,又塞了回去。
終,他的定格那本邊角磨損的《數(shù)學(xué)原理》。
他抽出書。
感異。
比記憶重了些許。
厚重的封面。
空的扉頁,沒有何文字。
只有個符號。
用暗褐的、己經(jīng)徹底干涸的液,繪而。
條工整得像臨終倉促之作。
正是他到前,板畫的那個。
表指悖論的核圖示——個由邏輯符號纏繞而的閉,像條咬住己尾巴的蛇。
陳序的呼停滯了。
所有的背景音瞬間被拉遠(yuǎn)。
樓道鄰居的交談聲、遠(yuǎn)處的鳴,都消失見。
他的界被絕對聚焦。
只剩那個血的符號,央聲地尖嘯。
個頂尖的邏輯學(xué)家。
死前用血畫“邏輯死循”的符號?
這本身,就是烈的歸謬法。
是對“意”二字,徹底的否定。
陳序掏出機(jī)。
撥了個存卻從未打過的號碼——市刑警隊,林梅。
那是去年協(xié)助警方破解起騙案,對方留的聯(lián)系方式。
當(dāng)他曾說:“邏輯能找到相的漏洞。”
“林警官嗎?
我是陳序,邏輯學(xué)教授?!?br>
“關(guān)于我的同事張辰教授的死亡,我請求面談?!?br>
他的聲音。
卻每個字都像經(jīng)過嚴(yán)密的數(shù)學(xué)推導(dǎo),確鑿疑:“我確信,這并非意?!?br>
“而是道命題。”
“它的行條件,己經(jīng)由死者親寫了。”