達納·斯圖爾特·斯科特(Dana Stewart Scott 1932年10月11日-),美國科學家,研究領域涉及計算機科學、數學和哲學,1976 年圖靈獎得主。
基本介紹
簡介,個人履歷,個人作品,斯科特的文章,其他資料,
簡介
研究領域:計算機科學,數學,哲學
個人成就:1976年圖靈獎
個人履歷
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