哥德尔奖

✍ dations ◷ 2025-12-02 03:01:45 #计算机科学奖项,以人名命名的奖项,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上举行。

相关

林可酰胺类抗生素林克酰胺类抗生素（英语：Lincosamides）是一类抗生素，主要包括了克林霉素和林可霉素。这类抗生素对革兰氏阳性菌作用较强，对厌氧菌效果较好。林克酰胺类抗生素能够与核糖体上的50S
Hsub3/subAsOsub4/sub砷酸为砷(V)的含氧酸，分子式H3AsO4。三元中强酸，酸性及其他性质均类似磷酸。由五氧化二砷溶于水而得。反应也可向左进行，如加入五氧化二磷作吸水剂时，又可从砷酸产生五氧化二砷
塞兰特期塞兰特期（亦被称为古新世中期）是古新世的第二个阶段，起止时间分别为61.6百万年前和59.2百万年前。该阶段处于达宁期和赞尼特期之间。有时,古新世被细分,在Selandian形成了“古
工部工部为中国古代官署名，六部之一。其长官为工部尚书。受中国文化影响，朝鲜半岛的高丽王朝也设有工部，其长官为工部尚书。至朝鲜王朝时期，改称工曹，长官改称工曹判书。受中国文化影
我的国家我的国家是朝鲜民主主义人民共和国的门户网站，由朝鲜电脑研究中心（KCC）于2004年开发、朝鲜外文出版社运营。其服务器曾设在德国，现设于北朝鲜。网站内容包括北朝鲜的政治、旅游
马来半岛十一州及位于婆罗洲北部的沙巴、砂拉越两州最高元首后东姑阿兹纱阿蜜娜（英语：Tunku Azizah Aminah Maimunah）副最高元首苏丹纳兹林沙（马来语：Sultan Nazrin Muizuddin Shah ibni Sultan Azlan Muhibbuddin Shah）副首相（不设
炸酱面 (짜장면)韩式炸酱面（韩语：짜장면），是一种韩式中华料理（英语：Korean Chinese cuisine），在面条淋上由春酱（一种咸黑豆酱）、猪肉粒和蔬菜粒、有时还有海鲜制成的浓酱。这种酱称为炸酱。
阿契美尼斯阿契美尼斯（古波斯语：�� ，现代波斯语：هخامنش‎；希腊语：.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek"
李方膺 (篮球运动员)李方膺（1929年－），江苏无锡人，中国男子篮球运动员、教练，曾任中国篮球协会男子教练委员会副主任、江苏省篮协副主席和教练委员会主任，中国篮协技术顾问组副组长等职务。1999年被评为
菲希特峰坐标：47°22′3″N 11°38′41″E / 47.36750°N 11.64472°E / 47.36750; 11.64472菲希特峰（德语：Fiechter Spitze），是奥地利的山峰，位于该国西部，由蒂罗尔州负责管辖，属于卡文德尔