达纳·斯科特

达纳·斯图尔特·斯科特（，），美国科学家，研究领域涉及计算机科学、数学和哲学，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.
 

美国计算机科学家
美国逻辑学家
美国数学家
美国国家科学院院士
卡内基美隆大学教师
美国计算机学会会士
美国数学学会会士
形式方法人物
古根海姆学者
牛津大学墨顿学院校友
集合論者
格理论学家
数理逻辑学家
模态逻辑学家
模型论学家
语义学家
拓扑学家
芝加哥大学教师
加利福尼亞大學柏克萊分校教師
加利福尼亞大學柏克萊分校校友
普林斯顿大学校友
美国工程师
罗尔夫·朔克奖获得者