求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。

達納·斯科特檢視原始碼討論檢視歷史

事實揭露 揭密真相
前往: 導覽搜尋
達納·斯科特

來自 快懂百科 的圖片

dá nà · sī kē tè

中文名:達納·斯科特

外文名:Dana Stewart Scott

出生地:美國加利福尼亞州

出生日期:1932年10月11日

達納·斯圖爾特·斯科特(Dana Stewart Scott 1932年10月11日-),美國科學家,研究領域涉及計算機科學數學哲學,1976 年圖靈獎得主

簡介

研究領域:計算機科學,數學,哲學

任職於:加州大學伯克利分校 牛津大學卡內基梅隆大學

個人成就:1976年圖靈獎

個人履歷

斯科特在加州大學伯克利分校獲得學士學位以後,進入普林斯頓大學研究生院學習,與邁克爾·拉賓一起師從阿隆索·邱奇,1958年取得博士學位。

他先後在芝加哥大學、加州大學伯克利分校、斯坦福大學、荷蘭的阿姆斯特丹大學、普林斯頓大學和英國牛津大學等學府任教。1981年被卡內基梅隆大學聘為計算機科學、數理邏輯和哲學教授。

1959年,拉賓達納·斯科特共同發表了「有限自動機與其判定性問題」(Finite Automata and Their Decision Problems)的論文,提出了非確定自動機的觀點。他們也因此獲得了1976年的圖靈獎,並做「邏輯與程序設計語言」(logic and Programming Language)的演講。圖靈獎的引文是:因他們的合著論文「有限自動機與其判定性問題」。論文中引入了非確定自動機的概念,被證明是(計算理論科學研究中的)一個非常重要的概念。拉賓和斯科特的這篇經典論文成為了這個領域後續研究的源泉。[1]  

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

參考來源