哥德尔奖

✍ dations ◷ 2025-11-11 07:18:23 #计算机科学奖项,以人名命名的奖项,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上举行。

相关

劳拉西泮劳拉西泮（Lorazepam），商品名罗拉、安定文锭或阿提凡（Ativan）是苯二氮䓬类（BZD）药物。可用来治疗焦虑症、失眠、包括癫痫重积状态在内的积极癫痫发作、酒精戒断症候群、化疗引起的恶
自然倾斜角休止角，亦作安息角，是斜面使置于其上的物体处于沿斜面下滑的临界状态时，与水平表面所成的最小角度(即随着倾斜角增加，斜面上的物体将越容易下滑；当物体达到开始下滑的状态时，该临
Procedure人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学外科手术，简称手术，凡指透过器械，经外科
环球航空800号班机环球航空800号班机（TWA800）是一班从美国纽约肯尼迪国际机场起飞，中途停留在法国巴黎戴高乐机场，目的地为意大利罗马－菲乌米奇诺机场的环球航空班机。1996年7月17日，班机搭载着212
异铜异铜（Enargite）是一种铜、砷的硫盐矿物，其化学式为：Cu3AsS4。此名称源自于希腊语enarge中，意思为“不同的”。异铜是一个含金属光泽的钢灰色、棕黑灰色至紫黑色的矿物。它形成细
北红河红河（英语：Red River，法语：Rivière Rouge），是美国与加拿大边境上的一条北美洲河流。会合伯私德所思河（英语：Bois de Sioux River）与水獭尾巴河（英语：Otter Tail River）形成。红河向北流
一日可接受摄取量一日可接受摄取量或 ADI 是指食物或饮用水中特定物质每天不影响健康下口服可摄入量。最初适用于食品添加剂，后来也适用于兽药或农药残留物。ADI通常以每公斤体重每天可摄取
联邦研究部联邦研究部（英语：Federal Research Division）是美国国会图书馆辖下的研究机构。联邦研究部的主要工作为分析国内外事务，服务对象包括美国政府、哥伦比亚特区和一些委托的承包商
女爵士女爵士（Dame）是英国荣誉制度中，相等于“爵士”之头衔。所有取得爵级勋章，或从男爵爵位的英国及英联邦女性人民，均可使用此头衔。而这里指的勋章则为巴斯勋章、圣米迦勒及圣乔治勋
阿列克谢·高曼俄罗斯早期选秀冠军，著名男歌手，1981年生。他的歌声爽朗真诚，拥有阳光笑容，金黄，碧眼，在俄罗斯被誉为“太阳神”。