The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT).
Премия Гёделя () — премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM , "Special Interest Group on Algorithms and Computation Theory") и , "European Association for Theoretical Computer Science") за выдающиеся труды по логике и теоретической информатике.