打官司的第一步,是搞清楚喧譁到底有沒有定義。
沈知微把守則十二條全部拆開,一條一條地過:第一條禁止奔跑,奔跑有速度閾值,生物力學上可以界定;第二條禁止攜帶食物,食物有物質屬性,可檢驗;第四條禁止使用手機通話,通話有行為特徵,可觀察;第十一條禁止飲酒,酒精含量有國家標準,可檢測。每一條,都指向一個可判定的標準。她一條一條寫在白板上,寫完十二條,十二條里,十一條的判定基準都清晰可查。
唯獨第七條:禁止喧譁。
喧譁是什麼?多響算喧譁?一個人正常說話算不算?兩個人正常聊天算不算?教室里老師講課算不算?自習室里打噴嚏算不算?,守則沒有給出任何定義。它只寫了禁止喧譁,卻沒說喧譁是多少分貝、多長時長、多高分貝率。它像一個沒有刻度的秤,掛在那兒,誰也不知道它能稱多重。
「這不是疏漏。」沈知微在白板上寫下喧譁=未定義,畫了個圈,「是空槽。規則系統要執行,必須對每個詞有判定標準。喧譁沒有標準,這條規則,理論上永遠無法執行。但它昨晚執行了,因為江述白大聲背公式,系統是怎麼判定大聲的?」
「系統沒有標準,」江述白說,「但它有默認值。人的常識里,大聲說話就是喧譁。系統在拿常識當基準,但常識不是一個精確的數。常識會打架:我覺得響,你覺得不響,誰對?」
「這就是漏洞。」沈知微說,「一條規則的判定基準,不該是一個會打架的常識,但它的基準恰恰就是常識。這意味著:只要我們能讓系統對喧譁的判定產生分歧,它就無法裁決。」
「怎麼分歧?」
「用一個臨界音量。」沈知微在白板上畫了一條音量軸,「從50分貝到90分貝,是正常人聲到大聲喊叫的區間。在這個區間裡,存在一個模糊帶,65分貝左右,有人覺得吵,有人覺得正常。如果我們讓系統聽到這個臨界音量,它就會陷入兩難:判定它喧譁,它沒有超過常識里的大聲;判定它不喧譁,它又沒有低於常識里的安靜。它無法裁決,而無法裁決,就是規則的死機。」
「它死機了會怎麼樣?」
「規則死機,規則鏈斷裂。」沈知微說,「十二條規則,不是各自獨立的,它們是同一套系統的不同條款,共享同一個執行內核。第7條是這套系統里最薄弱的一環,它平時靠著常識勉強運轉,但只要它一死機,整個執行內核都會被拖垮。就像一張網,只要有一個節點斷了,整張網就散了。」
「而且,」她頓了頓,「還有一層。如果系統試圖硬裁,在無法判定的情況下強行給65分貝定性,那它就必須同時承認兩種互相矛盾的解釋。一個系統一旦承認了自己自相矛盾,它就不再是完備的了,它的每一句規則,都會失去效力。哥德爾說的就是這個:系統要麼不完備,要麼不自洽。」
江述白看著白板上那個圈,沉默了一會兒:「你需要多大的聲源?」
「可控的。」沈知微說,「不是多響的問題,是能不能精確控制音量的問題。需要一個能輸出穩定、可調、精準分貝的聲源,然後,把它卡在65分貝上下,讓系統聽不出這算不算喧譁。」
「柱子。」江述白說。
「在!」柱子從門外探進頭來。
「你上次焊的那台音箱,還在嗎?」
「在!」柱子眼睛一亮,「老江,你要放歌?」
「放證據。」江述白說,「把音量調成65分貝,放一晚上,放給守則聽。」
晚上九點,逸夫教學樓。
江述白、沈知微、柱子,站在四樓走廊中央。柱子的音箱擺在牆邊,那是一台他手工焊的功放音箱,接了一台老式MP3,播放著一段校準過的白噪音,音量被一個外接的聲壓計死死鎖在65分貝。
「65分貝。」柱子蹲在音箱旁邊,舉著聲壓計,「一分不多,一分不少。老江,這聲音……你說它算喧譁嗎?」
「你覺得呢?」江述白問。
「我覺得……」柱子認真想了想,「算吵的。我在宿舍放這個音量,隔壁得砸門。」
「那它就算喧譁。」江述白轉向站在走廊另一頭的一名學生,就是被困過的劉洋,他今天回樓取書,被江述白留了下來,「你覺得呢?」
「我覺得還行。」劉洋說,「自習室有人背書,差不多也是這個音量,不吵。」
「同一個聲音。」江述白說,「一個人覺得吵,一個人覺得不吵。系統聽的是同一個聲音,它怎麼判?」
走廊里,65分貝的白噪音,穩穩地響著。牆上的塑封守則,安安靜靜地貼在那裡。
十秒。三十秒。一分鐘。
沒有動靜。柱子舉著聲壓計,手心全是汗,小聲問:「老江,它……它沒反應?」
「它在猶豫。」江述白說,「你聽,聲音是穩的,但它的氣場在變。規則系統要執行,首先得判定。它正在判定:這聲音,算不算喧譁?」
「它判定不出來?」
「它正在判。」江述白說,「它拿常識當基準,常識在打架,你的常識說吵,劉洋的常識說不吵,它聽誰的?它誰都不敢聽,誰聽了,都等於承認自己判錯了。」
柱子咽了口唾沫,把聲壓計舉得更穩了一點。走廊里,白噪音的聲音像一層薄薄的、均勻的紗,鋪在每一寸空氣里。
守則的塑封膜,忽然開始顫抖。
不是那種風的顫抖,是從內部開始的、細密的、像有什麼東西在膜下面掙扎的顫抖。江述白盯著那張守則,看見塑封膜的表面,開始出現細小的裂紋,從禁止喧譁四個字的位置,向四周蔓延,像一張正在碎裂的冰面。
「它在打架。」沈知微的聲音微微發緊,「它在執行禁止喧譁,但它找不到判定依據。它判定這聲音喧譁,常識里65分貝確實算吵;它判定不喧譁,常識里65分貝又夠不上大聲。兩個判定,同時成立,同時不成立,它無法裁決。」
「裁決不了,就得停擺。」江述白說。
「停擺還不夠。」沈知微說,「它必須自相矛盾,它的執行內核,會試圖同時執行懲罰喧譁和不懲罰喧譁,兩個指令互相衝突,把整個系統撕開。」
話音剛落,那張塑封膜上,裂紋驟然擴大。
「咔,」
一聲清脆的碎裂聲,像玻璃被從內部震碎。那張塑封膜,當著所有人的面,從中間裂開,碎成兩半,從牆上掉了下來,落在地上,摔成幾片。
緊接著,走廊另一頭,第二張守則碎了。然後是第三張,第四張,整棟樓的塑封守則,在同一瞬間,同時碎裂。碎裂的聲音此起彼伏,像一場暴雨砸在玻璃上。
江述白站在走廊中央,看著滿地的碎塑料片。
「守則,死了。」他說。
沈知微走上前,彎腰,撿起一片碎片。碎片上,禁止喧譁四個字,已經模糊成一片,像被水泡過,又被曬乾,字跡連同規則一起,失去了意義。
沈知微說,「是自相矛盾。它無法同時執行懲罰喧譁和不懲罰喧譁,兩個指令把它自己撕碎了。這就是哥德爾說的:一個足夠強的系統,一旦碰到它無法判定的命題,就只有兩條路,要麼承認自己不完備,要麼崩潰。它選了後者。」
柱子在旁邊,舉著聲壓計,愣了半天:「那……這就完了?」
「結束了。」江述白說,「規則鏈斷了,時間流速也應該恢復正常了,你們誰看看表?」
柱子低頭看表,又抬頭,看了看走廊盡頭牆上的掛鍾:「……對上了!我手機上的時間和掛鍾,差了三分鐘,剛才還差一小時呢!恢復正常了!」
走廊里,滿地碎塑料片,安靜得像剛下過一場塑料雪。劉洋站在走廊那頭,看著滿地的碎片,半天說不出話。
當天晚上,江述白坐在404自習室,寫這次事件的報告。寫到最後一頁的時候,他的筆停住了。
他想起今晚的一切:守則不怕能量,怕邏輯;他的三板斧全滅,沈知微的白板救場;65分貝的白噪音,讓一套規則系統自相撕毀。他想起自己過去一年處理的所有案子,共振、衝量、電磁、拓撲,全是能量的語言;而今晚,他第一次用邏輯的語言,打贏了一場仗。
他低下頭,在報告末尾,寫下了一行字:
「規則怪談不講能量講邏輯,我的物理,需要她的數學。」
寫完,他擱下筆,盯著那行字看了一會兒。過去一年,他寫過的每一份報告,結尾都是公式、參數、波形圖,那是能量的語言。而這一行字,是他第一次承認:有些東西,光靠能量,解不開。
他剛寫完最後一個字,門被砰地撞開了。
柱子一頭撞進來,臉色慘白,聲音發顫:「老江!宿舍樓出事了!宿舍公約上,多了一條第十三條!」
江述白抬起頭,手裡的筆,懸在半空。