图灵奖：达纳·斯科特（1976）

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

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 14 期。

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

达纳·斯图尔特·斯科特（英语：Dana Stewart Scott，1932 年 10 月 11 日-），美国逻辑学家，现为卡内基梅隆大学希尔曼大学计算机科学、哲学和数理逻辑名誉教授。

他在 20 世纪 70 年代与 Christopher Strachey 的合作奠定了现代编程语言语义方法的基础。同时，他还从事模态逻辑，拓扑学和范畴理论的研究。

因在自动机理论方面的工作，斯科特获得了 1976 年的图灵奖。

其图灵奖颁奖词为“与 Michael O. Rabin 联合撰写的论文“有限自动机及其决策问题”，其中介绍了非确定性机器的想法，这已被证明是一个非常有价值的概念。 他们的经典论文一直是该领域后续工作的持续灵感来源”。（Along with Michael O. Rabin, for their joint paper “Finite Automata and Their Decision Problem,” which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field）

生平

1954 年，斯科特于加州大学伯克利分校的数学系获得了学士学位。

在普林斯顿大学，斯科特在 Alonzo Church 指导下，撰写了名为“收敛序列的完整理论”（Convergent Sequences of Complete Theories）的博士论文，并于 1958 年通过答辩。

完成博士学位后，他搬到了芝加哥大学，并在那里担任讲师到 1960 年。

1959 年，他与普林斯顿大学的同事 Michael O. Rabin，发表了题为“有限自动机和他们的决策问题”的论文，在自动机理论中引入了不确定性机器的概念。而这项工作使得二人被联合授予图灵奖。

贡献

• 自动机理论
• 笛卡尔幺半群
• 可计算函数逻辑
• 程序设计语言语义学
• 非确定有限自动机
• ……

（实在看不懂）

~~

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

至少点个赞再走吧~

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