njtynhj

哥德尔奖（英语：Gödel Prize）由欧洲理论计算机学会（EATCS）与美国计算机学会基础理论专业组织（ACM SIGACT）于1993年共同设立。哥德尔奖颁发给理论计算机领域最杰出的学术论文。其名称取自逻辑学与计算机科学的先驱库尔特•哥德尔（Kurt Gödel）。

哥德尔被认为与亚里士多德一样是历史上最伟大的逻辑学家之一。著名的P vs. NP问题，是哥德尔在1956年写给冯•诺依曼（John von Neumann）的一封信中首次提到的。

哥德尔奖获奖论文必须在理论计算机领域具有开创性重大贡献；同时须在获奖前14年内在学术期刊上正式发表。

哥德尔奖是理论计算机领域最负盛名的奖项。评审委员会由6名成员组成，分别由EATCS主席与ACM SIGACT主席提名。评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。颁奖典礼在当年的理论计算机会议STOC或ICALP上举行。

获奖者

• 1993年－László Babai，莎菲·戈德瓦塞尔，希爾維奧·米卡利，Shlomo Moran，与 Charles Rackoff
  


• 1994年－Johan Håstad
  


• 1995年－Neil Immerman 与 Róbert Szelepcsényi
  


• 1996年－Mark Jerrum 与阿利斯泰爾·辛克萊爾
  


• 1997年－Joseph Halpern 与 Yoram Moses
  


• 1998年－戶田誠之助
  


• 1999年－彼得·秀爾
  


• 2000年－Moshe Y. Vardi 与 Pierre Wolper
  


• 2001年－Sanjeev Arora，Uriel Feige，莎菲·戈德瓦塞尔，Carsten Lund，László Lovász，Rajeev Motwani，Shmuel Safra，Madhu Sudan，与 Mario Szegedy
  


• 2002年－Géraud Sénizergues
  


• 2003年－Yoav Freund 与 Robert Schapire
  


• 2004年－Maurice Herlihy，Mike Saks，Nir Shavit 与 Fotios Zaharoglou
  


• 2005年－Noga Alon，Yossi Matias 与 Mario Szegedy
  


• 2006年－Manindra Agrawal，Neeraj Kayal，Nitin Saxena
  


• 2007年－Alexander Razborov，Steven Rudich
  


• 2008年－Daniel Spielman，滕尚华
  


• 2009年 -Omer Reingold, Salil Vadhan, Avi Wigderson
  


• 2010年 -Sanjeev Arora, Joseph S. B. Mitchell
  


• 2011年 -Johan Håstad
  


• 2012年 -Elias Koutsoupias, 赫里斯托斯·帕帕季米特里乌, Noam Nisan, Amir Ronen, Tim Roughgarden與Éva Tardos
  


• 2013年 -Dan Boneh, Matthew K. Franklin與Antoine Joux
  


• 2014年 -Ronald Fagin, Amnon Lotem與Moni Naor
  


• 2015年 -Daniel Spielman，滕尚华
  


• 2016年 -Stephen Brookes，Peter W. O'Hearn
  


• 2017年 -Cynthia Dwork，Frank McSherry，Kobbi Nissim，亚当·史密斯