圖靈：那顆蘋果

一、三個蘋果

有三個蘋果，常被人放在一起講。

一個屬於牛頓：果實落下，一個關於天與地的問題被重新提出。那不是一下砸出萬有引力定律的魔法。另一個屬於今天的電腦標誌，缺了一口；設計者說，那一口是為了讓人認出蘋果，不是向圖靈致敬。

第三個在圖靈死後的房間裡。床邊有一個吃了一部分的蘋果。死因是氰化物中毒，但蘋果沒有接受檢驗。我們不能一面承認不知道，一面又在開頭替他寫下“咬了一口，然後死去”。

傳說喜歡把一生收攏成一個形狀。蘋果很容易畫在紀念海報上，紙帶、邏輯、漫長的協作和一場刑事審判，卻很難同時畫進去。

阿蘭·圖靈曾幫助人們理解計算，也參與了戰時密碼破譯。後來，國家因他與男人的性關係給他定罪，要求他接受激素處置。這個反差令人憤怒，但他的權利不需要靠戰爭貢獻來換取。

哪怕他沒有發明過什麼，沒有幫助過任何國家，也不應因此受到迫害。帶著這一點再看那個蘋果，我們才沒有把一個人重新壓縮成一張有用的天才證書。

二、紙帶

1936年，圖靈寫下《論可計算數及其在判定問題上的應用》。這篇論文討論的機器，不是一臺擺在桌上的設備。它是一種把“按規則計算”說明白的辦法。

想像一條可以不斷延伸的紙帶，分成格子。格子裡有符號，讀寫頭查看當前一格，寫入符號，再向左或向右移動。機器只有有限的狀態和規則，下一步做什麼，由眼前的符號與狀態決定。

紙帶並非必須只寫零和一；那是熟悉的簡化畫法。關鍵是局部、明確、可重複的步驟。機器不會突然憑靈感跳過規則，也不需要理解自己正在算的數對人有什麼意義。

更驚人的一步是通用機器：把另一臺機器的規則編碼，交給它讀取，它便能模擬那臺機器。為了做另一件事，不一定得從頭造另一種機器；可以更換寫進去的說明。

這裡要分清一個證明與一個論題。通用機器能夠模擬這些形式化的機器，是數學結果；凡是有效的機械計算都能由這樣的模型表達，則屬於丘奇—圖靈論題，不是已經證明世界裡所有過程都等於一臺紙帶機。

巴赫讓少量材料長出複雜的音樂，牛頓用數學聯繫天體與落物。圖靈則把計算拆到很少的動作，讓我們終於能夠問清楚：這樣的動作，究竟能走到哪裡？

三、停機

所謂判定問題，精確地說，是能否用一個機械程序判定任意一階邏輯公式是否普遍有效。它與希爾伯特對數學方法的期待相關，卻不等於把全世界一切問題交給一臺機器，就都能得到真或假的答案。

圖靈在1936年的論文中給出否定結果；丘奇也在同年獨立得到相關結論。今天最常用的入口，是停機問題：能否有一個程序，總能判斷任何程序在指定輸入上，最終會停止還是永遠運行？

設想有這樣一位永不出錯的裁判。我們再寫一個程序：裁判若說它會停，它就故意一直運行；裁判若說它不會停，它就立刻停止。讓裁判面對這個程序在相應自指輸入上的表現，兩種回答都會被反過來。

這不是電腦不夠快，也不是紙帶不夠長。它表明，在這個明確規定的計算框架裡，不存在對所有程序與輸入都有效的停機判定器。圖靈原文的論證形式與今天教科書的講法不完全相同，不能把現代版本冒充逐字複述。

很多具體程序仍然能夠判斷是否停止。有些受限制的問題也有可靠算法。“沒有萬能判定器”並不是“任何東西都算不出來”，更不是“人類直覺永遠勝過機器”的證明。

邊界之所以有力量，正在於它劃得精確。越過這一步，把它變成關於人生、社會與宇宙的萬能口號，反而會抹掉圖靈真正做成的工作。

四、戰爭

1939年，圖靈進入布萊切利莊園的戰時工作。恩尼格瑪看起來像一套組合多得難以想像的鎖。破譯者的任務不是對著複雜感嘆，而是找出哪些可能實際上不可能。

