哥德尔奖

✍ dations ◷ 2025-08-24 19:16:46 #计算机科学奖项,以人名命名的奖项,1993年建立的奖项

哥德尔奖(英语:Gödel Prize)由欧洲理论计算机学会(EATCS)与美国计算机学会基础理论专业组织(ACM SIGACT)于1993年共同设立。哥德尔奖颁发给理论计算机领域最杰出的学术论文。其名称取自逻辑学与计算机科学的先驱库尔特•哥德尔(Kurt Gödel)。

哥德尔被认为与亚里士多德一样是历史上最伟大的逻辑学家之一。著名的P vs. NP问题,是哥德尔在1956年写给冯•诺依曼(John von Neumann)的一封信中首次提到的。

哥德尔奖获奖论文必须在理论计算机领域具有开创性重大贡献;同时须在获奖前14年内在学术期刊上正式发表。

哥德尔奖是理论计算机领域最负盛名的奖项。评审委员会由6名成员组成,分别由EATCS主席与ACM SIGACT主席提名。评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。颁奖典礼在当年的理论计算机会议STOC或ICALP上举行。


相关

  • 怀特腓怀特腓德(George Whitefield,1714年12月27日-1770年9月30日)是基督教大觉醒运动中的重要人物之一,循道宗的共同创始人。怀特腓德1714年12月27日生于英国格洛斯特,12岁时已发挥演说
  • 社交焦虑症社交恐惧症又名社会焦虑症、人群恐惧症,是一种对任何社交或公开场合感到强烈恐惧或忧虑的精神疾病。患者对于在陌生人面前或可能被别人仔细观察的社交或表演场合,有一种显著且
  • 联邦君主制联邦君主制是一种政治体制,指的是联邦制国家遵奉一位君主为整个联邦的唯一国家元首,但在政府运作上则没有一般单一制君主立宪政体的特征;换言之,联邦下的每个邦皆仍得保有其原有
  • 白垩纪-古近纪界线白垩纪-古近纪界线(K-Pg界线)旧名白垩纪-第三纪界线(K-T界线),K代表希腊文的kreta,是白垩的意思。是介于白垩纪和古近纪之间的界线,富含铱的黏土层,大约出现在六千五百万年前。这段期
  • 义都-达让语支义都-达让语支,是藏缅语族的一个小支系,主要分布在阿鲁纳恰尔邦东部,有2万人使用。包括两种语言:虽然义都人、达让人和格曼人在印度统称“米什米”部落,在中国达让人和格曼人统称
  • 台湾穿山甲台湾穿山甲(学名:)又称台湾鲮鲤、闷仔、土龟,是一种身上覆有鳞片的哺乳动物。该物种为穿山甲属中华穿山甲的一个亚种,也是台湾的一个特有亚种。目前,因栖地流失及人类过度捕食等因
  • 安宁河谷平原安宁河谷平原是中华人民共和国四川省的第二大平原,位于凉山彝族自治州。根据《中国大百科全书》记载:“阶地发育,宽4—10公里,坡度平缓,面积达1800平方公里,为川西南唯一最大河谷
  • 约翰·海因里希·冯·马德勒约翰·海因里希·冯·马德勒(Johann Heinrich Mädler)是一位德国天文学家,1794年5月29日生于柏林,1874年3月14日在汉诺威去世。马德勒生于一个裁缝家庭,12岁就读于柏林弗里德
  • 海伦芦荟海伦芦荟(学名:)是马达加斯加特有的一种芦荟。它们现正处于极危,并受到《濒危野生动植物种国际贸易公约》附录一的保护。
  • 平阳镇 (阜平县)平阳镇,是中华人民共和国河北省保定市阜平县下辖的一个乡镇级行政单位。平阳镇下辖以下地区:各老村、平阳村、上平阳村、铁岭村、王快村、山咀头村、台南村、北水峪村、白家峪