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

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

ستيفن كول كلين
 
معلومات شخصية
اسم الولادة (بالإنجليزية: Stephen Cole Kleene)‏ 
الميلاد 5 يناير 1909 [1][2][3][4][5] 
هارتفورد، كونيتيكت[6][7] 
الوفاة 25 يناير 1994 (85 سنة) [1][2][3][4][5] 
ماديسون، ويسكنسن[8] 
مواطنة الولايات المتحدة 
عضو في الأكاديمية الوطنية للعلوم،  والأكاديمية الأمريكية للفنون والعلوم 
الحياة العملية
المدرسة الأم جامعة برنستون (التخصص:رياضيات) (الشهادة:دكتوراه) (1930–1934)[9]
كلية أمهرست (–1930)[9] 
مشرف الدكتوراه ألونزو تشرتش[10] 
طلاب الدكتوراه روبرت لي كونستابل ‏ 
المهنة رياضياتي،  وعالم حاسوب،  وفيلسوف،  وأستاذ جامعي 
اللغات الإنجليزية[11] 
مجال العمل معلوماتية نظرية،  ونظرية الحوسبة 
موظف في جامعة ويسكونسن-ماديسون[9]،  وجامعة برنستون[9]،  وكلية أمهرست[9]،  وبحرية الولايات المتحدة[9]،  وجامعة ويسكونسن-ماديسون[9] 
أعمال بارزة نجمة كلين،  وحسابات اللامدا 
الخدمة العسكرية
الفرع بحرية الولايات المتحدة[9] 
الرتبة ملازم مقدم ‏ (1946–)[9] 
المعارك والحروب الحرب العالمية الثانية[9] 
الجوائز
قلادة العلوم الوطنية  (1990)[9]
جائزة لوري ستيل ‏ (1983)[9]
زمالة غوغنهايم  (1949)[12] 

سيرة حياته

حصل كلين على درجة البكالوريوس من كلية أمهرست في عام 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.[13]

كان لدى كلين وزوجته نانسي إليوت أربعة أطفال. وبقي مخلصًا مدى الحياة لمزرعة الأسرة في ولاية مين. بالإضافة إلى ولعه برياضة تسلق الجبال، وكان لديه اهتمام قوي بالطبيعة، وكان نشطًا في العديد من حركات الحفاظ على البيئة.[14]

الإرث

تُمنح جائزة كلين عندما تُقام ندوات المنطق في علوم الحاسوب للطالب الحاصل على أفضل ورقة بحثية، وذلك تكريمًا لستيفن كول كلين.[15]

روابط خارجية

المراجع
  1. المخترع: جون أوكونور و إدموند روبرتسون
  2. العنوان : Encyclopædia Britannica — مُعرِّف موسوعة بريتانيكا على الإنترنت (EBID): https://www.britannica.com/biography/Stephen-Cole-Kleene — باسم: Stephen Cole Kleene — تاريخ الاطلاع: 9 أكتوبر 2017
  3. مُعرِّف الشبكات الاجتماعية ونظام المحتوى المؤرشف (SNAC Ark): https://snaccooperative.org/ark:/99166/w65t4dzp — باسم: Stephen Cole Kleene — تاريخ الاطلاع: 9 أكتوبر 2017
  4. المحرر: Bibliographisches Institut & F. A. Brockhaus و Wissen Media Verlag — مُعرِّف موسوعة بروكهوس على الإنترنت: https://brockhaus.de/ecs/enzy/article/kleene-stephen-cole — باسم: Stephen Cole Kleene — تاريخ الاطلاع: 9 أكتوبر 2017
  5. المؤلف: المكتبة الوطنية الفرنسية — العنوان : اوپن ڈیٹا پلیٹ فارم — مُعرِّف المكتبة الوطنيَّة الفرنسيَّة (BnF): https://catalogue.bnf.fr/ark:/12148/cb12281199v — باسم: Stephen Cole Kleene — الرخصة: رخصة حرة
  6. وصلة : https://d-nb.info/gnd/136329632 — تاريخ الاطلاع: 14 ديسمبر 2014 — الرخصة: CC0
  7. المحرر: ألكسندر بروخروف — العنوان : Большая советская энциклопедия — الناشر: الموسوعة الروسية العظمى، جسك — الاصدار الثالث — الباب: Клини Стивен Коул — وصلة : https://d-nb.info/gnd/136329632 — تاريخ الاطلاع: 28 سبتمبر 2015
  8. وصلة : https://d-nb.info/gnd/136329632 — تاريخ الاطلاع: 31 ديسمبر 2014 — الرخصة: CC0
  9. المخترع: جون أوكونور و إدموند روبرتسون
  10. https://www.genealogy.math.ndsu.nodak.edu/id.php?id=8012 — تاريخ الاطلاع: 8 أغسطس 2016
  11. الناشر: وكالة الفهرسة للتعليم العالي — Identifiants et Référentiels — تاريخ الاطلاع: 23 مايو 2020
  12. معرف زملاء غوغنهايم: https://www.gf.org/fellows/all-fellows/stephen-cole-kleene/
  13. "About S. C. Kleene"، University of Wisconsin—Madison Libraries، مؤرشف من الأصل في 09 سبتمبر 2019، اطلع عليه بتاريخ 23 أبريل 2016.
  14. IUHPS website نسخة محفوظة 27 سبتمبر 2011 على موقع واي باك مشين.; also known as "International Union of the History and the Philosophy of Science". A member of ICSU, the International Council for Science (formerly namedInternational Council of Scientific Unions). نسخة محفوظة 2018-05-18 على موقع واي باك مشين.
  15. "LICS - Archive"، مؤرشف من الأصل في 27 سبتمبر 2019، اطلع عليه بتاريخ 10 مايو 2020.
  • بوابة أعلام
  • بوابة الولايات المتحدة
  • بوابة رياضيات
  • بوابة علم الحاسوب
  • بوابة فلسفة
  • بوابة منطق
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.