哥德尔奖

#奖项# 0 0
哥德尔奖，由欧洲理论计算机学会和美国计算机学会基础理论专业组织在1993年联合设立，以逻辑学与计算机科学先驱——库尔特·哥德尔名字命名，主要颁发给理论计算机领域最杰出的学术论文。哥德尔奖含金量很高，而想要获得哥德尔奖可不是件容易的事。获奖论文必须在理论计算机领域具有开创性重大贡献，并且该论文必须在14年内在学术期刊上正式发表过，最后还要通过由6名被EATCS和ACM SIGACT提名的评选委员会成员的评审，这样才能确定出最终的获奖者。
详细介绍 PROFILE +

哥德尔奖（Gödel Prize），由欧洲计算机学会（EATCS）与美国计算机学会基础理论专业组织（ACM SIGACT）于1993年共同设立，颁给理论计算机领域最杰出的学术论文。其名称取自伟大的逻辑学家库尔特·哥德尔（Kurt Gödel）。哥德尔也被认为是理论计算机的先驱。著名的P vs.NP问题，被发现是哥德尔在1956年写给冯·诺依曼（John von Neumann）的一封信中首次提到的。哥德尔奖是理论计算机领域最负盛名的奖项。

哥德尔奖自1993年起每年于该年度的STOC或ICALP上颁发一次，奖金为$5000。

获奖名单

年份 姓名 理论成果

1993年 László Babai for the development ofinteractive proof systems

Shafi Goldwasser

Silvio Micali

Shlomo Moran

Charles Rackoff

1994年 Johan Håstad for an exponential lower bound on the size of constant-depth Boolean circuits (for the parity function).

1995年 Neil Immerman for the Immerman–Szelepcsényi theorem regarding nondeterministic space complexity

Róbert Szelepcsényi

1996年 Mark Jerrum for work on Markov chains and the approximation of the permanent of a matrix

Alistair Sinclair

1997年 Maurice Herlihy for defining a formal notion of "knowledge" in distributed environments

Mike Saks

Nir Shavit

Fotios Zaharoglou

1998年 Seinosuke Toda for Toda's theorem which showed a connection between counting solutions (PP) and alternation of quantifiers (PH)

1999年 Peter Shor for Shor's algorithm for factoring numbers in polynomial time on a quantum computer

2000年 Moshe Y. Vardi for work on temporal logic with finite automata

Pierre Wolper

2001年 Sanjeev Arora for the PCP theorem and its applications to hardness of approximation

Uriel Feige

Shafi Goldwasser

Carsten Lund

László Lovász

Rajeev Motwani

Shmuel Safra

Madhu Sudan

Mario Szegedy

2002年 Géraud Sénizergues for proving that equivalence of deterministic pushdown automata is decidable

2003年 Yoav Freund for the AdaBoost algorithm in machine learning

Robert Schapire

2004年 Maurice Herlihy for applications of topology to the theory of distributed computing

Mike Saks

Nir Shavit

Fotios Zaharoglou

2005年 Noga Alon for their foundational contribution to streaming algorithms

Yossi Matias

Mario Szegedy

2006年 Manindra Agrawal for the AKS primality test

Neeraj Kayal

Nitin Saxena

2007年 Alexander Razborov for natural proofs

Steven Rudich

2008年 滕尚华 for smoothed analysis of algorithms

Daniel Spielman

2009年 Omer Reingold for zig-zag product of graphs and undirected connectivity in log space

Salil Vadhan

Avi Wigderson

2010年 Sanjeev Arora for their concurrent discovery of a polynomial-time approximation scheme (PTAS) for the Euclidean Travelling Salesman Problem (ETSP)

Joseph S. B. Mitchell

2011年 Johan Håstad for proving optimal inapproximability result for various combinatorial problems

2012年 Elias Koutsoupias for laying the foundations of algorithmic game theory

Christos Papadimitriou

Noam Nisan

Amir Ronen

Tim Roughgarden

Éva Tardos

2013年 Dan Boneh for multi-party Diffie–Hellman key exchange and the Boneh–Franklin scheme in cryptography

Matthew K. Franklin

Antoine Joux

2014年 Ronald Fagin for Optimal Aggregation Algorithms for Middlewar

Amnon Lotem

Moni Naor

2015年 滕尚华 for their series of papers on nearly-linear-time Laplacian solvers

