ستيفن آرثر كوك (من مواليد 14 ديسمبر 1939) حائز على وسام كندا، ووسام أونتاريو، وهو عالم كمبيوتر أمريكي كندي، وعالم رياضيات قدم مساهمات كبيرة في مجالات نظرية التعقيد وبرهان التعقيد. وهو أستاذ جامعي في جامعة تورنتو في قسم علوم الكمبيوتر، وقسم الرياضيات.
| ستيفن كوك | |
|---|---|
 |
|
| معلومات شخصية | |
| اسم الولادة | (Stephen Arthur Cook) |
| الميلاد | 14 ديسمبر 1939 (81 سنة) بوفالو، نيويورك |
| مواطنة |  الولايات المتحدة كندا |
| عضو في | الجمعية الملكية، والأكاديمية الوطنية للعلوم، والجمعية الملكية لكندا، والأكاديمية الأمريكية للفنون والعلوم، وأكاديمية العلوم في غوتينغن، ورابطة مكائن الحوسبة |
| أبناء | غوردون كوك |
| الحياة العملية | |
| المدرسة الأم | جامعة هارفارد جامعة ميشيغان |
| المهنة | عالم حاسوب، وأستاذ جامعي، ورياضياتي |
| اللغات | الإنجليزية[1] |
| مجال العمل | علم الحاسوب |
| موظف في | جامعة تورنتو، وجامعة كاليفورنيا، بركلي |
| الجوائز | |
جائزة مؤسسة رواد المعرفة لبانكو بيلباو فيزكايا أرجنتاريا (2015)   زمالة رابطة مكائن الحوسبة (2008)[2] جائزة تورنغ (1982)[3][4] زمالة الجمعية الملكية في كندا زمالة الجمعية الملكية |
|
| المواقع | |
| الموقع | الموقع الرسمي |
سيرته
حصل كوك على درجة البكالوريوس في عام 1961 من جامعة ميشيغان، ودرجة الماجستير والدكتوراه من جامعة هارفارد، على التوالي في عام 1962 وعام 1966، من قسم الرياضيات. التحق بجامعة كاليفورنيا، بركلي، قسم الرياضيات[5] عام 1966 بصفة أستاذ مساعد، وبقي هناك حتى عام 1970 عندما حُرم من إعادة تعيينه. وفي كلمة ألقاها بمناسبة الذكرى الثلاثين لتأسيس قسم الهندسة الكهربائية وعلوم الحاسوب في بيركلي، قال زميله الفائز بجائزة تورنغ وأستاذ بركلي ريتشارد كارب: «إنه لمن العار الأبدي أننا لم نتمكن من إقناع قسم الرياضيات بمنحه منصبًا».[6] انضم كوك إلى كلية جامعة تورنتو، وقسمي علوم الحاسوب والرياضيات في عام 1970 بصفته أستاذًا مشاركًا، وهناك رُقي إلى أستاذ في عام 1975، وأستاذ متميز في عام 1985.
البحث
يعتبر ستيفن كوك أحد أسلاف نظرية التعقيد الحسابي.
خلال فترة الدكتوراه، عمل كوك على تعقيد الدوال، في المقام الأول على الضرب. في ورقته الأساسية لعام 1971 بعنوان «تعقيد إجراءات إثبات النظرية»،[7][8] صاغ كوك مفاهيم تقليص زمن كثير الحدود (المعروف أيضًا باسم تقليص كوك) وكثير الحدود غير القطعي الكامل، وأثبت وجود مسألة كثيرة حدود غير قطعية كاملة من خلال إظهار أن مسألة قابلية الإرضاء المنطقية (المعروفة عادةً باسم إس إيه تي) هي كثير الحدود غير القطعي الكامل. أثبِتت هذه النظرية بشكل مستقل من قبل ليونيد ليفين في الاتحاد السوفيتي، وبالتالي سُميت مبرهنة كوك ليفين. صاغت الورقة المسألة الأكثر شهرة في علوم الكمبيوتر، مسألة كثير حدود وكثير حدود غير قطعي. بشكل غير رسمي، تسأل مسألة كثير حدود وكثير حدود غير قطعي سؤالًا عما إذا كان من الممكن حل مسألة الأمثلية بصورة مثالية باستخدام خوارزمية فعالة، والتي يمكن التحقق من كفاءة إجاباتها من أجل الصواب/المثالية. نظرًا إلى كثرة مسائل الأمثلية في الحياة اليومية، فإن الإجابة الإيجابية على سؤال مسألة كثير حدود وكثير حدود غير قطعي من المرجح أن تكون لها عواقب عملية وفلسفية عميقة.
مراجع
- Identifiants et Référentiels — تاريخ الاطلاع: 20 مايو 2020 — الناشر: Bibliographic Agency for Higher Education
- https://awards.acm.org/award_winners/cook_N991950#158
- https://amturing.acm.org/award_winners/cook_n991950.cfm
- https://awards.acm.org/award_winners/cook_N991950#140
- Kapron, Bruce. "Stephen Arthur Cook". A. M. Turing Award. مؤرشف من الأصل في 21 أكتوبر 201923 أكتوبر 2018.
- A Personal View of Computer Science at Berkeley - Richard Karp - تصفح: نسخة محفوظة 4 مارس 2016 على موقع واي باك مشين.
- "The Complexity of Theorem Proving Procedures", PDF file of a scanned version نسخة محفوظة 14 فبراير 2019 على موقع واي باك مشين.
- "The Complexity of Theorem Proving Procedures", PDF file of a retyped version نسخة محفوظة 30 أكتوبر 2019 على موقع واي باك مشين.