一個字母不會被加密成它自己，報文裡可能出現某些慣用語，機器的接線必須前後一致。這些條件可以互相約束。Bombe的工作，是利用這樣的邏輯關係篩掉大量不可能的設置，而不是神奇地聽懂德軍每一句話。

這不是孤獨天才獨自贏得的一場戰爭。波蘭數學家在戰前的突破與分享至關重要；圖靈提出英國Bombe的重要設計，戈登·韋爾奇曼作出關鍵改進，工程師把方案造出來，操作人員日復一日使它運轉。

還需要截收報文、語言分析、繳獲材料、海上行動，以及把情報變成有效決策的人。機器之間連著人，人的工作之間也連著漫長而容易被省略的等待。

這項協作對戰爭極為重要。但“至少縮短兩年、確定拯救多少百萬人”是反事實估計，不是可以直接清點的史實。我們不必拿一個精確數字，來換取對貢獻的承認。

戰後，圖靈參與國家物理實驗室的計算機工作，後來到曼徹斯特。他並非從秘密莊園直接退回劍橋，等著悲劇降臨。還有設計、爭論、程序，還有沒有做完的問題。

五、模仿遊戲

1950年，他發表《計算機器與智能》。機器能不能思考？這個問題很容易把談話鎖在定義裡：先定義思考，再爭論什麼算真正的思考，然後又回到定義。

圖靈換了一個入口。通過文字交流，讓詢問者判斷對面是誰；再考察機器能否在這種對話中表現得使判斷困難。論文從一個人與人的模仿遊戲展開，後來才引入機器，不是只給出一句“騙過人就有靈魂”的口號。

這樣做的鋒利之處，是要求我們交代自己的標準。你憑什麼說同事在理解，而機器只是在機械回應？如果判斷所依據的表現接近，你是否僅僅因為知道材料不同，就提前宣佈結果？

但通過一項交談測試，不等於已經證明意識存在，也不自動賦予道德地位。測試條件、時間、詢問方式和表現範圍都會影響結論。人在一次交談中分辨不出來，更不等於兩者在一切方面相同。

與休謨的比較可以幫助讀者：我們常從能夠觀察到的事情，走向一個比觀察本身更大的判斷。不過，休謨並沒有刪掉一切因果知識，圖靈也沒有宣佈思考只是騙局。比較是一座便橋，不是兩套思想相同的證明。

問題因此更具體了：你看見了什麼？據此推到了哪裡？還有哪些事沒有被測試？他沒有替後來的人工智能討論封口，而是把爭論帶到可以互相檢查的地方。

六、他和哥德爾

哥德爾在1931年發表不完備定理，圖靈的工作在1936年。不是同一年，也不是把完全相同的一句話各證明了一次。

對一致、有效公理化且能表達足夠算術的理論，哥德爾式結果揭示其證明能力的限制。圖靈的不可判定性則針對一般算法能否解決指定的一類問題。兩者深刻相連，但前提、對象與結論不能混寫。

可以暫用一個讀者容易抓住的對照：哥德爾讓人看見某套證明規則不能窮盡算術，圖靈讓人看見沒有一套通用程序能夠把所有停機問題處理完。隨後還得記住，這個對照不是正式定義。

也不宜把一個人叫作只會仰望的柏拉圖主義者，把另一個人叫作只會動手的工程師。哥德爾的證明包含極精細的構造，圖靈的機器首先是抽象數學。兩個人都在用創造性的工作，讓限制顯形。

限制不意味著停止研究。不能獲得一個萬能答案，仍然可以發明許多有用的程序、證明許多定理，並弄清楚每種方法適用於什麼地方。

知道工具不能做一切，與認為工具什麼都不能做，差得很遠。圖靈的一生沒有停在否定結果旁邊；他繼續設計可以工作、可以交給別人使用的東西。

七、他和蘇格拉底

把圖靈放到蘇格拉底身邊，可以聽見一種相近的追問：你說自己知道，那麼你是怎樣判斷的？

