哥德尔奖

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

相关

波特兰第三代波特兰公爵威廉·亨利·卡文迪许-本廷克，KG，PC，FRS（英语：William Henry Cavendish-Bentinck, 3rd Duke of Portland，1738年4月14日－1809年10月30日），1738年至1762年称为蒂奇菲
黄豆酱黄酱，用黄豆为原料，经过发酵加工，添加各种香料，呈粘稠状态的调味品，是中国菜的主要调料。黄酱可以用于烹调菜肴，也可以直接佐餐，例如北京的风味小吃“炸酱面”，就是用炸香的黄酱拌煮
基因型分型基因型分型（英语：genotyping）是一个通过生物检定法检测某一个体的DNA序列，并对比参照其他个体的基因型或序列的过程，可用于显示该个体等位基因从其父母遗传而来的情况. 通常，基因
巴托罗密欧‧高西奥巴托罗密欧‧高西欧（意大利语：Bartolomeo Gosio，1863年3月17日－1944年4月13日），意大利医学家；他发现了导致许多人死亡的“高西欧气体”是由微生物产生的砷化物。（他误以为微生物产生
安妮·克鲁格安妮·奥斯本·克鲁格（Anne Osborn Krueger，1934年2月12日－），美国经济学家。1982年至1986年任世界银行首席经济学家，2001年至2006年任国际货币基金组织（IMF）代理总裁。2007年至今任
兵库县知事列表兵库县知事列表包括兵库县的历代知事。初代知事　伊藤博文（在任时间1868年5月23日（旧历）～1869年4月10日（旧历））
翅斑海鲿翅斑海鲿为辐鳍鱼纲鲇形目海鲇科的其中一种，分布东太平洋区，从加利福尼亚湾至厄瓜多尔半咸水水域、海域，本鱼体圆润，体色棕色，背部金属蓝，腹部银白色，鱼鳍黄绿色，臀鳍前端具一黑点，口
阿尔法·卡里姆·拉德哈瓦阿尔法·卡里姆·拉德哈瓦（乌尔都语：ارفع کریم رندھاوا，Arfa Karim Randhawa‎‎，1995年2月2日－2012年1月14日），巴基斯坦学生、电脑奇才。2004年，仅9岁时成为微软认
前田隆礼前田隆礼（日语：まえだたかのり、1848年8月30日（嘉永元年8月2日） - 1905年3月26日）为日本陆军军人。最终阶级为陆军中将。幼名、正人。十津川乡士・前田利一的长男。加入天诛组
氟乙酸甲酯氟乙酸甲酯是甲醇和氟乙酸形成的酯，化学式为FCH2COOCH3。氟乙酸甲酯可由碘乙酸甲酯和氟化银反应得到：毒理学试验测得半数致死量，小鼠口服LD50为6-7 mg/kg，大鼠口服LD50为3-4 mg/