圖靈獎得主暨前牛津大學教授 Tony Hoare 逝世

背景

圖靈獎得主、牛津大學榮譽教授東尼·霍爾（Tony Hoare）於 2026 年 3 月以 92 歲高齡辭世。這篇由 Jim Miles 撰寫的紀念文章，透過私人交往的視角，描繪了這位電腦科學巨擘在學術成就之外，那份謙遜、專業且充滿好奇心的個人特質，並回顧了他從古典學轉向計算科學的傳奇歷程。

社群觀點

在 Hacker News 的討論中，社群成員對霍爾教授的離世表達了深切的哀悼與崇敬，普遍將其視為電腦科學史上最偉大的先驅之一。許多開發者回憶起他對程式語言理論的卓越貢獻，除了家喻戶曉的快速排序法（Quicksort）外，他在併發運算領域提出的通訊順序程序（CSP）以及奠定程式驗證基礎的霍爾邏輯（Hoare Logic），都被認為是形塑現代軟體工程的基石。社群特別推崇他那種能將複雜問題簡化、並從問題條件中優雅推導出正確程式碼的能力。有留言者分享，曾親眼目睹他在講座中毫不費力地現場推導證明，那種舉重若輕的學術功底令聽眾感到震撼，即便事後回想仍覺不可思議。

除了學術成就，霍爾教授的謙遜性格與專業態度也深植人心。社群討論中提到，他最令人敬佩的特質之一是勇於承認錯誤，最著名的例子莫過於他將「空引用」（Null Reference）稱為自己的「十億美元錯誤」。這種對技術決策後果的深刻反思，在技術圈中被視為極高的人格典範。此外，社群也流傳著一些關於他的趣聞，例如他在牛津大學時，校方為了避免將建築物命名為聽起來像妓院的「Hoare House」，最終改以其縮寫命名為「C.A.R. Hoare Residence」。

有趣的是，儘管霍爾教授在形式驗證與演算法領域登峰造極，社群也觀察到他與當代軟體工程實務之間存在某種奇妙的隔閡。有網友分享，霍爾教授在一次演講中被問及對布魯克斯（Fred Brooks）名作《沒有銀彈》的看法時，竟然表現出完全沒聽過這個概念的困惑。這種專注於理論深度而對流行管理理論相對陌生的反差，反而增添了他的傳奇色彩。對於許多資深工程師而言，霍爾教授的論文《電腦程式設計的公理基礎》是他們大學時期第一篇能讀懂的學術論文，這份啟蒙經驗不僅開啟了他們對科學研究的信心，也讓「儘早斷言、頻繁斷言」（Assert early, assert often）的開發哲學成為無數程式員的座右銘。

延伸閱讀

在討論中，社群成員推薦了幾項與霍爾教授相關的重要資源。首先是他在 1969 年發表的經典論文《An Axiomatic Basis for Computer Programming》，這被認為是理解程式邏輯的必讀之作。其次，針對他對空引用的反思，推薦觀看他在 InfoQ 上的專題演講《Null References: The Billion Dollar Mistake》，從中可以體會他對程式語言設計的深刻洞見。最後，對於想深入了解快速排序法誕生背景的讀者，社群也提到了相關的歷史紀錄，證實了那段關於「六便士賭約」的真實性。