蘇格拉底會拿一個定義去碰具體的人和事，看它在哪裡失靈。圖靈則給關於機器智能的爭論安排一種對話實驗，讓某些輕易說出口的排除標準面對檢驗。

他們並非同一種方法。蘇格拉底的倫理問答不是統計測試，模仿遊戲也不是只為把人送到“什麼都不知道”的空地。圖靈還提出了建設性的研究方向，包括學習機器的設想。

共同之處，是不讓一個熟悉的詞替我們完成全部思考。說“那只是機器”，還得說明“只是”究竟排除了什麼；說“這就是人”，也不能只剩一套功能指標。

這時，圖靈自己的經歷使問題變得刺痛。一個社會願意從他能做的工作裡確認價值，卻又從他愛誰來剝奪他的生活。國家讀得懂密碼的用處，卻拒絕尊重密碼學家的私人生活。

這裡的人格尊嚴不是停機定理的推論。沒有哪條數學定理需要先替他擔保。一個人不能被還原為貢獻清單，是我們面對這段歷史時應當守住的起點。

八、被判刑的人

1952年，圖靈因家中失竊報警，調查牽出了他與阿諾德·默里的性關係。當年3月定罪時，他三十九歲，不是四十一歲。英國當時的法律把男性之間的某些自願性行為規定為犯罪。

“嚴重猥褻”這一罪名，也曾用於迫害王爾德。圖靈接受了附帶激素治療條件的緩刑，而不是監禁。把它叫作選擇，需要同時說出：兩條路都是國家強加的，不是一個自由病人的治療決定。

這種處置通常被稱作化學閹割，傷害了他的身體，也侵犯了自主權。他失去了繼續參與秘密密碼工作的資格，卻仍留在曼徹斯特從事研究。不能把他最後的歲月寫成一個從此沒有朋友、沒有行動、只等著死亡的人。

司馬遷為繼續寫作承受酷刑的故事，會使中文讀者想到類似的殘酷交換。但時代、刑罰和個人處境不同。我們不能因此斷言研究是圖靈接受處置的唯一動機，更不能讚美一個制度逼出的“堅強選擇”。

他的形態發生研究在定罪前已經開始，1952年發表重要論文，並在之後繼續推進。花紋怎樣從反應與擴散中出現？植物的形狀怎樣生長？這些問題並不是受罰以後才突然找到的安慰。

他仍會工作、往來、開玩笑。這不能減輕迫害，也提醒我們不要替死者寫一張未經證實的心理診斷。一個人受到傷害之後，仍然比那份傷害記錄更大。

九、那個蘋果

1954年6月8日，圖靈被發現死於家中，死亡日期記為6月7日，四十一歲。氰化物中毒得到確認，驗屍調查裁定為自殺；母親則相信是實驗導致的意外。蘋果未經檢驗，具體過程不能被當成已證實的事實來復演。

承認這一點，不是在否認官方裁定，更不是替迫害開脫。只是拒絕用一段完美的悲劇鏡頭，填滿證據留下的空白。他最後怎樣想，不能由我們憑敘事需要決定。

2009年，英國政府道歉；2013年，他獲身後皇家赦免；2021年，印有他肖像的五十英鎊紙幣發行。公共記憶終於改變了方向，但這些事沒有把他失去的歲月還回來。

而且，糾正不應只給最有名的那一個。沒有破解密碼、沒有肖像上鈔票的人，也同樣不應因自願的親密關係受到刑罰。

在這個系列想像的橋頭，圖靈站在眾人旁邊。休謨收起雙陸棋，克爾凱郭爾轉過身，叔本華的狗走過來。我們不再安排他當眾咬下一個有毒的蘋果。這不是史實，也不是理解他的必要代價。

不妨讓他手裡拿一張寫滿符號的紙。他想說一件還沒有說完的事；有人給他騰出位置。這個虛構畫面不能補償歷史，卻至少不再次把他只寫成死亡的象徵。

他不只是社會終於承認的功臣，也不是一條關於“天才必然悲慘”的寓言。他是一個本來應該能夠繼續工作、戀愛、變老的人。

蘋果有沒有沾上氰化物，我們不知道。他不在了。知道這兩句話之間的區別，是記住他時也應有的誠實。