达纳·斯科特

✍ dations ◷ 2025-02-24 11:28:58 #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）的演讲。图灵奖的引文是：

相关

孙　钧孙钧（1926年10月3日－），中国隧道与地下建筑工程专家。原籍浙江绍兴，生于江苏苏州。1949年毕业于交通大学土木工程系。1991年当选为中国科学院院士（学部委员）。
司马辽太郎司马辽太郎（1923年8月7日－1996年2月12日），是日本的大阪出身的小说家。本名福田定一。专攻历史小说。笔名司马辽太郎是文学方面“远不及司马迁”的意思。获认为是日本大众文学的
边缘海缘海、陆陆缘海或称边陆缘海（英语：Marginal Sea）指的是大海的四周大部分是由半岛、岛屿或者陆地所环绕的大海；名称差异为陆缘海是地球科学名词，陆陆缘海是地质学名词，边陆缘海是海
宇宙年表宇宙年代学，或宇宙年表依据大爆炸之宇宙论描述宇宙的历史和未来，目前的宇宙如何由普朗克时期随着时间演化的科学模式，使用宇宙的共动坐标系时间参数。宇宙膨胀的模型即是所知的
俄罗斯足球超级联赛俄罗斯足球超级联赛（Чемпионат России по футболу），是俄罗斯足协协会组织的职业足球联赛，通常简称“俄超”。它是1991年苏联解体之后成立的顶级足球联
幕末参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：幕末，即江户幕府末年，是指日本历史上德川幕府统治时代（江户
锅盔锅盔是陕西、甘肃及湖北等地流传已久的民间小吃，类似于馕。锅盔整体呈圆形，直径约一尺左右，厚1寸，重量约5斤。相传武周（唐武则天）时期，官兵为武则天修建乾陵时，因工程钜大，大量民工需
盘山 (天津)坐标：40°4′57″N 117°15′59″E / 40.08250°N 117.26639°E / 40.08250; 117.26639盘山，位于天津市蓟州区境内，是有名的风景区，被誉为“京东第一山”。早在清朝，乾隆皇帝就曾
达木丁·登贝尔勒达木丁·登贝尔勒（蒙古语：Дамдины Дэмбэрэл，1941年4月15日－）蒙古族，蒙古国科布多省曼汗县（Mankhan）人，蒙古国政治人物。1941年4月15日，登贝尔勒生于科布多省。1960年，毕
克尔恩山克尔恩山（斯洛文尼亚语：Krn；意大利语：Monte Nero）是斯洛文尼亚的山峰，位于该国西北部，由科巴里德镇负责管辖，属于朱利安阿尔卑斯山脉的一部分，海拔高度2,244米，每年平均降雨量2,482毫