达纳·斯科特

✍ dations ◷ 2025-11-12 21:26:32 #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）的演讲。图灵奖的引文是：

相关

四氟硼酸铜氟硼酸铜是氟硼酸的二价铜盐，其中包含两个氟硼酸根离子（BF4−）。氟硼酸根的形状为四面体，类似于甲烷。中央的硼原子因为形成了四个共价键，因此具有一个负电荷。它的氧化态为+3。
胡德山国家森林胡德山国家森林（英语：Mount Hood National Forest）是一座位于美国俄勒冈州波特兰以东62英里（100千米）处的国家森林，处于威拉米特河谷北侧。森林自哥伦比亚河峡谷往南延伸了超过60
国宝银行国宝银行（Abacus Federal Savings Bank）是美国的一家银行，1984年12月由纽约华人社区的商界领袖成立。创始人的最初目的是为曼哈顿下城的移民和当地居民提供银行服务。随着中国
河村隆一河村隆一（1970年5月20日－）是日本男歌手及作曲家，为摇滚乐团月之海、Tourbillon（日语：Tourbillon (バンド)）的主唱，并以“RYUICHI”这个名称来参加活动。出生于神奈川县大和市。
阿舒托什·慕克吉阿舒托什·慕克吉爵士CSI FASB FRSE FRAS MRIA（英国化名Sir Ashutosh Mukherjee，原名为孟加拉语：আশুতোষ মুখোপাধ্যায়，，或者英国化为 Asutosh Mookerjee（阿苏托
驮隆口岸驮隆口岸（越南语：Cửa khẩu Tà Lùng），是位于越南高平省复和县的一个边境口岸。该口岸地处越南国道3号的终点，与中国广西省龙州县水口口岸隔河相望。广西·龙州中越水口—驮隆
第二次拉特朗公会议第二次拉特朗公会议是天主教教会承认的第十次大公会议，于公元1139年4月由教宗意诺增爵二世召开。由1000人参加，主要议题是减少教宗和诺理二世于1130年死后教宗选举选举出教宗
中国科学院化学研究所中国科学院化学研究所（以下简称“化学所”）是中国科学院早期成立的研究所之一，成立于1956年，所址地处北京市海淀区中关村。化学所的研究领域涵盖大部分化学二级学科，是一个综合性
罗比·阿梅尔罗伯特·帕特里克·“罗比”·阿梅尔（Robert Patrick "Robbie" Amell，1988年4月21日－），加拿大男演员，在CW电视剧《未来青年》中饰演主角斯蒂芬·詹姆森而出名。罗比·阿梅尔出生于
科顿伍德 (科罗拉多州)科顿伍德（英语：Cottonwood）是位于美国科罗拉多州道格拉斯县的一个非建制地区。曾是人口普查指定地区，2000年人口普查中有931人。科顿伍德的座标为39°33′34″N 104°48′02″W