英国计算机科学家托尼・霍尔（Tony Hoare）于 2026 年 3 月 5 日逝世，享年 92 岁。他是当代最具影响力的计算机科学家之一，其开创性的工作奠定了现代程序设计与形式化方法的基础。霍尔的一生，是与软件复杂性战斗的一生——为了理解复杂的程序，他发明了快速排序算法、提出霍尔逻辑等理论，这些成果深刻塑造了计算机科学的发展路径。斯人已逝，但他所发明的算法、他所构建的理论框架，早已融入现代计算 ...