达纳·斯科特

✍ dations ◷ 2025-04-12 08:22:19 #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）的演讲。图灵奖的引文是：

相关

2012年中东呼吸综合征爆发2012年中东呼吸综合征爆发指2012年起于中东地区爆发的中东呼吸综合征（MERS）疫情。2012年，世界卫生组织表示正“忙于更进一步的描述这种新型冠状病毒”，并且“立即警告与此病毒相
语言相对论语言相对论（英语：linguistic relativity），也称为萨丕尔-沃夫假说（英语：Sapir–Whorf hypothesis），由语言学家兼人类学家爱德华·萨丕尔（Edward Sapir）及其学生本杰明·李·沃夫（Benjami
装潢装修，又称室内布置，是把室内空间整理及布置妥当的工作，与室内设计有密切关系。装修承建商与室内设计师各有分工和合作的关系。
螺旋性在粒子物理学中，螺旋度指的是角动量在动量方向上的投影。这里的角动量J →指的是轨道角动量L →与自旋S →的和。由于L →与位置算符r→及动量算符p→存在这样的关系：因而L →
依附理论 (国际政治经济学)Portal:政治依赖理论（英语：Dependency Theory），或称作依赖学派（Dependency School），是1960年代晚期由拉丁美洲学者所提出的国际关系与发展经济学理论。其将世界划分为先进的中心
塞缪尔·R·麦凯尔维国家森林塞缪尔·R·麦凯尔维国家森林（英语：Samuel R. McKelvie National Forest）位于美国内布拉斯加州沙丘（英语：Sandhills (Nebraska)）中北部，于1971年10月15日设立（森林此前自1902年以来
日本年号列表日本年号（日语：元号）是一种日本的纪年法，从大化革新时开始学习中国使用年号制度，起初和中国明朝之前一样不只在更替君主时换年号，后来更换年号的权力甚至掌握在幕府或武家政权的手
DigitalGlobeDigitalGlobe是美国的商业空间图像和地理空间内容提供商，并操控数台遥感航天器（人造卫星）。该公司于2009年5月14日在纽约证券交易所上市，出售14.7万股美元，每股$19.00共筹集$279
亚加二世教宗亚加二世（拉丁语：Agapetus PP. II；？－955年11月8日）本名不详，于946年5月10日至955年11月岀任教宗。
江璧江璧（1812年－1886年），字南春，江苏甘泉县人，祖籍安徽旌德县。清朝政治人物。同治三年（1864年）甲子科解元，次年联捷成进士。以知县即用，补授江西万载县知县，有循良之称。致仕归，主讲江宁钟