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