哥德尔奖

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

相关

夜尿症夜尿症（由拉丁文nox, night，和希腊文 ούρα, urine）演变而来，它指夜晚需要起床排尿，因此打断了睡眠。在孕妇和老年人身上比较多见。夜尿症可能仅仅是因为睡前饮用了过多液体
质体醌质体醌（英语：Plastoquinone，简称：PQ）是一种醌分子，与光合作用中光反应的电子传递链有关。质体醌被还原（得到叶绿体基质中的两个质子（H+），并与来自光系统 II的两个电子（e-）相结合），形成质体
中国真菌志《中国真菌志》是中国孢子植物志编辑委员会所编辑、有关中国菌物系统分类的系列专著。由中国科学院主编，科学出版社出版。除此以外，另有
球状闪电球状闪电是一种自然现象，属于闪电的一种。球状闪电虽然通常与雷暴有关，持续时间比闪电还久。许多早期的报告说，球状闪电最终都会爆炸，有时具有致命的后果，并留下硫的气味。直到19
University of Florida佛罗里达大学（英语：University of Florida，简称UF，也称作UFL或Florida）是位于美国佛罗里达州盖恩斯维尔的一所公立研究型大学。佛罗里达大学是加入美国大学协会的美国和加拿大的
多聚磷酸多聚磷酸（Polyphosphoric acid，缩写PPA），又称多磷酸、聚磷酸。化学式 H
span style=color: white;G-EFA/span绿党/欧洲自由联盟（英语：The Greens/European Free Alliance，缩写为Greens/EFA；法语：Groupe des Verts/Alliance libre européenne，缩写为Verts/ALE）是欧洲议会中的一个党团，由欧
锡安布卢门塔尔孤儿院锡安布卢门塔尔孤儿院 (希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram
博果铎博果铎（满语：ᠮᠠᠩᡤᡡᠯᡨᠠᡳ，太清：；1650年－1723年），满洲爱新觉罗氏。清太宗皇太极之孙、承泽裕亲王硕塞长子、康熙帝堂兄。第一代庄亲王（1655年－1723年）。顺治十一年十二月（1655年），父
洪顺 (永乐进士)洪顺，福建怀安县人，明朝政治人物、进士。永乐二年（1404年），洪顺中式甲申科二甲第六十名进士，授庶吉士。明成祖命解缙选士，其从进士中洪顺直入文渊阁。之后改为刑部主事。永乐十八年