达纳·斯科特

达纳·斯科特 Dana Scott
File:Scott Dana small.jpg 2003年时的照片
出生	(1932-10-11) 1932年10月11日 美国加里福尼亚州伯克利
教育程度	加州大学伯克利分校 (BA) 普林斯顿大学 (MA, PhD)
知名于	自动机理论 形式语义 非确定有限状态自动机 斯科特域 斯科特信息系统 斯科特拓扑 Scott–Strachey语义 Rabin–Scott幂集构造
奖项	勒罗伊·斯蒂尔奖 (1972) 图灵奖 (1976) (1989) (1990) (1991) 肖克奖 (逻辑与哲学奖) (1997)
科学生涯
研究领域	计算机科学 数学 哲学
机构	芝加哥大学 加州大学伯克利分校 史丹佛大学 阿姆斯特丹大学 普林斯顿大学 牛津大学墨顿学院 卡内基梅隆大学
博士导师	阿隆佐·邱奇（Alonzo Church）

达纳·斯图尔特·斯科特（Template:Langx，1932年10月11日—），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。

简介

斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆佐·邱奇，1958年取得博士学位。

他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学、数理逻辑和哲学教授。

1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（）的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“逻辑与程序设计语言”（logic and Programming Language）的演讲。图灵奖的引文是：

“ 因他们的合著论文“有限自动机与其判定性问题”。论文中引入了非确定自动机的概念，被证明是（计算理论科学研究中的）一个非常重要的概念。拉宾和斯科特的这篇经典论文成为了这个领域后续研究的源泉。 ”

参考

斯科特的文章

• With Michael O. Rabin, 1959. Finite Automata and Their Decision Problem.
• 1967. A proof of the independence of the continuum hypothesis. Mathematical Systems Theory 1:89-111.
• 1970. 'Advice in modal logic'. In Philosophical Problems in Logic, ed. K. Lambert, pages 143-173.
• With John Lemmon, 1977. An Introduction to Modal Logic. Oxford: Blackwell.

其他资料

• Blackburn, de Rijke and Venema, 2001. Modal logic. Cambridge University Press.
• Jack Copeland, 2004. Arthur Prior （页面存档备份，存于互联网档案馆）. In the Stanford Encyclopedia of Philosophy.
• Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977. ISBN 0-262-19147-4

外部链接

• Dana S. Scott's home page （页面存档备份，存于互联网档案馆）
• DOMAIN 2002 Workshop on Domain Theory – held in honor of Scott's 70th birthday.
• 达纳·斯科特在数学谱系计画的资料。