哥德尔奖

✍ dations ◷ 2024-09-20 15:03:07 #计算机科学奖项,以人名命名的奖项,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上举行。

相关

氯丙二醇氯丙醇（Chloropropanols）是一类在化学制作豉油的过程中所产生的致癌物质。日常比较常见的氯丙醇包括以下三种：传统豉油酿造法是以微生物来分解黄豆蛋白，酿造过程约需半年。(参看
黄疸病黄疸（英：jaundice、icterus）又称黄胆，俗称黄病，是因为体内胆红素过高，造成皮肤及巩膜发黄或是发绿的症状，一般会伴随发痒、粪便苍白及尿液颜色偏深的情形。新生儿黄疸是出生后前三
pʼ双唇挤喉音（Bilabial ejective）是辅音的一种，用于一些口语中。用于表示此音的国际音标（IPA）是⟨pʼ⟩，其等价的X-SAMPA音标为p_>。双唇挤喉音的特征包括：除了以下列出的语言以外，此
1186年重要事件及趋势重要人物
罗孙燿罗孙燿，字乃远，广东顺德人，清朝政治人物，进士出身。顺治十五年（1658年）戊戌科进士，官至都匀府推官。著有《石湖集》。
廉价低成本航空公司（英语：low-cost carrier，英文亦称low-cost airline、no-frills airline或budget airline，经常简称为LCC），中文亦称为廉价航空公司（或低价航空公司），简称廉航，指的是将营
马里科帕县马里科帕县（英语：Maricopa County 发音： /ˌmærᵻˈkoʊpə/ MARR-i-KOH-pə）是美国亚利桑那州中西部的一个县。马里科帕县的总面积为23,891平方公里。根据2010年人口普查，马里
印度铁路运输69182公里（线路总长）35488公里（线路总长）印度是最早开通火车的亚洲国家，也是20世纪90年代前铁路总里程最长的亚洲国家。铁路在印度交通运输中占据重要地位。印度的干线铁路网由印
浊卷舌塞擦音浊卷舌塞擦音（voiced retroflex sibilant affricate）是塞音/ɖ/和浊卷舌擦音/ʐ/紧密结合后产生的一种塞擦音，国际音标为/ɖ͡ʐ/或/d͡ʐ/，常常被简写为/dʐ/.在俄罗斯语单词“
安德烈·彼得罗维奇·卡皮察安德烈·彼得罗维奇·卡皮察（俄语：Андрей Петрович Капица，1931年7月8日－2011年8月2日）是俄罗斯地理学家和南极探险家，南极洲最大的冰底湖——沃斯托克湖的第