查看源代码讨论查看历史事实揭露 揭密真相
跳转至： 导航、 搜索
达纳·斯科特 |  来自 快懂百科 的图片
| dá nà · sī kē tè | 中文名：达纳·斯科特
外文名：Dana Stewart Scott
出生地：美国加利福尼亚州
出生日期：1932年10月11日
|
达纳·斯图尔特·斯科特（Dana Stewart Scott 1932年10月11日－），美国科学家，研究领域涉及计算机科学、数学和哲学，1976 年图灵奖得主。 目录
简介研究领域：计算机科学，数学，哲学 任职于：加州大学伯克利分校 牛津大学卡内基梅隆大学 个人成就：1976年图灵奖 个人履历
斯科特在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆索·邱奇，1958年取得博士学位。 他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学、数理逻辑和哲学教授。 1959年，拉宾和[url=]达纳·斯科特[/url]共同发表了“有限自动机与其判定性问题”（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 参考来源
取自“https://pediainside.com/index.php?title=达纳·斯科特&oldid=4441334”
分类：
- 本页面最后编辑于2022年8月18日 (星期四) 17:07。
| 
发表于 2023-2-14 18:50:46
