达纳·斯科特

✍ dations ◷ 2025-05-10 14:52:09 #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）的演讲。图灵奖的引文是：

相关

釤4f6 6s22, 8, 18, 24, 8, 2蒸气压第一：544.5 kJ·mol−1 第二：1070 kJ·mol−1 第三：2260 kJ·mol主条目：钐的同位素钐是一种化学元素，符号为Sm，原子序数为 62。钐是一种中等硬度
挪威峡湾马挪威峡湾马是发展自挪威的一个马品种。挪威峡湾马历史悠久，毛为暗褐色，尾巴浓密，四肢短而直，动作灵活，是一种多用途的马，维京人经常利用挪威峡湾马运货。
丹尼尔·奥利弗丹尼尔·奥利弗（英语：Daniel Oliver，1830年2月6日－1916年12月21日），英国植物学家。奥利弗从1860年-1864年曾经是英国皇家植物园标本馆的图书馆员，后来成为标本馆的馆员，直到1890年。
奥特拉峰奥特拉峰（意大利语：Ortles）是意大利北部奥特拉阿尔卑斯山脉中的一座山峰，为奥特拉山脉主峰，海拔3905米。第一次世界大战期间，奥特拉峰作为一处制高点被奥匈帝国军队占领。
婚外情外遇，也称作婚外情、偷食、出轨、第三者插足（此第三者俗称“小三”），是指有婚姻关系的其中一人，与配偶以外的人发生超出友谊的爱情关系（不论是否有性行为）。外遇的定义依不同研究领
周婕妤周婕妤（英文名：Rita，1986年12月2日－），台湾花式台球职业选手，外号“大眼妹”，2009年以未满23岁的年纪击败当时世界排名第一爱尔兰名将Karen Corr，并成为历届安丽杯史上最年轻冠军得主，
斐迪南一世 (神圣罗马帝国)斐迪南一世（德语：Ferdinand I，1503年3月10日－1564年7月25日）哈布斯堡王朝的奥地利大公和神圣罗马帝国皇帝（1556年起；1558年加冕）。他也是匈牙利和波希米亚的国王（1526年-1564年）。斐迪
卢西恩·桑马特安卢西恩·桑马特安（罗马尼亚语：Lucian Sânmărtean；1980年3月13日－）是一位罗马尼亚足球运动员。在场上的位置是自由人。他现在效力于沙特阿拉伯足球联赛球队伊蒂哈德足球俱乐部。
苏肇伉苏肇伉是中国小儿心胸外科专家，2004年全国五一劳动奖章获得者，2005年中国医师奖获得者。主要从事新生儿、婴幼儿先心病研究。在中国首先将深低温停循环技术应用于婴儿先心病手
柳德米拉·乌利茨卡娅柳德米拉·乌利茨卡娅（俄语：Людмила Евгеньевна Улицкая，1943年2月21日－）是一位俄罗斯小说家和短篇小说家，她的作品在2014年获得奥地利国家欧洲文学奖。2