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

📅 آخر تحديث: ٢٣ يوليو ٢٠٢٦
✍️ نُشر في: ٢٣ يوليو ٢٠٢٦
📷 يحتوي على 3 صور
الموسوعة الحرة
ستيفن كلين
وُلِدّ( 1909-01-05 )5 يناير 1909
هارتفورد، كونيتيكت ، الولايات المتحدة
مات25 يناير 1994 (1994-01-25)(85 سنة)
ماديسون، ويسكونسن ، الولايات المتحدة
جنسيةامريكي
المدرسة الأمكلية أمهرست،
جامعة برينستون
معروف بـ
 
الجوائزجائزة لوروي ب. ستيل (1983)
الميدالية الوطنية للعلوم (1990)
المسيرة العلمية
الحقولالرياضيات
المؤسساتجامعة ويسكونسن ماديسون
مستشار الدكتوراهكنيسة الونزو
طلاب الدكتوراهروبرت كونستابل
جوان موشوفاكيس
يانيس موشوفاكيس
نيلز ديفيد نيلسون
ديك دي يونج

ستيفن كول كلين ( / ˈkleeɪni / KLAY -nee ؛ [ a ] 5 يناير 1909 - 25 يناير 1994) كان عالم رياضيات أمريكي . كان كلين، أحد طلاب ألونسو تشرش ، إلى جانب روزسا بيتر وآلان تورينج وإميل بوست وآخرين، معروفًا بأنه مؤسس فرع المنطق الرياضي المعروف باسم نظرية التكرار ، والتي ساعدت لاحقًا في توفير أسس علوم الكمبيوتر النظرية . أسس عمل كلين دراسة الدوال القابلة للحساب . تمت تسمية عدد من المفاهيم الرياضية باسمه: تسلسل كلين ، وجبر كلين ، ونجم كلين (إغلاق كلين)، ونظرية التكرار لكلين ، ونظرية النقطة الثابتة لكلين . كما اخترع التعبيرات المنتظمة في عام 1951 لوصف شبكات ماكولوخ-بيتس العصبية ، وقدم مساهمات كبيرة في أسس الحدس الرياضي .

سيرة

حصل كلين على درجة البكالوريوس من كلية أمهرست في عام 1930. وحصل على درجة الدكتوراه في الرياضيات من جامعة برينستون في عام 1934، حيث أشرف على أطروحته بعنوان نظرية الأعداد الصحيحة الموجبة في المنطق الرسمي ألونسو تشرش . في ثلاثينيات القرن العشرين، قام بعمل مهم في حساب لامدا لتشرش . في عام 1935، انضم إلى قسم الرياضيات في جامعة ويسكونسن ماديسون ، حيث قضى معظم حياته المهنية. بعد عامين كمدرس، تم تعيينه أستاذًا مساعدًا في عام 1937.

أثناء عمله باحثًا زائرًا في معهد الدراسات المتقدمة في برينستون، 1939-1940، وضع الأساس لنظرية التكرار ، وهو المجال الذي سيكون محل اهتمامه البحثي طوال حياته. في عام 1941، عاد إلى كلية أمهرست، حيث أمضى عامًا واحدًا كأستاذ مشارك في الرياضيات.

خلال الحرب العالمية الثانية ، كان كلين قائدًا ملازمًا في البحرية الأمريكية . وكان مدربًا للملاحة في مدرسة ضباط البحرية الاحتياطية الأمريكية في نيويورك ، ثم مدير مشروع في مختبر الأبحاث البحرية في واشنطن العاصمة.

في عام 1946، عاد كلين إلى جامعة ويسكونسن ماديسون، فأصبح أستاذًا كاملًا في عام 1948 وأستاذًا للرياضيات في سيروس سي ماكدوفي في عام 1964. شغل منصب رئيس قسم الرياضيات لفترتين ورئاسة قسم التحليل العددي (الذي أعيدت تسميته لاحقًا بقسم علوم الكمبيوتر). كما شغل منصب عميد كلية الآداب والعلوم في الفترة من 1969 إلى 1974. وخلال سنواته في جامعة ويسكونسن، كان مستشارًا لأطروحات 13 طالب دكتوراه. تقاعد من جامعة ويسكونسن في عام 1979. في عام 1999، تمت إعادة تسمية مكتبة الرياضيات في جامعة ويسكونسن تكريمًا له. [3]

