达纳·斯科特

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

相关

道达尔石油公司道达尔（Total，Euronext：FP， NYSE：TOT）是一家法国石油公司，为目前世界六大石油公司之一，同时也是欧洲市值最大的公司之一。其经营范围涵盖了整个石油和天然气的产业链，从原油和天然气
月球运动论月球运动论的目的是计算月球的运动。月球有许多不规律（或是摄动）的运动，历史上科学家曾多次尝试去了解并计算它们，经历屡次失败下这一课题曾经是历史上的世纪难题，但月球运动已是
1914年请参看：1914年是一个平年，第一天是星期四。美国学者莱斯利·里普森认为1914年以后的西方国家的国家与社会的关系重新回归到一元主义模式。参见：Category:1914年出生
杨辉杨辉（约1238年－约1298年），字谦光，钱塘（今浙江杭州）人，是中国南宋时期数学家。杨辉生于约宋理宗嘉熙二年（1238年），终于约元成宗大德二年（1298年）。他著有《详解九章算法》12卷、《日用算法
弗朗茨·奥韦尔贝克弗朗茨·奥韦尔贝克全名是弗朗茨·卡米耶·奥韦尔贝克（Franz Camille Overbeck，1837年11月16日－1905年6月26日），德国教会史学家、诠释学神学家、瑞士巴塞尔大学教授──他也是思
可儿郡可儿郡（日语：可児郡／かにぐん */?）为岐阜县管辖的郡。人口20,157人、面积56.61 km²。（2005年）现管辖有以下1町。
伊万·帕夫洛维奇·巴尔金伊万·帕夫洛维奇·巴尔金（俄语：Иван Павлович Бардин，1883年－1960年），苏联冶金学家，苏联科学院副院长。社会主义劳动英雄。第一至五届苏联最高苏维埃联盟院代表
安灯系统安灯（日语：行灯／あんどん／アンドン，英语：Andon）是一个制造业术语，是指向管理、维护和其他工人通知质量或流程问题的一套系统。这种警报可以由工人使用拉绳或按钮手动激活，或者由生
大众综合证券大众综合证券（简称大众证券，原股票代号：6022）是过去曾存在于台湾的证券公司，于2017年售予台新金控，并并入其旗下的台新证券。前身为1989年11月10日成立于高雄市的“东联证券”，1997
维克多·拉卢维克多·拉卢（法语：Victor Laloux，1850年11月15日－1937年7月3日），法国建筑师。自1869年，他师从路易-儒勒·安德雷（Louis-Jules André）在巴黎艺术美术学院学习。1870年因普法战争被迫