达纳·斯科特

✍ dations ◷ 2025-10-12 23:53:10 #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)的演讲。图灵奖的引文是:

相关

  • 强直性脊柱炎强直性脊柱炎(拉丁文:spondylitis ankylosans,其中spondylitis原为希腊文脊柱炎之意,ankylosans原系希腊文强直之意),又称僵直性脊椎炎,在欧陆亦称此病为白赫铁列夫症(Morbus Bechte
  • 针灸学针灸是针法和灸法的合体。中医学中采用针刺或火灸人体穴位来治疗疾病,是联合国教科文组织认定的人类非物质文化遗产代表作。根据中医学理论,通过刺激穴位可以改善经络中的气的
  • 斯希丹斯希丹(荷兰语:Schiedam, 读音 帮助·信息)是荷兰南荷兰省的一座城市和基层政权。它是鹿特丹大都会区的一部分。该城位于鹿特丹西面,弗拉尔丁恩的东边,代尔夫特南边。它南与佩尔
  • 身体抽蓄惊厥(英语:Convulsion),亦称惊风,在医学上指肌肉突然紧张、松弛而导致身体失控颤抖的状况。因为症状与癫痫发作相似而被混淆,但并不是所有的癫痫发作都会导致惊厥。和西医所指的广
  • 沃尔特·阿尔瓦雷茨沃尔特·阿尔瓦雷茨(Walter Alvarez,1940年10月3日-)是一位美国地质学家,诺贝尔物理学奖得主路易斯·阿尔瓦雷茨之子。任教于伯克利加州大学地球与行星科学系。因为与其父共同提
  • 照二归精照二归精为黄侃所提出之古代汉语音韵学规律。即中古汉语的庄.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans U
  • 淀殿淀殿(日语:淀殿/よどどの ,1567年-1615年6月4日),本名为浅井茶茶,父亲是日本战国大名浅井长政,母亲是织田信长之妹织田市。她是丰臣秀吉的侧室,为秀吉生下鹤松与秀赖两个儿子。二妹常
  • 第2号交响曲 (勃拉姆斯)D大调第2号交响曲,作品号73,由约翰内斯·勃拉姆斯于1877年夏天造访韦尔特湖畔珀查赫(奥地利克恩顿州的一个小镇)时创作。与勃拉姆斯花了21年时间完成他的第一交响曲相比,这部作品
  • 佩德罗·祖伦佩德罗·祖伦(1889年10月12日-1925年1月27日)是秘鲁华裔哲学家和图书馆员,一生致力于争取秘鲁土著人权益和去集权化。
  • 波罗的斯克区 (加里宁格勒州)坐标:54°39′N 19°55′E / 54.650°N 19.917°E / 54.650; 19.917波罗的斯克区(俄语:Балтийский район),是俄罗斯的一个区,位于该国西北部,由加里宁格勒州负责管