01 · 计算人生
成果背后的人
艾兹赫尔·戴克斯特拉主张，程序的设计应当让人能够理解并论证其正确性。他的贡献涵盖最短路径算法、同步、操作系统和结构化程序设计。他在埃因霍温领导分层 THE 操作系统的研究，并通过文章批评妨碍推理的编程习惯，推动以数学和严格方法构造可靠软件。
理解这项贡献
艾兹赫尔·戴克斯特拉主张把编程视为智力活动，而不只是不断修补故障。结构清晰的控制流程和细致推理，使程序能够被理解为较小部件的组合。他的贡献还横跨算法、并发与程序设计基础。
为什么重要
清楚的结构和明确的不变量，让人们能够在故障出现之前分析程序。