哥德尔奖 哥德尔奖英語Gödel Prize是一個頒發給理論計算機科學領域傑出論文的年度獎項由歐洲理論計算機科學協會英语European Association for Theoretical Computer ScienceEATCS和美國計算機協會算法和計算理論特別興趣小組計算機協會算法和計算理論特別興趣小組英语ACM SIGACT聯合頒發該獎項是為紀念庫爾特哥德爾而命名的哥德爾是第一個提出PNP問題的人在年寫給約翰馮諾伊曼的信中哥德爾問某個NP完全的問題是否可以用二次或是線性時間來解決 哥德爾獎於年開始在STOCACM計算理論研討會英语Symposium on Theory of Computing北美理論計算機科學的主要會議之一或ICALP自動機語言和編程國際座談會英语International Colloquium on Automata Languages and Programming該領域的主要歐洲會議之一上頒發獲獎論文必須在理論計算機領域具有開創性重大貢獻同時需在獲獎前年內在學術期刊上正式發表該獎項包括美元的獎金 哥德爾獎的評審委員會由名成員組成分別由EATCS主席和SIGACT主席各提名三名成員任期三年並交錯進行委員會由EATCS和SIGACT的代表輪流擔任主席