أسفرت تعاليم كليين في ويسكونسن عن ثلاثة نصوص في المنطق الرياضي ، كليين (1952، 1967) وكليين وفيسلي (1965). غالبًا ما يتم الاستشهاد بالكتابين الأولين ولا يزالان مطبوعين. كتب كليين (1952) أدلة بديلة لنظريات عدم اكتمال جودل والتي عززت مكانتها القانونية وجعلتها أسهل في التدريس والفهم. كليين وفيسلي (1965) هو المقدمة الأمريكية الكلاسيكية للمنطق الحدسي والحدس الرياضي .

[...] نظرية الدالة التكرارية لها أهمية مركزية في علوم الكمبيوتر. كليين مسؤول عن العديد من النتائج الأساسية في هذا المجال، بما في ذلك نظرية كليين للشكل الطبيعي (1936)، ونظرية كليين التكرارية (1938)، وتطوير التسلسلات الهرمية الحسابية والحسابية الفائقة في الأربعينيات والخمسينيات من القرن العشرين، ونظرية كليين-بوست لدرجات عدم القدرة على الحل (1954)، ونظرية التكرار من النوع الأعلى. والتي بدأها في أواخر الخمسينيات وعاد إليها في أواخر السبعينيات. [...] بدءًا من أواخر الأربعينيات، عمل كليين أيضًا في مجال ثانٍ، حدسية بروير. باستخدام أدوات من نظرية التكرار، قدم قابلية التكرار، وهي تقنية مهمة لتفسير البيانات الحدسية. في صيف عام 1951 ، حقق في مؤسسة راند إنجازًا كبيرًا في مجال ثالث عندما قدم توصيفًا مهمًا للأحداث التي يقبلها جهاز آلي محدود. [4]

شغل كليين منصب رئيس جمعية المنطق الرمزي ، 1956-1958، والاتحاد الدولي لتاريخ وفلسفة العلوم، [5] 1961. أدت أهمية عمل كليين إلى قيام دانييل دينيت بصياغة المثل الذي نُشر في عام 1978، والذي يقول "إن كليينيس قريبة من غودليس". [6] في عام 1990، حصل على الميدالية الوطنية للعلوم .

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

إرث

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

منشورات مختارة

  • 1935. "نظرية الأعداد الصحيحة الموجبة في المنطق الرسمي. الجزء الأول". المجلة الأمريكية للرياضيات . 57 (1): 153-173. يناير 1935. doi :10.2307/2372027. JSTOR  2372027.
  • 1935. "نظرية الأعداد الصحيحة الموجبة في المنطق الرسمي. الجزء الثاني". المجلة الأمريكية للرياضيات . 57 (2): 219-244. أبريل 1935. doi :10.2307/2371199. JSTOR  2371199.
  • 1935. —؛ Rosser, J. Barkley (يوليو 1935). "التناقض في بعض المنطق الرسمي". حوليات الرياضيات . السلسلة الثانية. 36 (3): 630-636. doi :10.2307/1968646. JSTOR  1968646.
  • 1936. “الوظائف العودية العامة للأعداد الطبيعية”. الرياضيات أنالين (112): 727-742. 1936.
  • 1936. "قابلية تعريف λ والتكرار". مجلة ديوك للرياضيات . 2 (2): 340-352. 1936.
  • 1938. "حول تدوين الأرقام الترتيبية" (PDF) . مجلة المنطق الرمزي . 3 (4): 150-155. 1938. doi :10.2307/2267778. JSTOR  2267778. S2CID  34314018.
  • 1943. "المسندات والمحددات المتكررة". معاملات الجمعية الرياضية الأمريكية . 53 (1): 41-73. يناير 1943. doi : 10.1090/S0002-9947-1943-0007371-8 .
  • 1951. "تمثيل الأحداث في الشبكات العصبية والأتمتة المحدودة" (PDF) . مذكرة أبحاث مشروع القوات الجوية الأمريكية راند. رقم RM-704. مؤسسة راند . 15 ديسمبر 1951.
  • 1952. مقدمة في الميتارياضيات . نيويورك: فان نوستراند. 1952. OCLC  523942.[8]
  • 1956. شانون، كلود ؛ مكارثي، جون ، محرران (1956). "تمثيل الأحداث في الشبكات العصبية والأتمتة المحدودة". دراسات الأتمتة . OCLC  564148.
  • 1965 - فيسلي، ريتشارد يوجين. أسس الرياضيات الحدسية . شمال هولندا.[9]
  • 1967. المنطق الرياضي. جون وايلي وأولاده . إعادة طبع دوفر، 2002. ISBN 0-486-42533-9 . 
  • 1981. "أصول نظرية الدالة التكرارية" في حوليات تاريخ الحوسبة 3، رقم 1.
  • 1987. "تأملات في أطروحة الكنيسة". مجلة نوتردام للمنطق الرسمي . 28 (4): 490-498. أكتوبر 1987. doi : 10.1305/ndjfl/1093637645 .

