求真百科欢迎当事人提供第一手真实资料,洗刷冤屈,终结网路霸凌。

达纳·斯科特查看源代码讨论查看历史

事实揭露 揭密真相
跳转至: 导航搜索
达纳·斯科特

来自 快懂百科 的图片

dá nà · sī kē tè

中文名:达纳·斯科特

外文名:Dana Stewart Scott

出生地:美国加利福尼亚州

出生日期:1932年10月11日

达纳·斯图尔特·斯科特(Dana Stewart Scott 1932年10月11日-),美国科学家,研究领域涉及计算机科学数学哲学,1976 年图灵奖得主

简介

研究领域:计算机科学,数学,哲学

任职于:加州大学伯克利分校 牛津大学卡内基梅隆大学

个人成就:1976年图灵奖

个人履历

斯科特在加州大学伯克利分校获得学士学位以后,进入普林斯顿大学研究生院学习,与迈克尔·拉宾一起师从阿隆索·邱奇,1958年取得博士学位。

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

1959年,拉宾达纳·斯科特共同发表了“有限自动机与其判定性问题”(Finite Automata and Their Decision Problems)的论文,提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖,并做“逻辑与程序设计语言”(logic and Programming Language)的演讲。图灵奖的引文是:因他们的合著论文“有限自动机与其判定性问题”。论文中引入了非确定自动机的概念,被证明是(计算理论科学研究中的)一个非常重要的概念。拉宾和斯科特的这篇经典论文成为了这个领域后续研究的源泉。[1]  

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

参考来源