ستيفن كول كلين
ستيفن كول كلين (بالإنجليزية: Stephen Cole Kleene) (5 يناير 1909 - 25 يناير 1994)، عالم رياضيات أمريكي. كان أحد طلاب عالم الرياضيات الأميركي ألونزو تشرتش. عُرفَ كلين جنبًا إلى جنب مع روزا بيتر وآلان تورنغ وإيميل ليون بوست وغيرهم، كمؤسس لفرع المنطق الرياضي المعروف باسم نظرية الحاسوبية، والتي ساعدت لاحقًا في وضع الأسس النظرية لعلوم الحاسوب. أسست أعمال كلين لدراسة الدالة القابلة للحساب. سُميّت العديد من المفاهيم الرياضية باسمه، مثل: التسلسل الهرمي الحسابي لكلين وجبر كلين ونجمة كلين ونظرية كلين الحسابية ونظرية كلين الثابتة. اخترع أيضًا التعابير النمطية في عام 1951 لوصف شبكات مكولوتش-بيتس، وقدّم مساهمات كبيرة في أسس الحدس الرياضي.
| ستيفن كول كلين | |
|---|---|
 |
|
| معلومات شخصية | |
| اسم الولادة | (بالإنجليزية: Stephen Cole Kleene) |
| الميلاد | 5 يناير 1909 [1][2][3] هارتفورد[4] |
| الوفاة | 25 يناير 1994 (85 سنة)
[1][2][3] ماديسون |
| مواطنة |  الولايات المتحدة |
| عضو في | الأكاديمية الوطنية للعلوم، والأكاديمية الأمريكية للفنون والعلوم |
| الحياة العملية | |
| المدرسة الأم | جامعة برينستون (التخصص:رياضيات) (الشهادة:دكتوراه) (1930–1934)[5] كلية أميرست (–1930)[5] |
| مشرف الدكتوراه | ألونزو تشرتش |
| طلاب الدكتوراه | روبرت لي كونستابل |
| المهنة | رياضياتي، وعالم حاسوب، وفيلسوف، وأستاذ جامعي |
| اللغات | الإنجليزية |
| مجال العمل | معلوماتية نظرية، ونظرية الحوسبة |
| موظف في | جامعة ويسكونسن-ماديسون[5]، وجامعة برينستون[5]، وكلية أميرست[5]، وبحرية الولايات المتحدة[5]، وجامعة ويسكونسن-ماديسون[5] |
| أعمال بارزة | نجمة كلين، وحسابات اللامدا |
| التيار | حدسية (فلسفة الرياضيات) |
| الخدمة العسكرية | |
| الفرع | بحرية الولايات المتحدة[5] |
| الرتبة | ملازم مقدم (1946–)[5] |
| المعارك والحروب | الحرب العالمية الثانية[5] |
| الجوائز | |
تعديل مصدري - تعديل  | |
سيرة حياته
عدلحصل كلين على درجة البكالوريوس من كلية أمهرست في عام 1930. ثم حصل على درجة الدكتوراه في الرياضيات من جامعة برينستون في عام 1934. أشرف عالم الرياضيات الأميركي ألونزو تشرتش على أطروحته التي حملت عنوان نظرية الأعداد الصحيحة الإيجابية في علم المنطق. عمل في الثلاثينيات من القرن العشرين، على أحد أعمال ألونزو تشرتش وهو تكامل لامدا. في عام 1935، انضم إلى قسم الرياضيات في جامعة ويسكونسن-ماديسون، وهناك قضى معظم حياته المهنية تقريبًا. بعد عامين من عمله كمدرب، عُيّن كأستاذ مساعد في عام 1937.
وضع كلين الأسس لنظرية الحاسوبية عندما كان باحثًا زائرًا في معهد الدراسات المتقدمة في برينستون، 1939-1940، وسيبقى هذا المجال ضمن اهتماماته البحثية مدى الحياة. وفي عام 1941، عاد إلى كلية أمهرست، وأمضى فيها عامًا كأستاذ مشارك في الرياضيات.
عمل كلين قائدًا ملازمًا في البحرية الأمريكية خلال الحرب العالمية الثانية. وكان يُدرّس علم الملاحة في مدرسة البحرية الأميركية لضباط الاحتياط في نيويورك، ثم مديرًا لأحد المشاريع في مختبر الأبحاث البحرية في واشنطن العاصمة.
عاد كلين إلى ويسكونسن في عام 1946، وأصبح بروفسورًا في عام 1948 وأستاذًا في كلية الرياضيات في عام 1964. وكان رئيسًا لقسمي الرياضيات وعلوم الحاسوب، 1962-1963، وعميدًا لكلية الآداب والعلوم من عام 1969 إلى عام 1974. لقد تولّى منصبه الأخير رغم الاضطرابات الطلابية الكبيرة في ذلك الوقت، والتي كانت ناتجة عن حرب فيتنام. تقاعد من عمله في جامعة ويسكونسن في عام 1979. سُميّت مكتبة الرياضيات في جامعة ويسكونسن باسمه تكريما له في عام 1999.
نتج عن تعليم كلين في ويسكونسن ثلاثة نصوص في علم المنطق الرياضي، كلين (1952-1967) وكلين وفيسلي (1965). كتب كلين (1952) أدلة بديلة لمبرهنات عدم الاكتمال لغودل التي حسّنت من مصداقيتها وجعلتها أسهل في التدريس والفهم. أما كلين وفيسلي (1965) فقد كانت المقدمة الأمريكية الكلاسيكية للمنطق والرياضيات.
خدم كلين رئيسًا لجمعية المنطق الرمزي بين 1956-1958، والاتحاد الدولي للتاريخ وفلسفة العلم في عام 1961. أدت أهمية أعمال كلين إلى قول دانيال دينيت، الذي نُشر في عام 1978: «يعد كلين في مستوى غودل وخليفة له». حصل على جائزة قلادة العلوم الوطنية في عام 1990.[7]
كان لدى كلين وزوجته نانسي إليوت أربعة أطفال. وبقي مخلصًا مدى الحياة لمزرعة الأسرة في ولاية مين. بالإضافة إلى ولعه برياضة تسلق الجبال، وكان لديه اهتمام قوي بالطبيعة، وكان نشطًا في العديد من حركات الحفاظ على البيئة.[8]
الإرث
عدلتُمنح جائزة كلين عندما تُقام ندوات المنطق في علوم الحاسوب للطالب الحاصل على أفضل ورقة بحثية، وذلك تكريمًا لستيفن كول كلين.[9]
روابط خارجية
عدل- ستيفن كول كلين على موقع الموسوعة البريطانية (الإنجليزية)
المراجع
عدل- ^ ا ب تاريخ ماكتوتور لأرشيف الرياضيات، QID:Q547473
- ^ ا ب Encyclopædia Britannica | Stephen Cole Kleene (بالإنجليزية), QID:Q5375741
- ^ ا ب Brockhaus Enzyklopädie | Stephen Cole Kleene (بالألمانية), QID:Q237227
- ^ А. М. Прохорова, ed. (1969), Большая советская энциклопедия: [в 30 т.] (بالروسية) (3rd ed.), Москва: Большая российская энциклопедия, Клини Стивен Коул, OCLC:14476314, QID:Q17378135
- ^ ا ب ج د ه و تاريخ ماكتوتور لأرشيف الرياضيات، QID:Q547473
- ^ https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ "About S. C. Kleene". University of Wisconsin—Madison Libraries. مؤرشف من الأصل في 2019-09-09. اطلع عليه بتاريخ 2016-04-23.
- ^ IUHPS website نسخة محفوظة 27 سبتمبر 2011 على موقع واي باك مشين.; also known as "International Union of the History and the Philosophy of Science". A member of ICSU نسخة محفوظة 11 نوفمبر 1998 على موقع واي باك مشين., the International Council for Science (formerly namedInternational Council of Scientific Unions). نسخة محفوظة 2018-05-18 على موقع واي باك مشين.
- ^ "LICS - Archive". مؤرشف من الأصل في 2019-09-27. اطلع عليه بتاريخ 2020-05-10.
