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