デイナ・スコット
デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。
2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。
このころジョン・レモンと共同で様相論理の研究を始めている。レモンは1963年にカリフォルニア州クレアモントに移った。スコットは特にアーサー・プライアー(英語版)の時相論理と自然言語の意味論における時間の扱い方との関係に興味を持ち、バークレーの学部学生だったころからの友人であるリチャード・モンタギューと共同研究を始めた。後にスコットとモンタギューはそれぞれ独自にクリプキ意味論の様相論理および時相論理への重要な一般化を発見し、スコット-モンタギュー意味論と呼ばれるようになった。
レモンと共に様相論理の教科書を執筆していたが、1966年にレモンが亡くなったため中断した。スコットは未完成な論文を同僚らに回覧した。それはモデル理論の意味論の重要な技法をいくつか導入したもので、特にカノニカルモデルの改良と "filterations" を通してモデルを構築する重要な技法がある。それらは現代クリプキ意味論の中核概念となっている。スコットは、最終的にレモンとの共著 An Introduction to Modal Logic を出版した。
Michael Rabin and Dana Scott, "Finite automata and their decision problems," IBM Journal of Research and Development 3, 1959, pp. 114-125.
Scott, Dana (1961), “Measurable cardinals and constructible sets”, Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 9: 521-524, http://www.worldscientific.com/doi/abs/10.1142/9789812564894_0020
1967. A proof of the independence of the continuum hypothesis.