التعريف بجائزة جودل
تُسمى جائزة جودل باللغة الإنجليزية “Gödel Prize”، يتم منح هذه الجائزة بشكل سنوي للأبحاث والدراسات التي تميزت في مجال علوم الحاسوب النظري، وذلك بالمشاركة من قِبل الجمعية الأوروبية لعلوم الحاسوب النظرية ومجموعة رابطة مكائن الحوسبة المهتمة بشكل خاص بالخوارزميات ونظرية الحوسبة، لقد تم تسميت الجائزة بهذا الاسم نسبة لكورت غودل، وهو فيلسوف نمساوي أمريكي مشهور وعالِم معروف في مجال الرياضيات والمنطق، لقد كان كورت غودل أول من ذكر مسألة الحدود وكثير الحدود غير القطعي، هذا بما يتعلق بعلوم الحاسوب النظرية، كان ذلك في رسالة قام بتوجهيها في عام 1956 لجون رون نيومان كان يسأله عن عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي.
معلومات عن جائزة جودل
لقد تم تقديم جائزة جودل منذ عام 1993، حيث يتم منح هذه المكافأة إما من خلال ندوة رابطة مكائن الحوسبة السنوية عن نظرية الحوسبة (STOC)، والتي تُعد من أهم المؤتمرات الرئيسية في علوم الحاسوب النظرية التي تُقام في أمريكا الشمالية، أو من خلال الندوة الدولية عن التشغيل الذاتي، واللغات والبرمجة، والتي تعتبر من أهم المؤتمرات الأوروبية في هذا المجال، وحتى يكون الشخص الفائز يستحق الجائزة، يجب أن يكون قد قام بنشر بحث له في دورية محكّمة خلال السنوات الـ14 الماضية (كانت المدة 7 سنوات في السابق)، كما تتضمن هذه الجائزة مكافأة بمبلغ 5000 دولار أمريكي.
يتم اختيار الفائز بالجائزة عن طريق لجنة تتكون من ستة أعضاء، حيث يتم تعيين كل من رئيس الـ (EATCS) ورئيس الـ (SIGACT) ثلاثة أعضاء فيها، وذلك لمدة ثلاثة سنوات متتالية، ويترأس اللجنة ممثلون من الجهتين بالتناوب.
أهم الفائزون بجائزة جودل
حصل على الجائزة في عام 2014م الفائزون كل من رونالد فاجين، آمنون لوتيمو وموني نائور، وذلك لضم الخوارزميات الامتثالي للبرمجيات الوسيطة، وفي عام 2015 دانييل سبيلمان وشانغوا تينغ، وذلك لسلسلة أبحاثهما عن حلول لابلاس ذات الزمن قرب الخطي، أما عام 2016 كانت من نصيب ستيفين بروكس وبيتر دبليو. أوهيرن، وذلك لاختراعهما منطق الفصل المتزامن، وعام 2017 حصل عليها سينثيا دوورك، فرانط ماكشيري، كوبي نسيم وأدم سميث، وذلك لاختراعهم الخصوصية التمايزية.