انظر أيضا

ملحوظات

  1. ^ على الرغم من أن لقبه يُنطق عادةً /ˈkliːni/KLEE-nee أو /kliːn/KLEEN، إلا أن كلين نفسه نطقه /ˈkliɪni/ KLAY - nee . [ 1 ] كتب ابنه كين كلين : " بقدر ما أعلم ، فإن هذا النطق غير صحيح في جميع اللغات المعروفة . أعتقد أن هذا النطق الجديد اخترعه والدي". [2] ومع ذلك ، يمكن العثور على العديد من حالات هذا اللقب في هولندا والنطق الهولندي لـ "ee" هو ay كما هو الحال في hail، ولكنه أقصر. ربما كان كلين على علم بذلك.

مراجع

  1. ^ بيس، إيريك (27 يناير 1994). "وفاة ستيفن سي كلين عن عمر يناهز 85 عامًا؛ كان رائدًا في علوم الكمبيوتر". نيويورك تايمز .
  2. ^ في مدخل "ستيفن كليين" في القاموس المجاني عبر الإنترنت للحوسبة.
  3. ^ "SC Kleene" . تم الاسترجاع في 8 فبراير 2021 .
  4. ^ كيسلر، هـ. جيروم (سبتمبر 1994). "ستيفن كول كلين 1909-1994". إشعارات الجمعية الأمريكية للطب . 41 (7): 792.
  5. ^ موقع IUHPS على الإنترنت؛ والمعروف أيضًا باسم "الاتحاد الدولي لتاريخ وفلسفة العلوم". عضو في المجلس الدولي للعلوم (المعروف سابقًا باسم المجلس الدولي للاتحادات العلمية).
  6. ^ دانيال دينيت وكاريل لامبرت، "كلين"، في المعجم الفلسفي ، الطبعة السابعة (نيوارك، ديلاوير: الجمعية الفلسفية الأمريكية، 1978)، 5؛ وهايبربوريا ( اسم مستعار للمدون)، "معجم دينيت اللوغوسيني" (9 ديسمبر 2007): http://aeconomics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html
  7. ^ "LICS – الأرشيف". lics.siglog.org .
  8. ^ أعيد طبعه . دار نشر إيشي . 13 مارس 2009 [1952]. رقم ISBN 9780923891572.
  9. ^ بيشوب، إيريت (1965). "مراجعة: أسس الرياضيات الحدسية" (PDF) . نشرة الجمعية الرياضية الأمريكية . 71 (6): 850-852. doi : 10.1090/s0002-9904-1965-11412-4 .
تم الاسترجاع من "https://en.wikipedia.org/w/index.php?title=ستيفن_كول_كلين&oldid=1256222579"
Original text
Rate this translation
Your feedback will be used to help improve Google Translate