快速排序之父Tony Hoare享年92新智元

巨星陨落！图灵奖得主、快速排序之父Tony Hoare逝世，享年92岁。这一生，他都在对抗计算复杂性，用六便士的「豪赌」创造出影响世界的经典算法。

计算机科学界，再次失去了一位巨人！

3月5日，图灵奖得主、牛津大学前教授Tony Hoare教授在英国剑桥辞世，享年92岁。

直至今天，Hoare生前密友Jim Miles一篇悼念长文，才向世人揭开了这个令人心碎的消息。

一时间，这篇发表在Computational Complexity上的文章，登上了HK热榜第一。

Tony Hoare的一生，不仅定义了现代编程的基石，更以其谦逊而深邃的人格魅力，影响了无数后辈。

大多数数学、计算机本科生认识他，是因为那行云流水般的「快速排序」（Quicksort）算法。

一大批计算机学生在评论区中纷纷缅怀

除此之外，Hoare还在ALGOL语言、霍尔逻辑、并发系统理论（CSP）、管程（Monitor）概念，以及经典的「哲学家就餐问题」等领域留下了开创性成就，共同构成了现代计算科学的基石。

凭这些成就，Hoare在1980年拿下了「图灵奖」。

此后四十余年，京都奖、骑士勋章、皇家学会院士、皇家奖章……荣誉接踵而至，一路追到他92岁。

在宏大的学术光环之外，真实的Hoare是一位怎样的人？

用哲学逻辑，重构计算世界

在计算机科学的星河中，Tony Hoare是一颗独特的恒星。

他并非出身于工程门第，而是带着拉丁文、希腊文与哲学的深厚积淀步入数字领域。

透过好友Jim Miles笔下那些尘封的往事，我们得以窥见老爷子背后的另一面：

一个谦逊、幽默且真实动人的内心世界。

从古典文学到「机器翻译」跨界传奇

1934年，Hoare出生于锡兰（今斯里兰卡）的科伦坡。

少年时代，他先后在牛津的Dragon School和坎特伯雷的King's School接受教育，随后进入牛津大学默顿学院，研读古典学与哲学（即牛津著名的「Greats」课程）。

正是对现代哲学和逻辑学的探索，为他日后理解程序语义埋下了伏笔。

Hoare的学术起点并非计算机，他大学时代深耕于古典文学和哲学。

这段看似「不务正业」的经历，赋予了他逻辑严密且极具人文关怀的思维方式。

退伍后，凭借在「三军语言学校」（JSSL）练就的流利俄语，Hoare接下了一份向全球展示早期计算机的工作。

他谦虚地称这些展示场所为「交易会」（fairs），实际上他不仅是演示员，更是深度参与设备代码开发的工程师。

在那个时代，想要演示好机器，必须对底层架构了如指掌。

「快速排序」的诞生

1956年毕业后，Hoare曾在皇家海军服役两年，随后前往莫斯科大学，追随数学大师Andrey Kolmogorov学习机器翻译。

正是在为字典排序的过程中，Hoare脑中闪现了一个天才的想法——快速排序（Quicksort）。

回到英国后，在Elliott Brothers公司工作的他，通过学习Edsger Dijkstra等人提出的递归概念，终于为快速排序找到了最简洁、明晰的表达方式。

六便士，赌赢了整个代码界

关于快速排序的诞生，流传着一个富有传奇色彩的「赌约」。

当年，Hoare在Elliott工作时，曾告诉老板——自己能写出比现有程序更快的排序算法。

老板打趣道，「我跟你赌六便士，你肯定写不出来」。

果不其然，Hoare做到了，他写出的「快速排序」从此改变了世界。

Hoare曾亲口证实，他确实赢到了那枚六便士硬币。

但在这种自信背后，藏着一种极高的专业素养：即便他确信新算法更优，也依然先严谨地完成了老板交代的旧算法开发任务，随后才提出改进方案。

值得一提的是，在Elliott Brothers工作这段经历，不仅让Hoare收获了事业的起点，还让他与团队里的女同事Jill Pym喜结连理，两人相伴了一生。