5.1 圖靈、密碼與有限域：戰爭如何把代數變成國防工業#

戰爭改變了數學的生產方式#

第一次世界大戰前的數學，主要生產於大學與期刊；兩次世界大戰把國家直接變成了數學的最大雇主。1917 年美國參戰後成立國家研究委員會，組織數學家投入彈道與密碼；二戰更把這個模式推到極致——英美投入的數學家人數以千計，數學成為兵工廠的一部分。而其中產量最大的「武器」，是抽象代數。

從齊默爾曼電報到圖靈#

密碼學的現代轉折始於 1917 年：英國「海軍部 40 號房」破譯德國外長齊默爾曼電報，促成美國參戰——一次破譯改變了戰爭進程，密碼從此成為國家級數學事業。

二戰的焦點是德國的恩尼格瑪（Enigma）密碼機。波蘭數學家雷耶夫斯基（Marian Rejewski）在 1932 年率先用純數學（置換群的理論）攻破它——他證明恩尼格瑪的每日設置對應一個置換的結構特徵，無需動用密碼本。1939 年戰爭爆發前，波蘭將成果移交英法。圖靈（Alan Turing）在此基礎上於布萊切利園設計「炸彈機」（Bombe），把破譯工業化；歷史學家估計此舉使戰爭縮短約兩年。

圖靈 1936 年的理論論文《論可計算數》本質上也是代數的：他用「狀態 + 讀寫頭 + 轉移規則」定義了最一般的機械計算過程——這個抽象結構就是通用圖靈機，現代電腦的數學原型。破譯恩尼格瑪的實務與可計算性理論，在布萊切利園合流，直接孕育了戰後的電腦（他戰後參與設計 ACE 與曼徹斯特機）。

有限域的勝利#

戰爭同時把伽羅瓦的高斯式遺產——有限域——變成工程標準。關鍵人物是貝爾實驗室的克勞德·香農（Claude Shannon）：1948 年他的《通信的數學理論》創立資訊論，證明任何有噪聲的通道，只要編碼得當，傳輸錯誤率可以任意小——前提是使用「夠長夠隨機」的碼。而「造出這種碼」的數學工具，正是有限域上的多項式。

1950 年代起，一系列以有限域為骨幹的糾錯碼相繼問世：

漢明碼（Hamming, 1950）：貝爾實驗室為磁帶儲存設計，可糾一位錯；
BCH 碼與里德—所羅門碼（Reed–Solomon, 1960）：建立在 \(\mathbb{F}_{2^m}\) 等伽羅瓦域上，成為深空通信、CD、DVD、二維碼的標準。

一句話概括其原理：把資料編成有限域上的多項式，傳送足夠多的「取樣值」；即使部分樣本損毀，多項式可由其餘樣本唯一重建——這正是「\(n\) 點決定次數 \(< n\) 的多項式」這條中學代數的直線定理在有限域上的放大。

一條四千年的迴路#

回望這條線：巴比倫書記為收成問題演練配方 → 希臘人證明一般的定理 → 花拉子米寫出「演算法」（algorithm 一詞）→ 伽羅瓦在遺書中刻下有限結構 → 高斯建立同餘算術 → 諾特把一切公理化 → 圖靈定義「機械計算」的極限 → 香農證明資訊可被編碼傳輸。

每一環都以為自己在做「純粹」的數學，每一環都成了下一環的基礎設施。而戰爭與國家——歷史上最不浪漫的力量——兩次成為這條迴路突然加速的推土機。下一節，我們看這台推土機最終開進每個人的口袋。