达纳·斯科特とく

达纳·斯科特とく Dana Scott
出生しゅっしょう	(1932-10-11) 1932年ねん10月がつ11日にち 美国びくに加里かり福ぶく尼あま亚州伯はく克利かつとし
奖项	1976年ねん图灵奖
科学かがく生涯しょうがい
研究けんきゅう领域	计算机つくえ科学かがく 数学すうがく 哲学てつがく
机つくえ构	加州かしゅう大学だいがく伯はく克利かつとし分校ぶんこう 牛津うしづ大学だいがく 卡内基もと梅うめ隆たかし大学だいがく

达纳·斯图尔特·斯科特とく（英語えいご：Dana Stewart Scott，1932年ねん10月がつ11日にち—），美国びくに科学かがく家か，研究けんきゅう领域涉わたる及计算机つくえ科学かがく、数学すうがく和わ哲学てつがく，1976年ねん图灵奖得とく主ぬし。

简介

斯科特とく1932年ねん10月がつ11日にち生せい于美国びくに加か利り福ぶく尼あま亚州，在ざい加州かしゅう大学だいがく伯はく克利かつとし分校ぶんこう获得学士がくし学位がくい以后，进入普ふ林りん斯顿大学だいがく研究生けんきゅうせい院いん学がく习，与あずか迈克尔·拉ひしげ宾一起かずき师从阿おもね隆たかし索さく·邱奇，1958年ねん取得しゅとく博士はかせ学位がくい。

他た先さき后きさき在ざい芝しば加か哥大学がく、加州かしゅう大学だいがく伯はく克利かつとし分校ぶんこう、斯坦福ぶく大学だいがく、荷に兰的阿おもね姆斯特とく丹に大学だいがく、普ふ林りん斯顿大学だいがく和かず英国えいこく牛津うしづ大学だいがく等とう学府がくふ任にん教きょう。1981年ねん被かむ卡内基もと梅うめ隆たかし大学だいがく聘为计算机つくえ科学かがく、数理すうり逻辑和わ哲学てつがく教授きょうじゅ。

1959年ねん，拉ひしげ宾和达纳·斯科特とく共同きょうどう发表了りょう“有限ゆうげん自じ动机与あずか其判定性ていせい问题”（Finite Automata and Their Decision Problems）的てき论文，提出ていしゅつ了りょう非ひ确定自じ动机的てき观点。他た们也因いん此获得とく了りょう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.
• 达纳·斯科特とく在ざい數學すうがく譜ふ系けい計畫けいかく的てき資料しりょう。