簡介
出生：1932年10月11日
研究領域：計算機科學，數(shù)學，哲學達納·斯科特
任職于：加州大學伯克利分校牛津大學卡內(nèi)基梅隆大學
個人成就：1976年圖靈獎
個人履歷
斯科特1932年10月11日生于美國加利福尼亞州，在加州大學伯克利分校獲得學士學位以后，進入普林斯頓大學研究生院學習，與邁克爾·拉賓一起師從阿隆索·邱奇，1958年取得博士學位。
他先后在芝加哥大學、加州大學伯克利分校、斯坦福大學、荷蘭的阿姆斯特丹大學、普林斯頓大學和英國牛津大學等學府任教。1981年被卡內(nèi)基梅隆大學聘為計算機科學、數(shù)理邏輯和哲學教授。
1959年，拉賓和達納·斯科特共同發(fā)表了“有限自動機與其判定性問題”（Finite Automata and Their Decision Problems）的論文，提出了非確定自動機的觀點。他們也因此獲得了1976年的圖靈獎，并做“邏輯與程序設計語言”（logic and Programming Language）的演講。圖靈獎的引文是：因他們的合著論文“有限自動機與其判定性問題”。論文中引入了非確定自動機的概念，被證明是（計算理論科學研究中的）一個非常重要的概念。拉賓和斯科特的這篇經(jīng)典論文成為了這個領域后續(xù)研究的源泉。
個人作品
斯科特的文章
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
