图灵奖得主、牛津大学教授Tony Hoare于2026年3月去世，享年92岁。他因快速排序算法、ALGOL语言和霍尔逻辑等贡献闻名，是计算机科学领域的先驱人物。

托尼·霍尔（1934-2026）

图灵奖得主、牛津大学前教授托尼·霍尔于2026年3月5日去世，享年92岁。霍尔以快速排序算法、ALGOL语言、霍尔逻辑等贡献闻名于世。本文作者吉姆·迈尔斯分享了与霍尔的个人交往回忆。

个人印象

迈尔斯在过去五年中多次拜访居住在剑桥的霍尔。作为数学系毕业生，迈尔斯对这位计算机科学巨擘的生平充满好奇。他们的谈话中，霍尔展现出清晰的思维和惊人的记忆力，尽管年过八旬后身体有所衰退。

职业生涯轶事

• 快速排序的赌约：霍尔在Elliott Brothers公司工作时，向老板打赌六便士称自己知道更快的排序算法。最终快速排序被证实确实更快，且老板如约支付了赌金。霍尔始终以专业态度完成被指派的任务，即使他当时已确信存在更优方案。
• 早期计算机推广：服完兵役后，霍尔曾担任早期计算机的全球演示员，尤其在前苏联地区。他谦虚地称这些活动为"展览会"，实际深度参与了设备代码开发。

生活趣事

• 电影爱好者：在微软剑桥研究院工作期间，霍尔常溜班去当地艺术影院观影。当被问及此事时，他坦然承认这是自己的小乐趣。
• 对"天才"的见解：霍尔认同"好莱坞式天才（如《心灵捕手》）能瞬间解决问题是误导"的观点，强调数学等领域的能力需经年累月的思考，但他不确定这句广为流传的引文是否确出自本人。

未解之谜

在讨论计算机未来发展时，霍尔意味深长地表示："政府掌握的技术远超公众想象，至少领先数年。"当被追问是否包括破解密码学依赖的大数质因数分解时，他神秘地笑而不答，留下无限遐想空间。

这位兼具幽默感、耐心与睿智的科学家于2026年3月5日安息，享年92岁。

评论总结：

1. 学术贡献与影响

• 多位评论者高度评价Hoare在计算机科学领域的开创性贡献，特别是快速排序算法和并发顺序进程(CSP)理论
• "发明了快速排序和并发顺序进程" (One of the greats. Invented quicksort and concurrent sequential processes)
• "CSP的简单性和可扩展性令人赞叹，启发了Go、Erlang等语言" (I really enjoyed it's simplicity, expandability...inspired...in Go, Erlang, occam)

2. 教学与个人魅力

• 多位亲历者回忆Hoare的教学风采，认为他能够优雅地推导出可证明正确的代码
• "他轻松地从问题条件中推导出可证明正确的代码" (he effortlessly derived provably correct code)
• "《计算机编程的公理基础》是我读懂的第一篇学术论文" (the first academic paper that I read that I was able to understand)

3. 轶事与幽默

• 评论分享了关于Hoare的趣闻轶事，包括牛津大学命名建筑的趣事
• "牛津大学曾为是否命名'Hoare house'(发音类似whore)而纠结" (having a literal Hoare house (pronounced whore))
• "他对'银弹'概念表现困惑的有趣反应" (Mr. Hoare's answer was...total confusion)

4. 纪念建议

• 多位评论者建议网站添加黑条以示悼念
• "这值得黑条纪念" (this is black bar grade great. give us black bar)
• "需要黑条！" (Needs a black bar!)

5. 行业反思

• 引用Hoare的图灵奖演讲，批评现代编程语言忽视数组边界检查
• "即使在1980年，语言设计者仍未吸取教训" (even in 1980 language designers...not learned this lesson)
• "在其他工程领域，这种疏忽早就违法了" (In any respectable branch of engineering...against the law)