哥德尔奖

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

相关

渤海渤海是中国的内海，也是西太平洋的一部分，渤海古称东海、北海。位于辽东半岛和胶东半岛之间，被辽宁省、河北省、天津市、山东省陆地环抱，仅东部以渤海海峡与黄海相通，南北长约556
东华大学东华大学（英文：Donghua University，缩写：DHU，简称：东华），是一所位于中国上海市的公立大学。是教育部直属、国家“211工程”重点建设的高等院校。前身为创建于1951年的华东纺织工学院
深圳风鹏足球俱乐部深圳风鹏足球俱乐部是一家位于中国广东省深圳市的足球俱乐部。现在是中国足球青少联赛的参赛球队。深圳风鹏组建于2012年1月底，以成句“大风将起，鹏程万里”而命名。球队由元
国际展览局国际展览局（法语：Bureau International des Expositions，缩写BIE），是协调和审批世界博览会事务的政府间合作组织，总部设于法国巴黎。1928年11月28日，31个国家的代表在巴黎签署了《
抑扬格抑扬格（英语：iamb，/ˈaɪæm/，或iambus，源自于古希腊语：ἴαμβος，ḯambos），又译为轻重格、弱强格、短长格，是一种音步，使用于多种不同的格律诗之中。抑扬格由一个轻读的音节，加上一
E·L·多克托罗埃德加·劳伦斯·多克托罗（英语：Edgar Lawrence Doctorow，1931年1月6日－2015年7月21日），美国犹太裔小说家、编剧。多克托罗生于纽约、曾就读于肯庸学院、哥伦比亚大学，1968年成为纽
刘官芳刘官芳（？－1864年），清广西武宣人，金田起义出身，与赖文鸿（捻军酋“遵王”赖文光之兄）、“奉王”古隆贤为太平天国“皖南三支撑”（三人共同著名战功：祁门之围，金坛之守）；刘初为广西天地会首领
大屯营镇大屯营镇是中国湖南省宁乡市下辖镇，位于宁乡市东南部，处宁乡市、韶山市二市交汇处。地缘上，大屯营辖域北与花明楼镇接壤，东与道林镇毗邻，西南部与韶山市相连。辖域面积106.2平方
古老者古老者（英语：The Elder Things），也被称为远古种族，是克苏鲁神话中虚构的外星人（英语：Extraterrestrials in fiction）。首次于霍华德·菲利普斯·洛夫克拉夫特所著的中篇小说《疯狂山
包斯卡县包斯卡县（Bauskas rajons、俄语：Бауский район）是拉脱维亚南部的一个县。面积1,880平方公里。人口51,974人。县治包斯卡。下分1市1镇15村。