جایزه گودل

از ویکی‌پدیا، دانشنامهٔ آزاد

نسخه‌ای که می‌بینید نسخه‌ای قدیمی از صفحه است که توسط Europe2009 (بحث | مشارکت‌ها) در تاریخ ‏۱۹ آوریل ۲۰۲۰، ساعت ۲۲:۵۵ ویرایش شده است. این نسخه ممکن است تفاوت‌های عمده‌ای با نسخهٔ فعلی داشته باشد.

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

منابع

پیوند به بیرون