哥德(de)(de)爾(er)(er)獎（G?del Prize），由(you)歐洲計(ji)算機(ji)(ji)學(xue)會（EATCS）與美國計(ji)算機(ji)(ji)學(xue)會基礎(chu)理論(lun)專業組織（ACM SIGACT）于1993年(nian)共同設(she)立，頒給(gei)(gei)理論(lun)計(ji)算機(ji)(ji)領域(yu)最杰出的(de)(de)(de)學(xue)術論(lun)文(wen)。其名稱取(qu)自偉大的(de)(de)(de)邏輯(ji)學(xue)家庫爾(er)(er)特·哥德(de)(de)爾(er)(er)（Kurt G?del）。哥德(de)(de)爾(er)(er)也(ye)被(bei)認為是理論(lun)計(ji)算機(ji)(ji)的(de)(de)(de)先驅。著名的(de)(de)(de)P vs.NP問題，被(bei)發(fa)現是哥德(de)(de)爾(er)(er)在1956年(nian)寫給(gei)(gei)馮·諾依曼（John von Neumann）的(de)(de)(de)一封信(xin)中首次提到(dao)的(de)(de)(de)。哥德(de)(de)爾(er)(er)獎是理論(lun)計(ji)算機(ji)(ji)領域(yu)最負盛名的(de)(de)(de)獎項。
哥德爾(er)獎自1993年(nian)起每年(nian)于(yu)該年(nian)度的(de)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年(nian) 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年(nian) 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年(nian) 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年(nian) 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年(nian) 滕尚華 for their series of papers on nearly-linear-time Laplacian solvers
Daniel Spielman
1993年(nian)首(shou)屆哥德爾(er)獎(jiang)(jiang)得主中就有(you)一(yi)(yi)位女性(xing)Shafi Goldwasser。Shafi Goldwasser與1993年(nian)另(ling)一(yi)(yi)位獲(huo)獎(jiang)(jiang)者Silvio Micali于2012年(nian)共同(tong)獲(huo)得圖靈獎(jiang)(jiang)（Turing Award）。實(shi)際上，Shafi Goldwasser兩次獲(huo)得哥德爾(er)獎(jiang)(jiang)，另(ling)一(yi)(yi)次是在2001年(nian)。截(jie)止到(dao)2015年(nian)，共有(you)6位學者兩次獲(huo)獎(jiang)(jiang)，其他五位分別是Sanjeev Arora（2001,2010）和Johan H?stad（1994,2011）,滕尚華和Daniel Spielman（2008,2015），Mario Szegedy（2001, 2005）。
截(jie)止到2015年，獲獎的華(hua)人學(xue)者只有一位，是美(mei)國南加州大(da)學(xue)滕(teng)尚華(hua)教授。
精靈世界
】編(bian)輯上傳(chuan)提供，當前(qian)頁面所展示(shi)的(de)詞條介(jie)紹(shao)涉及宣傳(chuan)內容(rong)屬于(yu)注冊用戶個人(ren)編(bian)輯行(xing)為，網(wang)站不完全保證內容(rong)信息(xi)的(de)準確性(xing)、真實性(xing)，也(ye)不代表本站立場。
