Dana Scott

达纳·斯图尔特·斯科特（Dana Stewart Scott，1932 年 10 月 11 日出生）是一位美国逻辑学家，卡内基梅隆大学希尔曼大学计算机科学、哲学和数理逻辑荣誉教授。 [1] 他现已退休，住在加利福尼亚州伯克利。他和 Michael O. Rabin 因其在自动机理论方面的工作而荣获 1976 年 ACM 图灵奖，而他在 20 世纪 70 年代与 Christopher Strachey 的合作奠定了现代编程语言语义方法的基础。他还致力于模态逻辑、拓扑学和范畴论。他获得了学士学位。 1954 年，他在加州大学伯克利分校获得数学博士学位。在普林斯顿大学期间，阿朗佐·丘奇 (Alonzo Church) 指导下完成了关于完整理论收敛序列的论文，并于 1958 年进行了论文答辩。所罗门·费弗曼 (Solomon Feferman) (2005) 描述了这一时期：斯科特于 50 年代初开始在伯克利学习逻辑，当时他还是一名本科生。他非凡的能力很快就得到了认可，他很快就进入了塔斯基的研究生班和研讨会，并成为了他周围团队的一员，其中包括我和理查德·蒙塔古；所以就是在那个时候我们成为了朋友。斯科特显然打算和塔斯基一起攻读博士学位，但由于我们传记中解释的原因，他们发生了争吵。 [ 2 ] 斯科特对此感到沮丧，他前往普林斯顿大学，并在阿隆佐教堂 (Alonzo Church) 的指导下获得了博士学位。但没过多久，他们之间的关系就修复到了塔斯基可以对他说：“我希望我可以称你为我的学生。”领域： 计算机科学、数学、哲学 教育背景： 加州大学伯克利分校 学士 普林斯顿大学 硕士 博士 获奖者：Leroy P. Steele 奖（1972 年）

图灵奖 (1976)

塔斯基讲座 (1989)

哈罗德·彭德奖 (1990)

哥德尔讲座 (1991)

罗尔夫·肖克奖（逻辑与哲学）（1997 年）