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

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

ويجري اختيار الفائز بالجائزة بواسطة لجنة مؤلفة من ستة أعضاء، إذ يعيّن كل من رئيس الـ(EATCS) ورئيس الـ(SIGACT) ثلاثة أعضاء فيها، وذلك لمدة ثلاثة سنوات متعاقبة، ويرأس اللجنة ممثلون من الجهتين بالتناوب.

الفائزون بالجائزة

ملاحظات

مراجع 

أحداث سنوية
جوائز أسست في 1993
جوائز عالمية
جوائز علم الحاسوب
معلوماتية نظرية
تُمنح جائزة جودل ( بالإنكليزية : Gödel Prize ) سنوياً ل الأبحاث المتميزة في مجال علوم الحاسوب النظري مُشاركةً من قِبل الجمعية الأروربية لعلوم الحاسوب ال نظرية ( EA T CS ) و مجموعة رابطة مكائن الحوسبة المعنية ب شكل خاص بالخوارزميات و نظرية الحوسبة ( ACM SI GACT ) ، و قد سُميت الجائزة ب هٰذا الاسم نسبةً لكورت غودل ، و هو فيل سوف نمساوي أمريكي بارز وعالم بالرياضيات والمنطق ، و فيما يتعلق بعلوم الحاسوب ال نظرية ، كان أول من ذكر مسألة كثير الحدود وكثير الحدود غير القطعي ( P versus NP ) ، و ذٰلك في رسالة وجه ها عاملجون رون نيومان سائلاً إيا ه في ها عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي . و قد قُدّمت جائزة غودل منذ عام و يتم التكريم إما خلال ندوة رابطة مكائن الحوسبة السنوية عن نظرية الحوسبة ( STOC ) ، و التي تُعد إحدى المؤتمرات الرئيسية عن علوم الحاسوب ال نظرية المُقامة في أمريكا الشمالية ) ، أو في الندوة الدولية عن التشغيل الذاتي ، واللغات والبرمجة ( ICALP ) ، و هي من أهم المؤتمرات الأوروبية في هذا المجال ، و حتى يكون المرء جديراً بالجائزة ، ينبغي أن يكون قد نشر بحثاً ل ه في دورية محكّمة خلال السنوات الـ 14 الماضية ( كانت المدةسنوات سابقاً ) ، و تتضمن الجائزة مكافأة قدرهادولاراً أمريكياً . و يجري اختيار الفائز بالجائزة ب واسطة لجنة مؤلفة من ستة أعضاء ، إذ يعيّن كل من رئيس الـ ( EA T CS ) و رئيس الـ ( SI GACT ) ثلاثة أعضاء في ها ، و ذٰلك ل مدة ثلاثة سنوات متعاقبة ، ويرأس اللجنة ممثلون من الجهتين بال تناوب . الفائزون بالجائزة ملاحظات مراجع أحداث سنوية جوائز أسست في جوائز عالمية جوائز علم الحاسوب معلوماتية نظرية