عرض مصدر جائزة جودل

{{بطاقة جائزة}}
[[ملف:1925 kurt gödel.png|تصغير|200بك|يسار]]
تُمنح '''جائزة جودل''' (بالإنكليزية: Gödel Prize) سنوياً للأبحاث المتميزة في مجال [[علم الحاسوب النظري|علوم الحاسوب النظري]] مُشاركةً من قِبل الجمعية الأروربية لعلوم الحاسوب النظرية (EATCS) ومجموعة [[جمعية آلات الحوسبة|رابطة مكائن الحوسبة]] المعنية بشكل خاص بالخوارزميات ونظرية الحوسبة (ACM SIGACT)، وقد سُميت الجائزة بهذا الاسم نسبةً [[كورت غودل|لكورت غودل]]، وهو فيلسوف نمساوي أمريكي بارز وعالم بالرياضيات والمنطق، وفيما يتعلق بعلوم الحاسوب النظرية، كان أول من ذكر مسألة كثير الحدود وكثير الحدود غير القطعي (P versus NP)، وذلك في رسالة وجهها عام 1956 لجون رون نيومان سائلاً إياه فيها عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي.<ref>[https://rjlipton.wordpress.com/the-gdel-letter/ The Gödel Letter | Gödel's Lost Letter and P=NP<!-- عنوان مولد بالبوت -->] {{Webarchive|url=https://web.archive.org/web/20190130204713/https://rjlipton.wordpress.com/the-gdel-letter/ |date=30 يناير 2019}}</ref>

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

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