جایزه گودل

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

جایزه گودل (انگلیسی: Gödel Prize) نام یک جایزه سالانه است که به مقالات برگزیده و منتخب در زمینه علوم نظری کامپیوتر اهدا می‌شود. این جایزه به صورت مشترک توسط انجمن اروپایی علوم نظری رایانه و انجمن محسابات ماشینی اهدا می‌شود. این جایزه به افتخار کورت گودل نامگذاری گردیده است زیرا گودل اولین فردی بود که مسئله برابری پی و ان‌پی را مطرح کرد. او این مسئله را در نامه‌ای به جان فون نویمان مطرح کرده بود و از او پرسیده بود ایا مشکلات و مسائل مشخص ان‌پی کامل با زمان خطی یا درجه دوم قابل حل هستند یا نه.

منابع[ویرایش]

پیوند به بیرون[ویرایش]