哥德尔奖

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

相关

抗真菌药物杀真菌剂（英语：fungicide）是指用来杀死或抑制真菌或真菌袍子的化合物或者生物体。真菌能够对农业产生严重的危害，例如严重减产，质量降低等。卵菌不是真菌，尽管它和真菌很相似，例如
认领认领系指生父承认非婚生子女为自己亲生子女者，被认领之非婚生子女即因认领取得其生父之婚生子女之法律地位。由于生母与子女之间可藉分娩之事实确定真实血缘联络，故子女毋须经
互联网名称与数字地址分配机构互联网名称与数字地址分配机构（Internet Corporation for Assigned Names and Numbers），简称ICANN，是位于美国加利福尼亚的非营利社团，主要由互联网协会的成员组成，创建于1998年9
赫雷罗人和纳马人大屠杀赫雷罗人和纳马人大屠杀是1904年至1908年德意志帝国在德属西南非洲针对赫雷罗人、纳马人（英语：Nama people）、萨恩人实行了连坐屠杀，被认为是二十世纪的第一场种族屠杀。出于对
尤利乌斯·温岑兹·冯·克罗姆布霍尔兹尤利乌斯·温岑兹·冯·克罗姆布霍尔兹（Julius Vincenz von Krombholz，1782年12月19日－1843年11月1日）是出生于捷克Oberpolitz的医师与真菌学家。克罗姆布霍尔兹曾于布拉格大学
PGA巡回赛PGA巡回赛（英文：PGA Tour，简称“美巡赛”）是一项美国职业高尔夫球系列赛事的统称，也是负责运作这些赛事的机构本身的名称。其总部设于佛罗里达州杰克逊维尔市郊外的蓬特委德拉海
人类聚居地人类聚居地（英语：Human settlement）。以美国地质调查局的定义来看的话，它是一个有人口聚居的地方或地区（视人口普查结果而定），并根据经纬度分析某一范围聚集或散落的建筑物与该地长
同志权利运动家在同志历史上，同志权利运动家是指奉献己力，推动同志权利改革的人。他们或投身政治、参与立法工作，或以出版、投书、舆论等方式宣扬同志理念，为同志争取平等权利。
仙人掌属参见正文参见正文仙人掌属目前分类只包括约200种圆柱状仙人掌被单独分为一个圆柱仙人掌属（），其他圆筒状仙人掌如以前分在属、属和中的种类都包括在本属中。仙人掌属植物一般具
可敦可敦（蒙古语：.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"