达纳·斯科特

✍ dations ◷ 2025-08-02 20:03:55 #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)的演讲。图灵奖的引文是:

相关

  • 健保医疗保险或健康保险(Medical insurance),简称医保、健保,是常见的保险之一,主要为投保人应付无法预测的医疗服务需求及财务风险。广义的医疗保险也称健康保险,它不仅补偿由于疾病
  • 棕榈树棕榈科(学名:Arecaceae)又称槟榔科,棕榈目下的一个科。目前已知棕榈科下有202属,大约2,800余种。本科植物一般是单干直立,不分枝,一般为乔木,也有不少是灌木或藤本植物(如省藤属)。叶
  • 尿道下裂尿道下裂是一种发生在男性生殖器的一种先天性尿道发育异常。患者的尿道会在会阴附近裂出皮肤,使尿不能顺着尿道从尿道口排走。有研究显示,自20世纪后期开始,尿道下裂的发病率在
  • 普莫诺蝎普莫诺蝎(学名:Pulmonoscorpius kirktonensis,字面意思为“会呼吸的蝎子”),又称为氧蝎、肺蝎,是一种已绝种的巨型蝎子,生活于石炭纪的维宪阶时期。化石曾发现于苏格兰的西洛锡安等
  • 夜鹰目夜鹰目(学名:Caprimulgiformes)在动物分类学上是鸟纲中的一个目。这一目的鸟分布广泛,除了南极洲外各大洲都有分布。夜鹰目的学名 Caprimulgiformes 来自夜鹰属的属名 Caprimulg
  • 李永丰李永丰(1962年3月3日-),嘉义县布袋镇人,外号李美国,台湾剧场演员、编剧、导演。毕业于国立艺术学院戏剧系以及国立台北艺术大学传统艺术研究所文化资产与文化政策组。 1992年成立
  • 向近敏向近敏(1914年1月28日-2006年12月31日),中国医学病毒学家,医学教育学家,社会活动家。1913年生于湖北汉川。1978年至1986年任湖北医学院(今武汉大学医学部)教授、病毒研究所所长。200
  • 七段数码管七段数码管(英语:Seven-segment display)为常用显示数字的电子元件。因为借由七个发光二极管以不同组合来显示数字,所以称为“七划管”、“七段数码管”、“七段显示器”,由于所
  • 山本铃美香山本铃美香(1949年6月17日-),日本女性漫画家。山梨县盐山市出身(今甲州市)出身。代表作是暨多次改编动画和电视剧的《网球甜心》。1949年出生于山梨县盐山市(现在并入改名甲州市),后
  • 祖德·贝林厄姆祖德·贝林厄姆(Jude Victor William Bellingham,2003年6月29日-)是一名英格兰足球运动员,司职中场。目前效力德甲劲旅多特蒙德足球俱乐部。贝林厄姆早在8岁以前就加盟伯明翰城足