Daniel Spielman

人物轶事

1993年首届哥德尔奖得主中就有一位女性Shafi Goldwasser。Shafi Goldwasser与1993年另一位获奖者Silvio Micali于2012年共同获得图灵奖（Turing Award）。实际上，Shafi Goldwasser两次获得哥德尔奖，另一次是在2001年。截止到2015年，共有6位学者两次获奖，其他五位分别是Sanjeev Arora（2001,2010）和Johan Håstad（1994,2011）,滕尚华和Daniel Spielman（2008,2015），Mario Szegedy（2001, 2005）。

截止到2015年，获奖的华人学者只有一位，是美国南加州大学滕尚华教授。

本百科词条由网站注册用户【 CN101679 】编辑上传提供，当前页面所展示的词条介绍涉及宣传内容属于注册用户个人编辑行为，网站不完全保证内容信息的准确性、真实性，也不代表本站立场。 版权声明 反馈 我要认领
词条所在榜单
  • 世界十大计算机奖
    • 赞
    踩
    加载更多
    相关知识文章
    世界十大含金量最高的文学奖 国际上著名的文学奖项有哪些
    提到文学大奖，大家肯定首先就想到了诺贝尔文学奖，以及布克奖、卡夫卡文学奖这些国际上著名的文学奖项。其实除此之外，世界含金量高的文学奖还有国际安徒生奖、普利策文学奖、龚古尔文学奖、雨果奖等，本文MAIGOO小编就跟大家分享下全球十大含金量最高的文学奖，一起来看看你都知道哪些文学奖项吧。
    文学奖 书刊/阅读 小说
    7000+
    世界十大最著名的设计奖 国际设计奖项排名 含金量最高的设计大奖
    说起设计界最高奖项，想必大家都想到了世界三大设计奖：iF设计奖、红点奖、IDEA奖，除此之外G-Mark设计奖、欧洲产品设计奖、德国设计奖等，也都是国际著名设计奖项。本文MAIGOO小编就为大家盘点世界十大最权威的设计奖，一起来详细了解下吧。
    设计奖 会议/颁奖 设计
    3000+
    世界十大著名摄影奖项 国际摄影大奖排名 摄影界含金量最高的奖
    摄影奖是指任何以摄影为颁发对象的奖项。在摄影界的最高奖项非荷赛奖莫属，是众所周知的摄影奖项。除此之外，你还知道哪些国际摄影奖呢？本文Maigoo小编就为大家盘点下世界十大最权威的摄影奖，包括：荷赛奖、哈苏国际摄影奖、普立策新闻摄影奖、POYi全球年度图片奖、奥赛摄影奖、哈姆丹国际摄影奖等，一起来详细了解下吧。
    拍照 艺术教育/琴棋书画 会议/颁奖
    4000+
    世界十大最著名的音乐奖 全球音乐奖项排名 含金量最高的音乐大奖
    说起音乐类颁奖，想必大家同maigoo小编一样立马想到了国际奖项世界音乐大奖、音乐界的奥斯卡“格莱美奖”，以及全英音乐奖、回声音乐奖、全美音乐奖、公告牌音乐奖等，这些都是含金量十足的音乐奖项。除此之外，你还知道哪些含金量最高的音乐大奖呢？本文就为大家盘点下世界十大最权威的音乐奖，一起来了解下吧。
    听歌听音乐 会议/颁奖 音乐
    5000+
    计算机界十大含金量最高的奖项 计算机世界级大奖有哪些
    说起计算机界含金量最高的奖项，大家首先想到的肯定是有“计算机的诺贝尔奖”之称的图灵奖，以及计算机先驱奖、奈望林纳奖、约翰·冯·诺依曼奖、哥德尔奖、格雷斯·霍珀奖，这些都是含金量十足的计算机科学奖项。除此之外，你还知道哪些著名的计算机奖项呢？下面，MAIGOO小编就为大家盘点计算机界十大含金量最高的奖项，一起来看看吧。
    计算机 会议/颁奖 科学
    1000+
    世界十大著名数学奖项 国际数学大奖排名 数学界含金量最高的奖
    数学奖项种类很多，其中国际数学界含金量最高的奖项有菲尔兹奖、沃尔夫数学奖、阿贝尔奖、陈省身奖，以及高斯奖、克拉福德奖、奈望林纳奖等。本文MAIgoo小编就为大家盘点下世界十大著名数学奖项，一起来看看吧。
    会议/颁奖 最出名/最著名 之最/世界榜/中国榜
    3000+
    世界十大著名科学奖项 世界级科学奖项有哪些 科学界含金量最高的奖
    科学奖项是为了表彰在科学研究领域做出杰出贡献的个人或组织而设立，种类有很多，例如诺贝尔奖、克拉福德奖、科普利奖章、斯隆研究奖、巴尔赛奖等，都是科学界含金量最高的奖。除此之外，你还知道哪些含金量十足的科学奖项呢?本文Maigoo小编就为大家盘点下世界十大著名科学奖项。一起看看吧。
    科学技术奖 会议/颁奖 最出名/最著名
    3000+
    世界十大含金量最高的科幻小说奖 世界级科幻小说奖项有哪些
    说起世界级科幻小说奖项，想必大家同Maigoo小编一样，想到了雨果奖、星云奖、轨迹奖、迪特玛奖，这些都是耳熟能详的含金量十足的科幻小说奖，那么全球还有哪些著名的科幻小说奖项呢？本文就为大家盘点下全球十大含金量最高的科幻小说奖，一起来看看吧。
    小说 文学奖 科幻小说
    3000+
    世界十大最著名的美术奖 世界级美术大奖排名 国际绘画大奖有哪些
    在美术界最高奖项为亚历山大卢奇绘画奖，此外，你还知道哪些最权威的美术奖项吗？本文MAIGOO小编就为大家盘点下全球十大最权威的美术奖，包括亚历山大卢奇绘画奖、TOP国际书画奖、世界插画奖、拉古纳国际艺术奖、普利兹克奖、西班牙当代艺术奖等，一起来了解一下吧。
    美术 美术用品 最出名/最著名
    3000+
    世界十大最著名的医学奖 国际医学奖项排名 医学界含金量最高的奖
    国际上有不少非常有名的医学奖，例如诺贝尔生理学或医学奖是医学领域最高荣誉之一，而拉斯克医学奖和盖尔德纳奖都是医学界的著名奖项。此外，你还知道哪些著名的医学奖呢？下面Maigoo小编就为大家盘点下全球十大最权威的医学奖，一起来了解一下吧。
    会议/颁奖 最出名/最著名 之最/世界榜/中国榜
    2000+
    世界十大含金量最高的儿童文学奖 国际著名童书大奖有哪些
    全球很多国家和国际机构都设立了不少儿童文学奖项，那么国际著名的儿童文学奖项有哪些呢？本文MAIgoo小编就为大家盘点下世界十大含金量最高的儿童文学奖，包括国际安徒生奖、纽伯瑞儿童文学奖、林格伦文学奖、博洛尼亚国际儿童书展最佳童书奖、凯迪克大奖、卡内基文学奖等，一起来详细了解下吧。
    书刊/阅读 文学奖 童书
    2000+
    世界十大最著名的艺术奖 国际艺术奖项排名 含金量最高的艺术大奖
    艺术奖项是表彰和奖励在艺术领域取得杰出成就和贡献的个人和组织的奖项。说起含金量最高的艺术大奖，大家首先想到的肯定是被誉为“艺术界诺贝尔”的透纳奖。除此之外，威尼斯双年展终身成就奖、凯撒林奖、沃尔夫艺术奖这些都是含金量十足的艺术奖项。下文MAIgoo小编就为大家盘点下世界十大最权威的艺术奖。一起来看看吧。
    艺术教育/琴棋书画 历史文化 会议/颁奖
    2000+
    世界十大著名舞蹈奖 世界级舞蹈奖项有哪些 全球舞蹈界最高奖项
    舞蹈奖是指针对舞蹈艺术所设立的奖项。在舞蹈界的最高奖项非美国舞蹈节终身成就奖莫属，是众所周知的摄影奖项。除此之外，你还知道哪些国际舞蹈奖呢？本文Maigoo小编就为大家盘点下世界十大最权威的舞蹈奖，包括：黑池舞蹈节大奖、美国舞蹈节大奖、瓦尔纳国际芭蕾舞比赛大奖、伯努瓦舞蹈奖、莫斯科国际芭蕾舞比赛大奖等，一起来详细了解下吧。
    舞蹈 最出名/最著名 娱乐方式/场所
    2000+
    世界十大最著名的戏剧奖 国际戏剧奖项排名 含金量最高的戏剧大奖
    戏剧奖是指由戏剧艺术组成的奖项。在戏剧界的最高奖项就是托尼奖了，它是众所周知的戏剧奖项。除此之外，你还知道哪些国际戏剧奖呢？本文MAIGOO小编为大家分享世界十大最权威的戏剧奖，包括：托尼奖、奥利弗奖、莫里哀奖、欧洲剧场奖、普利策戏剧奖等，一起来了解一下吧。
    戏剧戏曲 话剧 最出名/最著名
    1000+
    世界十大顶级美食奖项 国际美食奖项排名 含金量最高的美食大奖
    说起世界顶级美食奖项，大家首先想到的肯定是顶级美味大奖，以及iSEE全球奖、御厨C.C.C.金章、全球食品工业大奖、詹姆斯·毕尔德奖等这些含金量十足的美食奖项。那么除此之外，全球还有哪些著名的美食奖呢？下面，MAIGOO小编为大家分享世界十大权威美食奖项，一起来了解一下吧。
    世界美食/世界特产 世界之最/世界纪录/世界十大 餐饮服务
    1000+
    全球十大含金量最高的服装设计奖 世界级服装设计奖项有哪些
    全球含金量最高的服装设计奖莫过于法国的金顶针奖，此外美国时装设计师协会大奖、英国时装大奖、ANDAM时尚大奖等，都是国际服装设计知名奖项。除此之外，你还知道哪些世界级服装设计大奖？本文MAIGOO小编就为大家盘点下全球十大含金量最高的服装设计奖，一起来详细了解下吧。
    服装设计 会议/颁奖 设计奖
    1000+
    世界六大著名建筑奖 世界建筑六大奖盘点 全球知名的建筑大奖有哪些
    世界六大建筑奖项是什么？世界建筑六大奖指的是亚洲建筑师协会建筑奖、普利兹克奖、金块奖、阿卡汉奖、国际建筑奖、开放建筑大奖。其中，普利兹克奖被誉为“建筑学界的诺贝尔奖”，王澍为第一位获此殊荣的中国籍人士，也是继1983年贝聿铭之后，第二位获此殊荣的华人建筑师。以下是世界建筑六大奖的详细内容，快跟maigoo生活小编一起来看看吧。
    建筑设计 建筑奖 最出名/最著名
    7000+
    世界十大最著名的新闻奖 国际新闻奖项排名 含金量最高的新闻大奖
    新闻奖是指由新闻机构、新闻行业协会或政府部门颁发的奖项。说起新闻类奖项，被誉为新闻界的最高奖项的普利策新闻奖，是众所周知的新闻奖项，除此之外，你还知道哪些国际新闻奖呢？本文Maigoo小编就为大家盘点下世界十大最权威的新闻奖，包括：普利策新闻奖、世界新闻奖、阿尔伯特·伦敦奖、乔治·波尔克新闻奖、英国报业奖等，一起来详细了解下吧。
    传媒 会议/颁奖 最出名/最著名
    500+
    足球界十大最高奖项 含金量最高的足球奖项 足坛最高荣誉奖杯盘点
    足球界含金量最高奖项无疑是世界杯冠军——大力神杯，而洲际大赛冠军、劳伦斯世界体育奖、金球奖、世界足球先生等，这些也是含金量十足的足球奖项。那么国际足坛还有哪些著名的足球奖项呢？本文Maigoo小编就为大家盘点下世界足球界十大最高奖项，一起来看看吧。
    足球 体育 运动体育
    2000+
    奥斯卡十大最佳女主角 奥斯卡金像奖最佳女演员盘点 历届奥斯卡影后名单
    作为世界电影界一年一度的盛事，奥斯卡最佳女主角是人们最关注的奖项之一。在奥斯卡金像奖影后设立以来这么多年的时间里，有人多次封后，也有人追寻多年终尝所愿，更有各种凭借精湛的演技创造属于自己的奥斯卡纪录的人。以下为小编整理的奥斯卡十大最佳女演员排行榜，包括12提4中的凯瑟琳·赫本，“奥斯卡毒瘤”梅丽尔·斯特里普等等，不知道谁是你心目中的最佳奥斯卡影后？一起来看看吧！
    聚焦人物 演员 明星艺人
    3.6万+
    加载更多