جائزة جودل
تُمنح جائزة جودل (بالإنكليزية: Gödel Prize) سنوياً للأبحاث المتميزة في مجال علوم الحاسوب النظري مُشاركةً من قِبل الجمعية الأروربية لعلوم الحاسوب النظرية (EATCS) ومجموعة رابطة مكائن الحوسبة المعنية بشكل خاص بالخوارزميات ونظرية الحوسبة (ACM SIGACT)، وقد سُميت الجائزة بهذا الاسم نسبةً لكورت غودل، وهو فيلسوف نمساوي أمريكي بارز وعالم بالرياضيات والمنطق، وفيما يتعلق بعلوم الحاسوب النظرية، كان أول من ذكر مسألة كثير الحدود وكثير الحدود غير القطعي (P versus NP)، وذلك في رسالة وجهها عام 1956 لجون رون نيومان سائلاً إياه فيها عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي.

وقد قُدّمت جائزة غودل منذ عام 1993، ويتم التكريم إما خلال ندوة رابطة مكائن الحوسبة السنوية عن نظرية الحوسبة (STOC)، والتي تُعد إحدى المؤتمرات الرئيسية عن علوم الحاسوب النظرية المُقامة في أمريكا الشمالية)، أو في الندوة الدولية عن التشغيل الذاتي، واللغات والبرمجة (ICALP)، وهي من أهم المؤتمرات الأوروبية في هذا المجال، وحتى يكون المرء جديراً بالجائزة، ينبغي أن يكون قد نشر بحثاً له في دورية محكّمة خلال السنوات الـ14 الماضية (كانت المدة 7 سنوات سابقاً)، وتتضمن الجائزة مكافأة قدرها 5000 دولاراً أمريكياً. 

ويجري اختيار الفائز بالجائزة بواسطة لجنة مؤلفة من ستة أعضاء، إذ يعيّن كل من رئيس الـ(EATCS) ورئيس الـ(SIGACT) ثلاثة أعضاء فيها، وذلك لمدة ثلاثة سنوات متعاقبة، ويرأس اللجنة ممثلون من الجهتين بالتناوب.
Q2878974
علوم الحاسوب النظري
Concept
Q127992
رابطة مكائن الحوسبة
ORG
Q41390
لكورت غودل
PER
Q49
أمريكا الشمالية
LOC
Q1417143
جائزة جودل
EVE
1956-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1956
DATE
1993-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1993
DATE
5000-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
5000
DATE
+1956^^http://www.w3.org/2001/XMLSchema#decimal
1956
NUMBER
+1993^^http://www.w3.org/2001/XMLSchema#decimal
1993
NUMBER
+14^^http://www.w3.org/2001/XMLSchema#decimal
14
NUMBER
+7^^http://www.w3.org/2001/XMLSchema#decimal
7
NUMBER
+5000^^http://www.w3.org/2001/XMLSchema#decimal
5000
NUMBER
conferred by
named after
start time