哥德尔奖

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

相关

失控减压失控减压（Uncontrolled decompression），简称失压，是指在密闭系统（例如飞机客舱）中气压无预期的降低，并且通常是因为人为错误、金属疲劳、工程缺陷或是撞击，导致压力容器泄压至比其周
上议院执政党（38）在野党（37）荷兰政府与政治系列条目国会一院（荷兰语：Eerste Kamer der Staten-Generaal），或译参议院，是荷兰王国荷兰的最高议会。现拥有75名议员，每四年由12个省的参议会按
六偏磷酸钠六偏磷酸钠（英语：SHMP, Sodium hexametaphosphate，E编码：E452(i)），是指六聚体 (NaPO3)6。商品六偏磷酸钠是多种聚磷酸盐的混合物，即多偏磷酸钠，而六聚物是其中的一种。1、磷酸二氢钠
棉纱纱线是一种很长的纤维，用于纺织、缝纫、编织、制绳等。纱线可以从多种天然或合成纤维制成，比如棉、丝绸、竹、麻、大豆，羊、骆驼、猫、狗、狐、兔等动物的毛，以及各种人造纤维。
红翅黑鹂红翅黑鹂（学名：Agelaius phoeniceus，英文名：red-winged blackbird），亦作红翅乌鸫、美洲红翼鸫，是黑鹂属的一种鸟类，主要分布于北美洲。分有多个族群，北部的族群在冬季飞往南部过冬，此
光辉软件光辉软件是位于中国的一家外资网络游戏开发商和运营商之一，成立于2005年。截至2009年，光辉软件的两款游戏开发了“热力排球”和“越野飞车”，在中国大陆、台湾、美国、巴西、土
无限边形在几何学中，无限边形（英语：Apeirogon）是指有无限多条边的多边形，是多边形的一种，每个无限边形皆具有无限条边和无限个顶点。在欧几里得几何中，无限边形是一个退化多边形，其边数是可
边值问题在微分方程中，边值问题是一个微分方程和一组称之为边界条件的约束条件。边值问题的解通常是符合约束条件的微分方程的解。物理学中经常遇到边值问题，例如波动方程等。许多重要
李荣威李荣威（1926年12月23日－2011年1月5日），回族，京剧演员，工净行。李荣威十岁时进入“荣春社”，先后向孙盛文、尚小云、宋富亭、裘盛戎等京剧名家学习，后拜侯喜瑞、苏连汉为师。现代京剧
克里斯多福·伊舍伍克里斯多福·伊舍伍（英语：Christopher Isherwood亦可成为克里斯多福.伊薛伍德，1904年8月26日－1986年1月4日）是一位著名英美小说家，作品多以同性恋为主题。代表作有《柏林故事》（）及