达纳·斯科特

✍ dations ◷ 2025-09-13 20:45:45 #1932年出生,在世人物,图灵奖获得者,美国计算机科学家,美国逻辑学家,美国数学家,美国国家科学院院士,卡内基美隆大学教师,美国计算机学会会士,美国数学学会会士

达纳·斯图尔特·斯科特（英语：Dana Stewart Scott，1932年10月11日－），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。

斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆索·邱奇，1958年取得博士学位。

他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学、数理逻辑和哲学教授。

1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（Finite Automata and Their Decision Problems）的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“逻辑与程序设计语言”（logic and Programming Language）的演讲。图灵奖的引文是：

相关

新国际百科全书《新国际百科全书》（英语：New International Encyclopedia），是1902年的一部美国百科全书，由Dodd, Mead and Company出版此书，并曾于1906、1914及1926年更新。《新国际百科全书》承
保罗·兰格尔翰斯保罗·兰格尔翰斯（Paul Langerhans，1847年7月25日－1888年7月20日）是德国著名的病理学家和生物学家。
羟钴胺羟钴胺(OHCbl, or B12a)是维生素B12的一种天然形式，或者叫维生素B12类中的一种。它是钴胺族化合物中的一个基本成员。许多用于商业化生产维生素的产生菌所产生的就是羟钴胺形
固溶体固溶体是指溶质原子溶入溶剂晶格中而仍保持溶剂类型的合金相。通常以一种化学物质为基体溶有其他物质的原子或分子所组成的晶体，在合金和硅酸盐系统中较多见，在多原子物质中亦
第二次泰法战争1940至1941年，泰国和维希法国之间因为对法属印度支那（Indochine française）的某些原属泰国的地区的所有权发生争持，从而爆发了小规模的泰法战争。早在二战爆发之前，两国政府有为
M1919中型机枪勃朗宁M1919（M1919 Browning machine gun），俗称（Browning Machine Gun，30 Cal ），是由约翰·勃朗宁在一战后设计的机枪，主要是把水冷式M1917改为气冷式，采用.30-06 Springfield 步枪
性别表现性别表现（英语：Gender expression），包括性别气质，是指特定文化背景下与某种性别相关的人的行为、举止、兴趣和外观方面，特别是与女性表现或男性表现有关的类别。这也包括性别角色
恺撒里昂托勒密十五世·菲洛帕托尔·菲洛墨托尔·恺撒（希腊语：Πτολεμαίος ΙΕ' Φιλοπάτωρ Φιλομήτωρ Καίσαρ，拉丁化：，前47年6月23日-前30年8月23日），昵
法利萨·马利亚斯莫哈末·法利萨·本·马利亚斯(马来语：Mohd Farizal bin Marlias，1986年7月29日－)是一名马来西亚职业足球运动员，现效力于马来西亚足球超级联赛的柔佛DT足球俱乐部。同时也代表
邓如望邓如望（越南语：Đặng Như Vọng／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H",