資訊科學 -- AI 偵探風格#

以「推理探案」的方式，追查資訊科學九十年（1936–2026）的每一場危機與轉身：前因是什麼？線索在哪裡？推理如何展開？後果又如何改變了整個世界？

本卷特別追蹤圖靈獎（Turing Award）得主的貢獻—— 這是資訊科學界的諾貝爾獎（1966 年設立，獎金 100 萬美元），每一屆得主都改寫了這門學科的一章。

核心謎題只有一個：「資訊」到底是什麼？它如何被表示、計算、傳輸與理解？

案件卷宗（歷史年表）#

基礎：可計算性與資訊的誕生（1936 – 1948）#

年份	事件	圖靈獎	檔案
1936	Turing 機——可計算性的數學定義	Turing（本尊，1966 首屆圖靈獎以他命名）	1936-圖靈機.md
1948	Shannon《通訊的數學理論》——位元與熵的誕生	（香農獲 1985 京都獎）	1948-香農資訊理論.md
1956	Newell 與 Simon 的邏輯理論家——第一個 AI 程式	兩人（1975）	1956-紐厄爾賽蒙邏輯理論家.md

語言與軟體：程式設計的黃金年代（1957 – 1968）#

年份	事件	圖靈獎	檔案
1957	Backus 的 FORTRAN——第一個成功的編譯器	Backus（1977）	1957-巴克斯FORTRAN.md
1958	McCarthy 的 LISP——遞迴與符號計算的語言	McCarthy（1971）	1958-麥卡錫LISP.md
1959	Dijkstra 的最短路徑演算法——演算法設計的典範	Dijkstra（1972）	1959-迪傑斯特拉最短路徑.md
1960	Hoare 的快速排序——分治演算法的傑作	Hoare（1980）	1960-霍爾快速排序.md
1961	Corbató 的 CTSS——第一個分時作業系統	Corbató（1990）	1961-科巴托分時系統.md
1967	Dahl 與 Nygaard 的 Simula 67——物件導向的誕生	兩人（2001）	1967-達爾尼加德Simula.md
1968	Dijkstra 的《GOTO 有害論》——結構化程式設計革命	Dijkstra（1972）	1968-結構化程式設計.md
1968	Knuth 的《演算法藝術》——演算法分析的聖經	Knuth（1974）	1968-克努特演算法藝術.md
1968	Engelbart 的超文字與滑鼠——人機介面的革命	Engelbart（1997）	1968-恩格巴特超文字.md

資料與計算理論：抽象化的勝利（1970 – 1989）#

年份	事件	圖靈獎	檔案
1970	Codd 的關聯式模型——資料庫的數學化	Codd（1981）	1970-科德關聯式資料庫.md
1971	Cook 的 NP-完全理論——計算複雜度的分水嶺	Cook（1982）	1971-庫克NP完全.md
1972	Tarjan 與 Hopcroft 的圖論演算法——線性時間與均攤分析	兩人（1986）	1972-塔揚強連通分量.md
1973	Thompson 與 Ritchie 的 UNIX——可攜式作業系統	兩人（1983）	1973-UNIX作業系統.md
1974	Cerf 與 Kahn 的 TCP/IP——網際網路的誕生	兩人（2004）	1974-瑟夫卡恩TCP.md
1978	Lamport 的邏輯時鐘——分佈式事件的全序	Lamport（2013）	1978-蘭波特邏輯時鐘.md
1982	Lamport 的 Paxos——分佈式共識的理論	Lamport（2013）	1982-蘭波特Paxos.md
1985	Goldwasser 與 Micali 的零知識證明——互動密碼學	兩人（2012）	1985-戈德瓦澤零知識.md
1988	Pearl 的貝氏網路——不確定性推理與因果革命	Pearl（2011）	1988-珀爾貝氏網路.md
1989	Kahan 的 IEEE 754——浮點數的統一標準	Kahan（1989）	1989-卡漢浮點數.md

介面、分佈與理解：現代資訊科學（1997 – 2018）#

年份	事件	圖靈獎	檔案
2000	姚期智的量子通訊複雜度——量子計算的理論基礎	姚期智（2000，首位亞裔得主）	2000-姚期智量子計算.md
2002	Rivest、Shamir、Adleman 的 RSA——公開金鑰密碼學	三人（2002）	2002-RSA公開金鑰.md
2006	Frances Allen 的編譯器最佳化——首位女性圖靈獎得主	Allen（2006）	2006-艾倫編譯器最佳化.md
2018	Bengio、Hinton、LeCun 的深度學習——AI 的復興	三人（2018）	2018-深度學習三巨頭.md

