托尼·霍尔逝世：快速排序之外，一个计算机科学巨人的侧影

图灵奖得主、快速排序算法与霍尔逻辑之父托尼·霍尔于2026年3月5日辞世，享年92岁，本文记录其人格侧影与轶事。

托尼·霍尔（Tony Hoare, 1934-2026）——对于绝大多数数学或计算机科学专业的本科生而言，这个名字是他们在算法课上最早记住的伟人之一。他于1934年1月11日出生，在漫长的职业生涯中获得了图灵奖、曾任牛津大学教授，并在微软剑桥研究院工作多年。2026年3月5日（星期四），这位泰斗在剑桥的家中安详离世，享年92岁。

霍尔的学术贡献远超一般人的认知。除了举世闻名的快速排序（Quicksort）算法外，他还深度参与了ALGOL编程语言的设计与规范，提出了开创性的霍尔逻辑（Hoare Logic，用于严格验证程序正确性的公理化方法），以及在并发计算领域定义了通信顺序进程（CSP，Communicating Sequential Processes），后者深刻影响了后来Go语言中的goroutine与channel设计思想。然而，正如本文作者吉姆·迈尔斯（Jim Miles）所言，这些成就已经通过大量书籍和论文得以完整记录，作为悼念，他更愿意讲述的是这位故人生前温暖而幽默的人格魅力。

得益于同住在英国剑桥，且家庭之间互相熟识，迈尔斯在过去五年中曾多次拜访霍尔。作为一名数学系毕业生，他起初带着敬畏与好奇，甚至打印了博客上提及霍尔工作的条目，作为破冰之物。他回忆道：“托尼读完打印稿，露出了微笑，显然对自己当年的工作记忆犹新，然后他略作延伸，感叹在极短的历史时期内，程序的规模膨胀得如此巨大，以至于如今的软件工程所需的方法论，与他早期开发的那套形式化体系已有天壤之别。”

在谈到早年经历时，霍尔展现出惊人的记忆力和叙事亲和力。他曾在大学主修古典学（Classics）与哲学。这看似与计算机毫无关联，但他在完成学位后，通过联合军种语言学家学校（Joint Services School for Linguists）接受了高强度的俄语训练。与此同时，他对统计学以及当时新兴的、令人兴奋的计算机领域产生了浓厚兴趣。服役结束后，他的第一份工作便是担任某种早期计算机的“演示员”，负责在各类“博览会”（用当年的眼光看是展会，今天则类似科技展会）上向公众展示机器，尤其是面向苏联市场。迈尔斯指出，这个岗位看似低调，实则在那个年代，为了演示机器，你必须对其内部结构和编码逻辑了如指掌，这实际上等同于深度参与研发工作——更别提霍尔本人还具备流利的俄语能力。霍尔讲述这些故事时总是带着一份清朗与温暖，让人意识到尽管年事已高、身体精力有所衰退，他的头脑依然百分百在线，记忆力尖锐准确。

迈尔斯在每次见面时必谈的桥段，是那个传奇的“六便士赌注”。故事发生于霍尔在Elliott Brothers公司任职期间，他刚为公司实现了一个排序算法，但他坚信自己脑中有更快的方法。于是他对老板说：“我知道一种比刚才实现的那个更快的排序法。”老板不以为然地回应：“我赌你六便士，你做不到。”结果显而易见——快速排序不仅更快，而且成为了后世教科书中的经典。每当讲到此处，霍尔总会露出孩童般的笑容。迈尔斯透露了一个鲜为人知的细节：霍尔在开口打赌之前，其实已经遵照要求先把那个慢速算法老老实实实现了出来，然后才提意见。这体现了霍尔一贯的严谨与职业操守。迈尔斯原本计划在未来一年内再次拜访，并录制这段口述历史，可惜未能成行——不过好在网上已有其他渠道的录音记录。当迈尔斯追问那个赌注是否真的兑现时，霍尔肯定地回答：“确实是付钱了。”

学术之外，霍尔的个性和生活情趣也令后辈津津乐道。约莫一半的会面时间被学术往事占据，剩余则包罗万象。迈尔斯曾听闻一个八卦：霍尔在微软剑桥研究院工作期间，偶尔会在下午溜出去，到当地的影像屋（Arts Picturehouse）看电影。此事源于一次会务闲谈中聊起当时热门影片，霍尔竟表示自己看过且知道剧情，在场的人颇为惊讶。面对追问，霍尔坦然承认，这正是他的乐趣之一，且他在微软的职位对此相当宽容。

迈尔斯还曾就一句流传于网络的名言向霍尔求证，大意是：“好莱坞对天才的想象是《心灵捕手》那样的：任何难题都可以瞬间解决。而现实中的天才，往往是同一个问题折磨了他们数十年。”霍尔对此观点表示认同，他认为电影极大扭曲了抽象领域（如数学）能力的习得过程——那是一种需要历经无数小时冥思苦想方可积累的直觉，而非电影里那种无来由的灵光一现。不过，当被问及这句话的具体出处时，霍尔的记性却模糊了，他并不确定自己是否说过，或者说网络传言的问责本就不甚可靠。

在此次悼念文中最引人注目的内容，是霍尔关于政府机密技术的一段话。在一次探讨计算机未来发展趋势的对话中，迈尔斯试图抛出量子计算、摩尔定律极限等“硬件话题”来引发兴趣，霍尔却用一种斩钉截铁的自信打断说：“当然，我们所拥有的一切，和（政府）所能接触到的相比，简直不值一提。他们永远比你所能想象的要先进许多年。”当迈尔斯进一步追问，是否所谓政府技术能突破当前基于大数质因数分解的全球密码体系时，霍尔的表情变得讳莫如深，只是神秘地耸了耸肩。当然，这究竟是霍尔晚年得知的某种内幕，还是他惯常的爱愚弄式的幽默——他具备出色的幽默感，常以反讽把人引入歧途直到最后才露出破绽——恐怕将永远成为不解的谜团。但正是这种矛盾，让这位时代的探索者更具人性。

托尼·霍尔生活在一个计算机从真空管巨兽扩展到掌上轻舟的世纪，他留下了快速排序，也留下了一套让程序证明自身正确性的法则。他并未如科幻那般颠覆密码学，却以逻辑和算法深刻重造了数字世界的底层。正如吉尔·霍尔（Jill Hoare）在剑桥的照片一样，这帧在2021年9月7日拍摄的合影，成为了那个时代最温柔的注脚。

愿他安息，感谢他带来的秩序、喜悦与长久的追问。

原文链接：https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html