圖靈獎歷史年表（1966–2024）—— AI 偵探風格#
以「推理探案」的方式，追查 ACM 圖靈獎自 1966 年頒發以來的每一屆： 謎題是什麼？線索在哪裡？背後的理論（公式、定理、方法論）如何破案？ 後果又如何改變了計算的世界？
每篇皆為獨立 wiki，檔名以年份開頭（四碼）。
目錄#
奠基期（1966–1975）：從編譯器到符號 AI#
| 年份 | 得主 | 案件主題 | wiki |
|---|---|---|---|
| 1966 | Alan J. Perlis | ALGOL、編譯器自舉 | 1966-Alan-Perlis與高階程式設計及編譯器 |
| 1967 | Maurice Wilkes | EDSAC、微程式、程式庫 | 1967-Maurice-Wilkes與EDSAC及微程式 |
| 1968 | Richard Hamming | Hamming 碼、容錯 | 1968-Richard-Hamming與錯誤糾正碼 |
| 1969 | Marvin Minsky | 感知機批判、符號 AI | 1969-Marvin-Minsky與人工智慧的開創 |
| 1970 | James Wilkinson | 向後誤差分析 | 1970-James-Wilkinson與向後誤差分析 |
| 1971 | John McCarthy | LISP、分時系統 | 1971-John-McCarthy與LISP及分時系統 |
| 1972 | Edsger Dijkstra | 最短路徑、信號量、GOTO 有害 | 1972-Edsger-Dijkstra與最短路徑及結構化程式設計 |
| 1973 | Charles Bachman | 網狀資料庫、導航式存取 | 1973-Charles-Bachman與網狀資料庫 |
| 1974 | Donald Knuth | 演算法分析、TAOCP、TeX | 1974-Donald-Knuth與演算法分析及TAOCP |
| 1975 | Allen Newell & Herbert Simon | 物理符號系統假說 | 1975-Newell-Simon與人工智慧的奠基 |
理論與系統成熟期（1976–1990）#
| 年份 | 得主 | 案件主題 | wiki |
|---|---|---|---|
| 1976 | Michael Rabin & Dana Scott | 非確定自動機、隨機演算法、指稱語義 | 1976-Rabin-Scott與非確定性自動機 |
| 1977 | John Backus | FORTRAN、BNF、函數式宣言 | 1977-John-Backus與FORTRAN高階程式語言 |
| 1978 | Robert Floyd | 不變式、Floyd–Warshall | 1978-Robert-Floyd與演算法分析方法論 |
| 1979 | Kenneth Iverson | APL、記號即思考 | 1979-Kenneth-Iverson與APL符號程式語言 |
| 1980 | C. A. R. Hoare | Hoare 邏輯、quicksort、CSP | 1980-C.A.R.-Hoare與程式語言理論及CSP |
| 1981 | Edgar Codd | 關聯模型、正規化 | 1981-Edgar-Codd與關聯式資料庫模型 |
| 1982 | Stephen Cook | NP 完全性、P vs NP | 1982-Stephen-Cook與NP完全性理論 |
| 1983 | Dennis Ritchie & Ken Thompson | UNIX、C 語言 | 1983-Ritchie-Thompson與UNIX作業系統 |
| 1984 | Niklaus Wirth | Pascal、簡單性美學 | 1984-Niklaus-Wirth與Pascal語言 |
| 1985 | Richard Karp | 21 個 NP 完全問題、歸約 | 1985-Richard-Karp與NP完全問題的證明 |
| 1986 | John Hopcroft & Robert Tarjan | DFS、Union-Find、攤還分析 | 1986-Hopcroft-Tarjan與演算法及資料結構 |
| 1987 | John Cocke | 資料流分析、RISC | 1987-John-Cocke與編譯器最佳化及RISC |
| 1988 | Ivan Sutherland | Sketchpad、頭戴顯示器 | 1988-Ivan-Sutherland與電腦圖形學 |
| 1989 | William Kahan | IEEE 754 浮點標準 | 1989-William-Kahan與IEEE754浮點標準 |
| 1990 | Fernando Corbató | CTSS、Multics、虛擬記憶體 | 1990-Fernando-Corbato與CTSS分時系統 |
網路與理論擴張期（1991–2000）#
| 年份 | 得主 | 案件主題 | wiki |
|---|---|---|---|
| 1991 | Robin Milner | LCF、ML 型別推論、CCS | 1991-Robin-Milner與ML型別系統及CCS |
| 1992 | Butler Lampson | Alto、乙太網、兩階段提交 | 1992-Butler-Lampson與個人電腦及分散式系統 |
| 1993 | Juris Hartmanis & Richard Stearns | 時間分級定理 | 1993-Hartmanis-Stearns與計算複雜度分級定理 |
| 1994 | Edward Feigenbaum & Raj Reddy | 專家系統、知識工程 | 1994-Feigenbaum-Reddy與專家系統 |
| 1995 | Manuel Blum | 計算不可辨識、密碼學基礎 | 1995-Manuel-Blum與計算不可辨識及密碼學 |
| 1996 | Amir Pnueli | 時態邏輯、反應式系統 | 1996-Amir-Pnueli與時態邏輯 |
| 1997 | Douglas Engelbart | 滑鼠、超文本、IA 路線 | 1997-Douglas-Engelbart與互動計算 |
| 1998 | Jim Gray | ACID、WAL、第四範式 | 1998-Jim-Gray與交易處理及資料庫 |
| 1999 | Frederick Brooks | System/360、沒有銀彈 | 1999-Frederick-Brooks與System360及軟體工程 |
| 2000 | 姚期智（Andrew C.-C. Yao） | 百萬富翁問題、偽隨機性 | 2000-Andrew-Yao與偽隨機性及複雜度理論 |
網際網路與安全期（2001–2010）#
| 年份 | 得主 | 案件主題 | wiki |
|---|---|---|---|
| 2001 | Ole-Johan Dahl & Kristen Nygaard | Simula、物件導向誕生 | 2001-Dahl-Nygaard與物件導向程式設計 |
| 2002 | Rivest, Shamir, Adleman | RSA、公鑰加密 | 2002-Rivest-Shamir-Adleman與RSA公鑰加密 |
| 2003 | Alan Kay | Smalltalk、Dynabook | 2003-Alan-Kay與Smalltalk及個人運算 |
| 2004 | Vint Cerf & Bob Kahn | TCP/IP、網際網路 | 2004-Cerf-Kahn與TCPIP及網際網路 |
| 2005 | Peter Naur | ALGOL 60 報告、程式設計即理論 | 2005-Peter-Naur與ALGOL60及程式設計科學 |
| 2006 | Frances Allen | 編譯器最佳化、自動並行化 | 2006-Frances-Allen與編譯器最佳化 |
| 2007 | Clarke, Emerson, Sifakis | 模型檢查 | 2007-Clarke-Emerson-Sifakis與模型檢查 |
| 2008 | Barbara Liskov | 資料抽象、Liskov 替換原則 | 2008-Barbara-Liskov與資料抽象及替換原則 |
| 2009 | Charles Thacker | Alto 硬體、個人電腦原型 | 2009-Charles-Thacker |
| 2010 | Leslie Valiant | PAC 學習、#P | 2010-Leslie-Valiant與PAC學習理論 |
智慧與規模期（2011–2024）#
| 年份 | 得主 | 案件主題 | wiki |
|---|---|---|---|
| 2011 | Judea Pearl | 貝葉斯網路、因果革命 | 2011-Judea-Pearl與因果推理 |
| 2012 | Shafi Goldwasser & Silvio Micali | 零知識證明、機率加密 | 2012-Goldwasser-Micali與零知識證明 |
| 2013 | Leslie Lamport | 邏輯時鐘、拜占庭將軍、Paxos | 2013-Leslie-Lamport與分佈式系統及Paxos |
| 2014 | Michael Stonebraker | Ingres/Postgres、列儲存 | 2014-Michael-Stonebraker與Ingres及Postgres |
| 2015 | Whitfield Diffie & Martin Hellman | 公鑰密碼學、DH 金鑰交換 | 2015-Diffie-Hellman與公鑰密碼學 |
| 2016 | Tim Berners-Lee | WWW（URL/HTTP/HTML） | 2016-Tim-Berners-Lee與WWW全球資訊網 |
| 2017 | John Hennessy & David Patterson | RISC、量化設計 | 2017-Hennessy-Patterson與RISC及量化設計 |
| 2018 | Bengio, Hinton, LeCun | 深度學習、反向傳播 | 2018-Bengio-Hinton-LeCun與深度神經網路 |
| 2019 | Edwin Catmull & Patrick Hanrahan | 3D 圖形、RenderMan、GPU | 2019-Catmull-Hanrahan與3D電腦圖形 |
| 2020 | Alfred Aho & Jeffrey Ullman | 龍書、語言的數學 | 2020-Aho-Ullman與編譯器理論 |
| 2021 | Tony Hoare & Barbara Liskov | 抽象與驗證（二度獲獎） | 2021-Hoare-Liskov與程式設計語言基礎 |
| 2022 | Bob Metcalfe | 乙太網、CSMA/CD、Metcalfe 定律 | 2022-Bob-Metcalfe與乙太網 |
| 2023 | Avi Wigderson | 去隨機化、資源等價理論 | 2023-Avi-Wigderson與去隨機化及複雜度理論 |
| 2024 | Andrew Barto & Richard Sutton | 強化學習、TD 學習 | 2024-Barto-Sutton與強化學習 |
2025 年（含）以後得主：俟 ACM 公布後補錄。
案件間的暗線（全書主軸）#
1. 複雜性之戰：Wilkes→Dijkstra→Wirth→Brooks→Hoare/Liskov(2021)
「簡單性是工程的前提」的反覆偵破
2. 難度與秘密：Hartmanis–Stearns→Cook→Karp→Blum→Yao→Goldwasser–Micali→Wigderson
「計算資源是一種可交易的貨幣」
3. 知識的來源：Newell–Simon(符號)→Feigenbaum(規則)→Pearl(因果)→Barto–Sutton(獎勵)
「知識=規則→圖→資料→經驗」的四段演化
4. 抽象的層層堆疊：Wilkes(微碼)→Perlis(編譯器)→Codd(資料模型)→Cerf–Kahn(協定)→Berners-Lee(應用)
「每一層只做自己不可替代的事」
統計小檔案#
- 第一屆：1966（Perlis）；截至 2024 年共 59 屆、82 位得主
- 兩度得主：僅 2021 年（Hoare 1980+2021、Liskov 2008+2021）
- 女性得主：Frances Allen（2006，首位）、Barbara Liskov（2008、2021）、Shafi Goldwasser（2012）
- 華人得主：姚期智（2000）
- 失蹤得主：Jim Gray（1998 得主，2007 年海上失蹤）
- 最年輕／最年長：Tarjan 獲獎時 38 歲；Brooks 獲獎時 68 歲