跳至內容

達納·斯科特

維基百科,自由的百科全書
達納·斯科特
Dana Scott
出生 (1932-10-11) 1932年10月11日92歲)
 美國加里福尼亞州伯克利
獎項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)的演講。圖靈獎的引文是:

腳註

[編輯]
  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.

其他資料

[編輯]

外部連結

[編輯]