达纳·斯科特

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

相关

天体化学天体化学（英语：Astrochemistry），又称天体化学；天体化学研究宇宙中元素和分子的丰度，以及它们和辐射的相互作用；还研究星际间气体和尘埃间的相互作用，特别是分子气体云的形成、相互作
黑帮暴徒《黑帮暴徒》（Tsotsi）是一部2005年南非电影，加文·胡德执导。该片根据Athol Fugard的小说《Tsotsi》改编。电影配乐中有受欢迎的南非艺术家Zola演奏的Kwaito音乐，以及Mark Kilia
里诺市里诺（英语：Reno）又译雷诺是美国内华达州北部瓦肖县 (Washoe County) 里的一个城市，亦是县政府的所在地。根据2010年人口普查，里诺市区内人口为22万5221人，处于拉斯维加斯（Las Vegas
7族元素固体、液体、气体7族元素（又称锰族元素）是指元素周期表上第7族（ⅦB 族）的元素，位于6族元素和8族元素之间。7族元素包含锰（Mn）、锝（Tc）、铼（Re）、�（Bh），均为过渡金属元素，其中锝和�为具放射性
劳动合同劳动合同是雇主与劳工订立的劳务提供合约，是商业合约的一种，内容通常包括工资、工作时间、休假、休息时间、福利、工作内容等。
分形维数在分形几何中，分数维D，（即分形维数）是一个描述一个分形对空间填充程度统计量。分数维没有统一的定义。主要的分数维定义方法有豪斯多夫维数、计盒维数和分配维数等。D = log(N)
郭文林郭文林（1906年－1969年9月5日），别名彬儒，达斡尔名色尔曾格，达斡尔族，郭布勒氏，今内蒙古鄂温克族自治旗巴彦托海镇人。满洲国政治人物。1914年，他入海拉尔街蒙旗两级小学校，1920年毕业。
李斌 (全国劳动模范)李斌（1960年5月18日－2019年2月21日），男，上海人，中华人民共和国工人，上海电气液压气动有限公司液压泵厂数控工段长，全国劳动模范、上海市总工会兼职副主席。李斌是上海液压泵厂技工学
生祥乐队生祥乐队是台湾的乐团。前身为生祥与乐团，由林生祥及其他的乐手共同组成（演变流程可参考林生祥条目）。生祥乐队关注农工、环境议题，音乐上则以台湾传统音乐元素为基底，并协调西方
神奇小子 (歌手)约翰·大卫·杰克逊（英语：John David Jackson，1977年11月18日－），以艺名神奇小子（Fabolous）知名，是美国的说唱歌手。成长于纽约市布鲁克林的杰克逊，是首批受到南方嘻哈影响的东海岸说唱