01 · 计算人生
成果背后的人
彼得·瑙尔参与定义 ALGOL 60，并编辑了有影响力的语言报告，使精确语言描述成为编程的重要部分。他也研究编译器以及程序员实际如何开发软件。他最初接受天文学训练，后来在哥本哈根大学成为丹麦计算领域的重要人物。晚年的著述强调编程作为人的活动，并反思纯形式化的解释。
理解这项贡献
彼得·诺尔在 ALGOL 60 报告中发挥了核心作用，并为语言设计和编译器构造作出贡献。精确的语法说明，让不同实现者能够约定哪些程序属于这种语言。他更广泛的工作还将编程视为人的活动，而不只是形式系统。
为什么重要
共同定义帮助语言跨越不同实现，成为可以共享研究的对象。