هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
ستيفن كول كلين
Kleene.jpg
 

معلومات شخصية
اسم الولادة (بالإنجليزية: Stephen Cole Kleene)‏  تعديل قيمة خاصية (P1477) في ويكي بيانات
الميلاد 5 يناير 1909[1][2][3][4][5]  تعديل قيمة خاصية (P569) في ويكي بيانات
هارتفورد، كونيتيكت[6][7]  تعديل قيمة خاصية (P19) في ويكي بيانات
الوفاة 25 يناير 1994 (85 سنة) [1][2][3][4][5]  تعديل قيمة خاصية (P570) في ويكي بيانات
ماديسون، ويسكنسن[8]  تعديل قيمة خاصية (P20) في ويكي بيانات
مواطنة Flag of the United States.svg الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في الأكاديمية الوطنية للعلوم،  والأكاديمية الأمريكية للفنون والعلوم  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة برنستون (التخصص:رياضيات) (الشهادة:دكتوراه) (1930–1934)
كلية أمهرست (–1930)  تعديل قيمة خاصية (P69) في ويكي بيانات
مشرف الدكتوراه ألونزو تشرتش[9]  تعديل قيمة خاصية (P184) في ويكي بيانات
طلاب الدكتوراه روبرت لي كونستابل  [لغات أخرى]  تعديل قيمة خاصية (P185) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  وفيلسوف،  وأستاذ جامعي  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الإنجليزية[10]  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل معلوماتية نظرية  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في جامعة ويسكونسن-ماديسون  تعديل قيمة خاصية (P108) في ويكي بيانات
الخدمة العسكرية
الفرع بحرية الولايات المتحدة  تعديل قيمة خاصية (P241) في ويكي بيانات
الرتبة ملازم مقدم  [لغات أخرى]  تعديل قيمة خاصية (P410) في ويكي بيانات
الجوائز

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

سيرة حياته[عدل]

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

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

الإرث[عدل]

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

روابط خارجية[عدل]

المراجع[عدل]

  1. أ ب المخترع: جون أوكونور و إدموند روبرتسون
  2. أ ب مُعرِّف موسوعة بريتانيكا على الإنترنت (EBID): https://www.britannica.com/biography/Stephen-Cole-Kleene — باسم: Stephen Cole Kleene — تاريخ الاطلاع: 9 أكتوبر 2017 — العنوان : Encyclopædia Britannica
  3. أ ب مُعرِّف الشبكات الاجتماعية ونظام المحتوى المؤرشف (SNAC Ark): https://snaccooperative.org/ark:/99166/w65t4dzp — باسم: Stephen Cole Kleene — تاريخ الاطلاع: 9 أكتوبر 2017
  4. أ ب مُعرِّف موسوعة بروكهوس على الإنترنت: 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. ^ https://www.genealogy.math.ndsu.nodak.edu/id.php?id=8012 — تاريخ الاطلاع: 8 أغسطس 2016
  10. ^ Identifiants et Référentiels — تاريخ الاطلاع: 23 مايو 2020 — الناشر: وكالة الفهرسة للتعليم العالي
  11. ^ "About S. C. Kleene". University of Wisconsin—Madison Libraries. مؤرشف من الأصل في 09 سبتمبر 2019. اطلع عليه بتاريخ 23 أبريل 2016. الوسيط |CitationClass= تم تجاهله (مساعدة)
  12. ^ 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 على موقع واي باك مشين.
  13. ^ "LICS - Archive". مؤرشف من الأصل في 27 سبتمبر 2019. اطلع عليه بتاريخ 10 مايو 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)