达纳·斯科特

✍ dations ◷ 2025-06-08 15:24:16 #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)的演讲。图灵奖的引文是:

相关

  • 病历病历即医疗记录的集合,是民众至医疗机构接受医疗服务的所有医事相关记录。病历资料来源基本上是由医务人员,如医师、护理师、医技、麻配师、复健师、营养师等,在问诊、体格检查
  • 德州仪器德州仪器(英语:Texas Instruments, TI)是一家位于美国德克萨斯州达拉斯的跨国公司,以开发、制造、销售半导体和计算器技术闻名于世,主要从事数字信号处理与模拟电路方面的研究、
  • 蛔虫总科蛔虫总科(学名:Ascaridoidea)是蛔目之下的一个总科,由5个科组成,包括有:在Levin(1968)关于人畜寄生线虫的分类系统,当时的蛔目仍未包括今日小杆目的物种。当时的蛔总科由下列三个科组
  • 围巾围巾是围在头部、颈部和肩部的布料,包裹头部的围巾又称为头巾,单独包裹肩部的又可称为披巾。通常于保暖,也可因美观、清洁或是宗教而穿戴。围巾可用羊绒,羊毛,真丝、晴纶、蚕丝等
  • 脆韧转换带脆韧转换带是地壳强度最大的部分。对于富含石英和长石的大陆地壳而言,脆韧转换带出现在大约13到18公里深度(大致对应于250到400°C的温度)。在这一深度,岩石变得不容易破裂,而更
  • 邱荣裕邱荣裕,生于公元1955年,桃园市客家人,台大国家发展研究所教授邱荣举为其胞兄。邱为历史学者,国立台湾师范大学历史系教授,日本立命馆大学大学院文学研究科文学博士。专长台湾客家
  • 环蕃环蕃是由一个或多个芳环和一条或多条碳链或仅为一个键组成的环外有环的多环烃型有机化合物。详见蕃命名法。
  • 杨鼎和杨鼎和(?-1651年),明朝末年至南明官员,四川承宣布政使司江安县(今四川省江安县)人。杨鼎和在南明永历帝时任兵部侍郎。永历三年(1649年),孙可望请永历帝封他为秦王,杨鼎和和大学士严起恒
  • 法显暗沙法显暗沙位于南沙群岛北康暗沙北部,义净礁与北安礁之间,水深约4.9米。1983年中华人民共和国中国地名委员会授权公布的标准名称为“法显暗沙”,以纪念东晋高僧、旅行家法显。西
  • 月光光心慌慌2《月光光心慌慌2》(英语:)是一部于1981年上映的美国恐怖电影,为月光光心慌慌系列电影(英语:Halloween (franchise))的第二部,《月光光心慌慌》的直接续集。瑞克·罗森塔尔(英语:Rick R