ستيفن كول كلين
من ويكيبيديا، الموسوعة encyclopedia
ستيفن كول كلين (بالإنجليزية: 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] |
الجوائز | |
تعديل مصدري - تعديل |
إغلاق