達いたる納おさめ·斯科特とく

達いたる納おさめ·斯科特とく Dana Scott
出生しゅっしょう	(1932-10-11) 1932年ねん10月がつ11日にち 美國びくに加里かり福ぶく尼あま亞あ州しゅう伯はく克利かつとし
獎項	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）的てき演えんじ講こう。圖ず靈れい獎的引文是ぜ：

“ 因いん他た們的合あい著ちょ論文ろんぶん「有限ゆうげん自動じどう機き與あずか其判定性ていせい問題もんだい」。論文ろんぶん中ちゅう引入了りょう非ひ確定かくてい自動じどう機き的てき概念がいねん，被ひ證明しょうめい是ぜ（計算けいさん理論りろん科學かがく研究けんきゅう中ちゅう的てき）一いち個こ非常ひじょう重要じゅうよう的てき概念がいねん。拉ひしげ賓まろうど和わ斯科特とく的てき這篇經典きょうてん論ろん文成ふみなり為ため了りょう這個領域りょういき後續こうぞく研究けんきゅう的てき源泉げんせん。 ”

參考さんこう

斯科特とく的てき文章ぶんしょう

• 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.
• 達いたる納おさめ·斯科特とく在ざい數學すうがく譜ふ系けい計畫けいかく的てき資料しりょう。