四大歷史脈絡#

可計算性（Turing → Cook）：從「什麼能算」到「什麼算得快」。
語言與抽象（Backus → Allen）：程式語言從機器碼到高階抽象，編譯器從翻譯到最佳化。
資料與系統（Codd → Lamport）：資料庫的數學化、作業系統的可攜化、分佈式的一致性。
資訊的理解（Shannon → 深度學習）：從位元到神經網路，資訊從「傳輸」到「理解」。

圖靈獎主線#

圖靈獎（1966 年設立）是資訊科學的最高榮譽，本卷收錄的圖靈獎主線：

\[ \text{Turing（1936，奠基）} \to \text{Newell/Simon（1956，第一個 AI）} \to \text{Backus（1957，FORTRAN）} \to \text{McCarthy（1958，AI 與 LISP）} \to \text{Dijkstra（1959/1968，演算法與結構化）} \to \text{Hoare（1960，快速排序）} \to \text{Corbató（1961，分時系統）} \to \text{Dahl/Nygaard（1967，物件導向）} \to \text{Knuth（1968，演算法分析）} \to \text{Engelbart（1968，人機介面）} \to \text{Codd（1970，資料庫）} \to \text{Cook（1971，NP-完全）} \to \text{Tarjan/Hopcroft（1972，圖論演算法）} \to \text{Thompson/Ritchie（1973，UNIX）} \to \text{Cerf/Kahn（1974，TCP/IP）} \to \text{Lamport（1978/1982，邏輯時鐘與 Paxos）} \to \text{Goldwasser/Micali（1985，零知識）} \to \text{Pearl（1988，貝氏網路）} \to \text{Kahan（1989，浮點）} \to \text{姚期智（2000，量子）} \to \text{RSA（2002，密碼學）} \to \text{Allen（2006，編譯器）} \to \text{深度學習三巨頭（2018，AI）} \]

關鍵人物年表#

年份	事件	圖靈獎	檔案
1936	Alan Turing	圖靈機、可計算性、停機問題	（命名者）
1948	Claude Shannon	資訊理論、位元、熵	（京都獎 1985）
1956	Allen Newell / Herbert Simon	邏輯理論家、GPS、物理符號系統假說	1975
1957	John Backus	FORTRAN、BNF 范式	1977
1958	John McCarthy	LISP、人工智慧、垃圾回收	1971
1959	Edsger Dijkstra	最短路徑、結構化程式設計、信號量	1972
1960	Tony Hoare	快速排序、Hoare 邏輯、CSP	1980
1961	Fernando Corbató	CTSS、Multics、分時系統	1990
1967	Ole-Johan Dahl / Kristen Nygaard	Simula 67、物件導向、協程	2001
1968	Donald Knuth	《演算法藝術》、TeX、演算法分析	1974
1968	Douglas Engelbart	滑鼠、超文字、人機互動	1997
1970	Edgar Codd	關聯式模型、SQL 的理論基礎	1981
1971	Stephen Cook	NP-完全、Cook 定理	1982
1972	Robert Tarjan / John Hopcroft	Tarjan SCC、並查集、均攤分析	1986
1973	Ken Thompson / Dennis Ritchie	UNIX、C 語言	1983
1974	Vint Cerf / Bob Kahn	TCP/IP、網際網路、分層協議	2004
1978	Leslie Lamport	邏輯時鐘、happens-before	2013
1982	Leslie Lamport	Paxos、分佈式共識	2013
1985	Shafi Goldwasser / Silvio Micali	零知識證明、機率加密	2012
1988	Judea Pearl	貝氏網路、因果推論、do-算子	2011
1989	William Kahan	IEEE 754、浮點數運算	1989
2000	姚期智	量子通訊複雜度、 secure multiparty computation	2000
2002	Ron Rivest / Adi Shamir / Len Adleman	RSA 公開金鑰密碼系統	2002
2006	Frances Allen	編譯器最佳化、資料流分析	2006（首位女性）
2018	Yoshua Bengio / Geoffrey Hinton / Yann LeCun	深度學習、反向傳播、CNN	2018