نبذة سريعة عن ستيفن كول كلين

ستيفن كول كلين (بالإنجليزية: Stephen Cole Kleene) (5 يناير 1909 - 25 يناير 1994)، عالم رياضيات أمريكي. كان أحد طلاب عالم الرياضيات الأميركي ألونزو تشرتش. عُرفَ كلين جنبًا إلى جنب مع روزا بيتر وآلان تورنغ وإيميل ليون بوست وغيرهم، كمؤسس لفرع المنطق الرياضي المعروف باسم نظرية الحاسوبية، والتي ساعدت لاحقًا في وضع الأسس النظرية لعلوم الحاسوب. أسست أعمال كلين لدراسة الدالة القابلة للحساب. سُميّت العديد من المفاهيم الرياضية باسمه، مثل: التسلسل الهرمي الحسابي لكلين وجبر كلين ونجمة كلين ونظرية كلين الحسابية ونظرية كلين الثابتة. اخترع أيضًا التعابير النمطية في عام 1951 لوصف شبكات مكولوتش-بيتس، وقدّم مساهمات كبيرة في أسس الحدس الرياضي.