哥德尔奖

✍ dations ◷ 2025-06-29 20:54:44 #计算机科学奖项,以人名命名的奖项,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上举行。

相关

波士顿学院波士顿学院（Boston College，缩写BC）是美国一所位于美国马萨诸塞州栗树山的私立研究型大学。波士顿学院建立于1863年，距离波士顿市区约有六英里。古老的校园内拥有北美洲最早的哥
数量级 (长度)本页米 (又称米) 为单位，按长度大小列出一些例子，以帮助理解不同长度的概念。
开城开城特别市（朝鲜语：개성특별시／開城特別市 Kaesŏng Thŭkpyŏlsi */?），又名松都（송도）、松岳（송악）、开京（개경）、松京（송경），是朝鲜民主主义人民共和国的城市，近郊所产的高丽人参驰名国
热带法西斯主义在非洲的政治哲学中，热带法西斯主义是在后殖民主义国家中，要么被视为法西斯主义，要么被视为具有强烈的法西斯主义倾向。1967年至2005年多哥独裁者纳辛贝·埃亚德马被认为是非洲
雅罗斯拉夫·海罗夫斯基雅罗斯拉夫·海罗夫斯基（捷克语：Jaroslav Heyrovský，1890年12月20日 - 1967年3月27日），捷克化学家，布拉格大学教授。早年留学英国，研究电化学；1922年提出极谱法；在电毛细现象中，用滴
直到雨停的那一天《直到雨停的那一天》（日语：いつかこのあめがやむひまで，英语：Juliet In The Rain））是由日本东海电视台制作的电视剧，2018年8月4日至9月29日于富士电视台大人的六剧时段播出，由渡边
约翰·希罗尼穆斯·施罗特约翰·希罗尼穆斯·施罗特(1745年8月30日－1816年8月29日)是一位德国天文学家。1745年出生在埃尔福特，1762年到1767年曾在哥廷根大学学习法律，之后开始了长达十年之久的法律工作
伯颜 (八邻部)伯颜（蒙古语：.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Tig"
耶稣会纪念广场耶稣会纪念广场（葡萄牙语：Largo da Companhia de Jesus）是位于澳门大三巴牌坊前的广场，连接大三巴街、大三巴巷、大三巴斜巷、大三巴右街。该广场为纪念到澳门建立了圣保禄学院
西演镇西演镇，是中华人民共和国河北省保定市高阳县下辖的一个乡镇级行政单位。西演镇下辖以下地区：西演村、杨家务村、马果庄村、苏果庄村、团丁庄村、小团丁村、八果庄村、利家口村