達納·斯科特
達納·斯圖爾特·斯科特（英語：Dana Stewart Scott，1932年10月11日—），美國科學家，研究領域涉及計算機科學、數學和哲學，1976年圖靈獎得主。
| 達納·斯科特 Dana Scott | |
|---|---|
 | |
| 出生 | 1932年10月11日 美國加里福尼亞州伯克利 |
| 獎項 | 1976年圖靈獎 |
| 科學生涯 | |
| 研究領域 | 計算機科學 數學 哲學 |
| 機構 | 加州大學伯克利分校 牛津大學 卡內基梅隆大學 |
簡介
編輯斯科特1932年10月11日生於美國加利福尼亞州，在加州大學伯克利分校獲得學士學位以後，進入普林斯頓大學研究生院學習，與米高·拉賓一起師從阿隆索·邱奇，1958年取得博士學位。
他先後在芝加哥大學、加州大學伯克利分校、史丹福大學、荷蘭的阿姆斯特丹大學、普林斯頓大學和英國牛津大學等學府任教。1981年被卡內基梅隆大學聘為計算機科學、數理邏輯和哲學教授。
1959年，拉賓和達納·斯科特共同發表了「有限自動機與其判定性問題」（Finite Automata and Their Decision Problems）的論文，提出了非確定自動機的觀點。他們也因此獲得了1976年的圖靈獎，並做「邏輯與程式語言」（logic and Programming Language）的演講。圖靈獎的引文是：
| “ | 因他們的合著論文「有限自動機與其判定性問題」。論文中引入了非確定自動機的概念，被證明是（計算理論科學研究中的）一個非常重要的概念。拉賓和斯科特的這篇經典論文成為了這個領域後續研究的源泉。[1] | ” |
腳註
編輯- ^ 英文為：For their joint paper "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field. ACM Turing Award Citation[永久失效連結]
參考
編輯斯科特的文章
編輯- 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.
- 達納·斯科特在數學譜系計劃的資料。