ستيفن كول كليني

بلغ المنطق الرياضي نقطة تحول كبرى في عام 1951 عندما وصف ستيفن كول كليني (Stephen Cole Kleene) عمليات الأجهزة الآلية المحدودة، مما وفر جسراً أساسياً بين الشبكات العصبية والحوسبة الرقمية. حدث هذا التطوير بالتوازي مع استكشافه طوال حياته لنظريات الدوال العودية، مما أثبته كشخصية مركزية في ظهور علوم الحاسوب النظرية خلال القرن العشرين.

التكوين الأكاديمي

وُلد كليني في هارتفورد عام 1909، وتابع دراساته المبكرة في كلية أمهيرست، وتخرج منها عام 1930. انتقل إلى جامعة برينستون لأجل العمل الدكتوراه، وأتم دراسته عام 1934 تحت إشراف ألونزو تشرش (Alonzo Church). شكلت أطروحته المعنونة "نظرية الأعداد الصحيحة الموجبة في المنطق الشكلاني" (A Theory of Positive Integers in Formal Logic) بداية فترة غزيرة التركيز على حساب λ. خلال هذه السنوات التكوينية، انضم إلى جامعة ويسكونسن-ماديسون عام 1935، وهي المؤسسة التي ستستضيف غالبية مسيرته الأكاديمية.

أسس الحوسبة

يُنسب إلى كليني صياغة نظرية العودية، وهو المجال الذي يضع الأساس لدراسة الدوال القابلة للحساب. طوال ثلاثينيات وأربعينيات القرن العشرين، كتب براهين أساسية، بما في ذلك مبرهنة العودية ومبرهنة الشكل العادي. أتاحت هذه المساهمات وصفاً رياضياً دقيقاً للعمليات الحسابية. امتد عمله في أواخر الأربعينيات والخمسينيات إلى التسلسلات الحسابية وما فوق الحسابية، بينما قدمت مذكرته لعام 1951 لمؤسسة راند تعبيرات منتظمة لتصنيف الأحداث في الأجهزة الآلية المحدودة.

الخدمة والحدسية

خلال الحرب العالمية الثانية، خدم كليني في احتياطي بحرية الولايات المتحدة، وارتفع إلى رتبة ملازم أول بحري (Lieutenant Commander) بين عامي 1942 و1946. عند عودته إلى الحياة المدنية في جامعة ويسكونسن-ماديسون، وازن بين الأدوار الإدارية كرئيس قسم وعميد كلية الآداب والعلوم مع أبحاثه في الرياضيات الحدسية. نصوصه، وتحديداً تلك التي شارك في تأليفها مع ريتشارد فيسلي (Richard Vesley)، أرست معياراً أمريكياً لتفسير العبارات الحدسية من خلال القابلية للتحقق العودي.

الإرث المهني

تقاعد كليني من منصبه كأستاذ للرياضيات برتبة سايروس سي. ماكدوفي (Cyrus C. MacDuffee) عام 1979. على مدى أربعة عقود، أشرف على 13 طالب دكتوراه وأثرى أجيالاً من خلال كتب تعليمية وضحت مبرهنات عدم الإكمال لجيل. شملت قيادته المهنية فترات كرئيس لجمعية المنطق الرمزي والاتحاد الدولي لتاريخ وفلسفة العلوم. في عام 1990، حصل على وسام العلوم الوطني لقاء إنجازاته.

حقائق سريعة

- وُلد: 1909، هارتفورد - توفي: 1994، ماديسون - التعليم: كلية أمهيرست، جامعة برينستون - الرتبة العسكرية الرئيسية: ملازم أول بحري - المجال الأساسي: علوم الحاسوب النظرية - الجائزة الكبرى: وسام العلوم الوطني (1990) - العضوية المهنية: الأكاديمية الوطنية للعلوم

أسئلة يطرحها القراء

### ما هي نجمة كليني؟

هي عملية رياضية، تُعرف أيضاً بإغلاق كليني، سُميت على اسمه دورها في نظرية اللغات الشكلية وعلوم الحاسوب النظرية.

### هل ساهم كليني في دراسة الشبكات العصبية؟

نعم، في عام 1951 طور طريقة لتوصيف الأحداث المقبولة بواسطة الأجهزة الآلية المحدودة، والتي طبقها على دراسة شبكات ماكولوخ-بيتس العصبية.