ستيفن كوك
ستيفن آرثر كوك (من مواليد 14 ديسمبر 1939) حائز على وسام كندا، ووسام أونتاريو، وهو عالم كمبيوتر أمريكي كندي، وعالم رياضيات قدم مساهمات كبيرة في مجالات نظرية التعقيد وبرهان التعقيد. وهو أستاذ جامعي في جامعة تورنتو في قسم علوم الكمبيوتر، وقسم الرياضيات.
سيرته
حصل كوك على درجة البكالوريوس في عام 1961 من جامعة ميشيغان، ودرجة الماجستير والدكتوراه من جامعة هارفارد، على التوالي في عام 1962 وعام 1966، من قسم الرياضيات. التحق بجامعة كاليفورنيا، بركلي، قسم الرياضيات[4] عام 1966 بصفة أستاذ مساعد، وبقي هناك حتى عام 1970 عندما حُرم من إعادة تعيينه. وفي كلمة ألقاها بمناسبة الذكرى الثلاثين لتأسيس قسم الهندسة الكهربائية وعلوم الحاسوب في بيركلي، قال زميله الفائز بجائزة تورنغ وأستاذ بركلي ريتشارد كارب: «إنه لمن العار الأبدي أننا لم نتمكن من إقناع قسم الرياضيات بمنحه منصبًا».[5] انضم كوك إلى كلية جامعة تورنتو، وقسمي علوم الحاسوب والرياضيات في عام 1970 بصفته أستاذًا مشاركًا، وهناك رُقي إلى أستاذ في عام 1975، وأستاذ متميز في عام 1985.
البحث
يعتبر ستيفن كوك أحد أسلاف نظرية التعقيد الحسابي.
خلال فترة الدكتوراه، عمل كوك على تعقيد الدوال، في المقام الأول على الضرب. في ورقته الأساسية لعام 1971 بعنوان «تعقيد إجراءات إثبات النظرية»،[6][7] صاغ كوك مفاهيم تقليص زمن كثير الحدود (المعروف أيضًا باسم تقليص كوك) وكثير الحدود غير القطعي الكامل، وأثبت وجود مسألة كثيرة حدود غير قطعية كاملة من خلال إظهار أن مسألة قابلية الإرضاء المنطقية (المعروفة عادةً باسم إس إيه تي) هي كثير الحدود غير القطعي الكامل. أثبِتت هذه النظرية بشكل مستقل من قبل ليونيد ليفين في الاتحاد السوفيتي، وبالتالي سُميت مبرهنة كوك ليفين. صاغت الورقة المسألة الأكثر شهرة في علوم الكمبيوتر، مسألة كثير حدود وكثير حدود غير قطعي. بشكل غير رسمي، تسأل مسألة كثير حدود وكثير حدود غير قطعي سؤالًا عما إذا كان من الممكن حل مسألة الأمثلية بصورة مثالية باستخدام خوارزمية فعالة، والتي يمكن التحقق من كفاءة إجاباتها من أجل الصواب/المثالية. نظرًا إلى كثرة مسائل الأمثلية في الحياة اليومية، فإن الإجابة الإيجابية على سؤال مسألة كثير حدود وكثير حدود غير قطعي من المرجح أن تكون لها عواقب عملية وفلسفية عميقة.
مراجع
- https://awards.acm.org/award_winners/cook_N991950#158.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://amturing.acm.org/award_winners/cook_n991950.cfm.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://awards.acm.org/award_winners/cook_N991950#140.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - Kapron، Bruce. "Stephen Arthur Cook". A. M. Turing Award. مؤرشف من الأصل في 2019-10-21. اطلع عليه بتاريخ 2018-10-23.
- 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 على موقع واي باك مشين.
وصلات خارجية
بوابة كندا
بوابة أعلام
بوابة الولايات المتحدة
بوابة علم الحاسوب