图灵奖：约翰·巴克斯（1977）

文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 15 期。图灵奖：约翰·巴克斯（1977）

本文来自 wiki:John Backus，翻译基于 腾讯交互翻译.

约翰·华纳·巴克斯（英语：John Warner Backus，1924 年 12 月 3 日-2007 年 3 月 17 日），美国计算机科学家。他领导的团队发明并实现了 FORTRAN，这是第一种广泛使用的高级编程语言。他也是巴科斯范式（BNF）的提出者，这是一种广泛使用的、用来定义形式语言语法的记号法。

他于 1977 年获得图灵奖。

其图灵奖颁奖词为“对实用高级编程系统设计的深刻、有影响和持久的贡献，特别是通过他在 FORTRAN 方面的工作，以及对编程语言规范化的开创性出版物”。（For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages.）

生平

巴克斯 1924 年 12 月 3 日出生于美国宾夕法尼亚州费城。

他曾就读于宾夕法尼亚州波茨敦的希尔学校，但他显然不是一个勤奋的学生。

而后他进入弗吉尼亚大学学习化学，但在那里的学业进行的很艰难，不到一年就因出勤率低而被开除。

随后，他在第二次世界大战期间被征召入伍，并最终获得下士军衔，负责指挥驻扎在佐治亚州斯图尔特堡的防空炮台。

在军事能力测试中获得高分后，陆军派他去匹兹堡大学学习工程学。他后来转到哈弗福德学院的医学预科课程。在医院实习期间，他被诊断出患有颅骨肿瘤，成功切除后还在头部安装了钢板。

在这个过程中，他对数学产生极大兴趣，于是去往哥伦比亚大学学习，并于 1949 年由数学专业获得硕士学位。

1950 年，他加入 IBM，并开始了漫长的工作生涯。

1957 年 4 月他所领导 13 人小组推出全世界第一套高阶电脑语言 FORTRAN，并首次在 IBM 704 计算机上面使用。

1977 年 10 月 17 日在西雅图举行的 ACM 年会上，他获得图灵奖。会中，他发表了“程序设计能从冯诺伊曼形式中解脱出来吗？函数式风格及其程序的代数”（Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs）演讲，提出了叫做 FP 的函数级编程语言。

他于 1991 年退休，并于 2007 年 3 月 17 日在俄勒冈州阿什兰的家中去世。

贡献

• Fortran
• Backus–Naur form，BNF
• Function-level programming

~~

都看到这儿了，不如关注每日推送的“科文路”、互动起来~

至少点个赞再走吧~

觉得还不错？可以在公众号菜单栏找到“赞赏”入口~