1,179
次編輯
變更
创建页面，内容为“{| class="wikitable" align="right" |- | style="background: #FF2400" align= center| '''<big>达纳·斯科特</big>''' |- |<center><img src=https://p1-bk.byteimg.com…”
{| class="wikitable" align="right"
|-
| style="background: #FF2400" align= center| '''<big>达纳·斯科特</big>'''
|-
|<center><img src=https://p1-bk.byteimg.com/tos-cn-i-mlhdmxsy5m/d2985a6b9ab048c8a42c99988e1190fe~tplv-mlhdmxsy5m-q75:0:0.image width="300"></center>
<small>[https://www.baike.com/wikiid/1355551452159423221?prd=result_list&view_id=8tyre6wr5qg00 来自 快懂百科 的图片]</small>
|-
| style="background: #FF2400" align= center| '''<big>dá nà · sī kē tè </big>'''
|-
| align= light|
中文名：达纳·斯科特
外文名：Dana Stewart Scott
出生地：美国加利福尼亚州
出生日期：1932年10月11日
|}
<p style="text-indent:2em;">'''达纳·斯图尔特·斯科特'''（Dana Stewart Scott 1932年10月11日－），[[美国科学家]]，研究领域涉及[[计算机科学]]、[[数学]]和[[哲学]]，1976 年[[图灵奖得主]]。
==简介==
<p style="text-indent:2em;">研究领域：计算机科学，数学，哲学
<p style="text-indent:2em;">任职于：[[加州大学]]伯克利分校 [[牛津大学]]卡内基梅隆大学
<p style="text-indent:2em;">个人成就：1976年图灵奖
==个人履历==
<p style="text-indent:2em;"><p style="text-indent:2em;">斯科特在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆索·邱奇，1958年取得博士学位。
<p style="text-indent:2em;">他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学、数理逻辑和哲学教授。
<p style="text-indent:2em;">1959年，[[拉宾]]和[[达纳·斯科特]]共同发表了“[[有限自动机与其判定性问题]]”（Finite Automata and Their Decision Problems）的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“逻辑与程序设计语言”（logic and Programming Language）的演讲。图灵奖的引文是：因他们的合著论文“有限自动机与其判定性问题”。论文中引入了非确定自动机的概念，被证明是（计算理论科学研究中的）一个非常重要的概念。拉宾和斯科特的这篇经典论文成为了这个领域后续研究的源泉。<ref>[https://baike.baidu.com/reference/4005818/0638gkPfXBaUT8bV-Ob0tdSu1RXsLA3wonAOLfgWtScbbe9vBsuFxsP01v0--1yeuwblf_3OyAkzLnS8dWNYRRTnlkepg4LEmmycq1UNZZhg0AU The Mathematics PhD in the United Kingdom，The Maths PhD in the UK] </ref>
<p style="text-indent:2em;">With Michael O. Rabin, 1959. Finite Automata and Their Decision Problem.
<p style="text-indent:2em;">1967. A proof of the independence of the continuum hypothesis. Mathematical Systems Theory 1:89-111.
<p style="text-indent:2em;">1970. 'Advice in modal logic'. In Philosophical Problems in Logic, ed. K. Lambert, pages 143-173.
<p style="text-indent:2em;">With John Lemmon, 1977. An Introduction to Modal Logic. Oxford: Blackwell.
==其他资料==
<p style="text-indent:2em;">Blackburn, de Rijke and Venema, 2001. Modal logic. Cambridge University Press.
<p style="text-indent:2em;">Jack Copeland, 2004. Arthur Prior. In the Stanford Encyclopedia of Philosophy.
<p style="text-indent:2em;">Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977. ISBN 0-262-19147-4
== 参考来源 ==
{{reflist}}
[[Category:媒体影视人物]][[Category:主持人主播]]
|-
| style="background: #FF2400" align= center| '''<big>达纳·斯科特</big>'''
|-
|<center><img src=https://p1-bk.byteimg.com/tos-cn-i-mlhdmxsy5m/d2985a6b9ab048c8a42c99988e1190fe~tplv-mlhdmxsy5m-q75:0:0.image width="300"></center>
<small>[https://www.baike.com/wikiid/1355551452159423221?prd=result_list&view_id=8tyre6wr5qg00 来自 快懂百科 的图片]</small>
|-
| style="background: #FF2400" align= center| '''<big>dá nà · sī kē tè </big>'''
|-
| align= light|
中文名：达纳·斯科特
外文名：Dana Stewart Scott
出生地：美国加利福尼亚州
出生日期：1932年10月11日
|}
<p style="text-indent:2em;">'''达纳·斯图尔特·斯科特'''（Dana Stewart Scott 1932年10月11日－），[[美国科学家]]，研究领域涉及[[计算机科学]]、[[数学]]和[[哲学]]，1976 年[[图灵奖得主]]。
==简介==
<p style="text-indent:2em;">研究领域：计算机科学，数学，哲学
<p style="text-indent:2em;">任职于：[[加州大学]]伯克利分校 [[牛津大学]]卡内基梅隆大学
<p style="text-indent:2em;">个人成就：1976年图灵奖
==个人履历==
<p style="text-indent:2em;"><p style="text-indent:2em;">斯科特在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆索·邱奇，1958年取得博士学位。
<p style="text-indent:2em;">他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学、数理逻辑和哲学教授。
<p style="text-indent:2em;">1959年，[[拉宾]]和[[达纳·斯科特]]共同发表了“[[有限自动机与其判定性问题]]”（Finite Automata and Their Decision Problems）的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“逻辑与程序设计语言”（logic and Programming Language）的演讲。图灵奖的引文是：因他们的合著论文“有限自动机与其判定性问题”。论文中引入了非确定自动机的概念，被证明是（计算理论科学研究中的）一个非常重要的概念。拉宾和斯科特的这篇经典论文成为了这个领域后续研究的源泉。<ref>[https://baike.baidu.com/reference/4005818/0638gkPfXBaUT8bV-Ob0tdSu1RXsLA3wonAOLfgWtScbbe9vBsuFxsP01v0--1yeuwblf_3OyAkzLnS8dWNYRRTnlkepg4LEmmycq1UNZZhg0AU The Mathematics PhD in the United Kingdom，The Maths PhD in the UK] </ref>
<p style="text-indent:2em;">With Michael O. Rabin, 1959. Finite Automata and Their Decision Problem.
<p style="text-indent:2em;">1967. A proof of the independence of the continuum hypothesis. Mathematical Systems Theory 1:89-111.
<p style="text-indent:2em;">1970. 'Advice in modal logic'. In Philosophical Problems in Logic, ed. K. Lambert, pages 143-173.
<p style="text-indent:2em;">With John Lemmon, 1977. An Introduction to Modal Logic. Oxford: Blackwell.
==其他资料==
<p style="text-indent:2em;">Blackburn, de Rijke and Venema, 2001. Modal logic. Cambridge University Press.
<p style="text-indent:2em;">Jack Copeland, 2004. Arthur Prior. In the Stanford Encyclopedia of Philosophy.
<p style="text-indent:2em;">Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977. ISBN 0-262-19147-4
== 参考来源 ==
{{reflist}}
[[Category:媒体影视人物]][[Category:主持人主播]]