寓言 · 2026

裁決者的沉默

有一個人能為任何故事裁定結局,直到有人遞來一張短短的紙條。

橋頭坐著一位老人。

沒有人知道他從什麼時候開始坐在那裡。橋很古老,河水很安靜,老人更安靜。他手邊常備一盞燈——不是為了照路,而是為了讀東西。

人們叫他裁決者

只要你把任何一份書寫的東西帶到橋頭——一本帳冊、一道算式、一段旋律的譜記、一封信、一個關於蝸牛每天往前爬一半距離的故事——裁決者就會接過來,在燈下讀一遍,然後告訴你:

「這個,有結局。」

或者:

「這個,永遠不會結束。」

他從不解釋理由。但他從不說錯。

城裡的人相信,世界上所有的事物,只要說得清楚,就能判斷它是否會終止。

商人帶來了一本利息計算的帳冊——本金乘以一個固定比率,整整算三千次。

「這個,有結局,」裁決者說,「算到第三千次,就停了。」

商人鬆了一口氣。

學者帶來了一道函式的定義:一個數字,如果是偶數就除以二,如果是奇數就乘以三再加一,然後對新的數字重複。

「這個呢?」學者問,「會停嗎?」

裁決者盯著那張紙,沉默了片刻。

「這個,我也不知道,」他說,「它走到一就停了,但沒有人知道它是否對每一個數字都會走到一。你這個問題帶錯地方了——這不是我能裁決的。」

學者帶著困惑離去。那個問題確實沒有人知道答案——直到今天都沒有。

音樂家帶來了一段旋律的符號,紙上寫著:「重複上一節,並在開頭加入這一節。」

裁決者搖頭。「這個,永遠不會結束。它每次演奏都比前一次更長,沒有終點。」

音樂家「可是我感覺它有一種……完整感。」
裁決者「感覺不是結局。」

秋天的傍晚,一個灰髮旅人走上橋頭。

他遞給裁決者一張折疊整齊的紙——很小,比信還短。

裁決者接過來,靠近燈,展開,讀了。

然後,他停下來。

不是那種思考時的停頓,也不是猶豫的停頓。是一種比石頭更靜的停

旅人沒有等答案。他走過橋,消失在對岸的霧裡。


燈一直亮著。

冬天過去,春天又來。橋頭的老人還在那裡,手裡握著那張紙,沒有動。

有個叫的孩子開始把飯送到橋頭,因為她怕老人餓死。老人確實有時候會接過飯吃,但眼神始終停在那張紙上。

「他在想什麼?」蓮問村裡的老者。

老者嘆氣。

老者「那張紙上只有一句話:『如果你認為這張紙有結局,你就必須永遠讀下去;如果你認為這張紙沒有結局,你就必須立刻停下來。』」

蓮默默想了很久。

「那他說『有結局』,就得永遠讀下去,不就沒結局了?說『沒結局』,就可以停了,不就有結局了?」

老者點頭。「所以他回答什麼都是矛盾。」

「那他為什麼不直接說:這個問題我回答不了?」

老者愣住了。


蓮走到橋頭,蹲在裁決者面前。

「老先生,」她說,「有些問題不是因為你不夠聰明才答不出來。是因為那個問題本身壞掉了——它被刻意設計成讓任何人回答都會出錯。」

「你不能被一個壞掉的問題困住一輩子。」

裁決者緩緩低下頭,看著手中的紙。

然後,他把紙折好,輕輕放在橋墩上,壓了一塊小石頭。

「你說得對,」他說,聲音沙啞,「這個問題的正確答案是:無法被我這樣的人回答。那也是一種答案。」

無法回答,有時候本身就是最誠實的回答。

他站起來,揉了揉膝蓋,對蓮笑了笑:

「我能吃兩碗飯嗎?餓了很久了。」


圖靈停機問題(Turing's Halting Problem · 1936)

這篇故事藏著艾倫·圖靈(Alan Turing)1936 年提出的一個根本性定理:

不存在任何通用算法,可以判斷任意程式在給定輸入下是否會停止運行。

圖靈的證明方法正是這篇故事的核心——自我指涉的矛盾(self-referential contradiction)

假設存在一個「裁決程式」H(program, input),它總能正確回答「這個程式會停止嗎?」

那麼我們可以構造一個特殊程式 D
- 把 D 本身的代碼餵給 H
- 如果 H 說「會停止」,D 就永遠跑下去
- 如果 H 說「不會停止」,D 就立刻停下

問:D(D) 會停止嗎?

回答「會停」→ D 就跑下去 → 矛盾
回答「不停」→ D 就停了 → 矛盾

因此,這樣的 H 不可能存在。

這個結果意味著:計算能力本身有無法逾越的邊界。不是因為電腦不夠快,而是因為某些問題在邏輯上就無法被任何算法回答。

故事元素 代表的概念
裁決者 假想中的通用停機判斷算法 H
帶來的各種書寫物 不同的程式與輸入
商人的帳冊 確實會停止的有限計算
學者的函式(Collatz 猜想) 人類至今無法判斷的問題
音樂家的自指旋律 明顯永遠不停止的遞迴
旅人遞來的紙條 自我指涉的對角化構造 D(D)
裁決者的沉默 算法陷入無窮迴圈或邏輯矛盾
蓮的洞見 圖靈的核心結論:此問題不可判定
「無法被我這樣的人回答」 不可判定性(undecidability)
🔍Truth Check — 常見誤讀