达纳·斯科特

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

相关

牙医师人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学牙医学（法语：Dentisterie; 英语：Dentistr
断层扫描断层扫描（英语：Tomography），也称断层成像，是指通过任何可穿透的波，对物体进行分段成像的方法。该技术被应用在了影像诊断学、考古学、生物学、大气科学、地球物理学、海洋学、等离
法兰克－史达林机制Frank–Starling机制（英语：Frank–Starling mechanisms），是心脏的一种代偿机制。指的是心脏的每搏输出量在所有其他因素保持不变的情况下，会随着心脏前负荷（心肌在收缩前所承受的
中国传统游戏列表中国传统游戏，可分为棋类、牌类、猜射等类型。若干项目被列入中国国家级非物质文化遗产。
反馈π键反馈π键（英语：π-backbonding）是一个基于分子轨道理论的化学概念，指电子从一个原子的原子轨道移动到另外一个原子或配体的反键轨道（π*轨道），在金属有机化学领域很常见，因为在该领
鬼笔目笼头菌科（Claustulaceae）鬼笔科（Phallaceae）鬼笔目（英文：Phallales）是一个担子菌纲下的一个目。鬼笔目是一种真菌下的分类，其下有两个科（笼头菌科与鬼笔科）、26个属以及88个种。
羞体根据伊斯兰教，羞体（阿拉伯语：عورة‎）是指需要以衣物遮蔽、避免被他人看见的身体部位。在伊斯兰教，暴露身体的隐秘部位是非法的，被视为罪孽。《古兰经》训示要遮掩生殖器官，成年
哈基里亚哈基里亚（HaKirya，希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova",
坦噶尼喀总统坦噶尼喀总统（President of Tanganyika）是坦噶尼喀共和国元首。根据1962年宪法，坦噶尼喀共和国的第一部宪法，总统取代了君主伊丽莎白二世作为执行国家元首。在发生空缺国民议会
树懒属树懒属（学名：），生物分类学上属于树懒亚目下的树懒科，也是树懒科当中的唯一一属，更常见的俗称为三趾树懒。与同为树懒亚目下的另一属二趾树懒属是近亲，分布地区也相近。树懒的移动速