علماء الرياضيات

خط الزمن صور نقود طوابع رسم بحث

Stephen Cole Kleene

تاريخ الميلاد:

مكان الولادة:

تاريخ وفاته:

مكان الوفاة:

5 Jan 1909

Hartford, Connecticut, USA

25 Jan 1994

Madison, Wisconsin, USA

العرض
إنتبه -- الترجمة الآلية من النسخة الانكليزية

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

Kleene للبحوث حول نظرية الخوارزميات وحدات متكررة وظائف. وقال انه وضعت مجال استدعاء ذاتي من الناحية النظريه مع الكنيسة ، gödel ، تورينج وغيرها. وقال انه ساهم في intuitionism الرياضية التي كانت قد اسست من قبل Brouwer.

عمله على استدعاء ذاتي من الناحية النظريه ساعدت على توفير الأسس النظريه للعلوم الكمبيوتر. عن طريق توفير طرق تحديد المشاكل التي القابلة للذوبان ، kleene عمل أدت الى دراسة المهام التي يمكن حسابها.

في محاضرة في جامعة شيكاغو في عام 1995 ، روبرت soare يصف عمله في هذه الشروط :

Kleene للصياغه وظيفة عبر ستة computable المخطط هو واحد من اكثر اقتضابا ومفيدة ، وصاحب العمل السابق على وظائف أمدا لعبت دورا رئيسيا في دعم الكنيسة 'اطروحة ان هذه الطبقات يتزامن مع حدسي calculable المهام.

من 1930 'ق على kleene أكثر من أي عالم الرياضيات المتقدمه مفاهيم Computability عملية وفعالة في جميع اشكالها سواء مجردة وملموسة ، على حد سواء الرياضية والفلسفيه. وقال انه يميل الى وضع الأسس لمنطقة وبعد ذلك الانتقال الى المرحلة التالية ، حيث ان كل واحد ازدهرت المتعاقبه الى بحث رئيسي في اعقاب المجال.

Kleene تطوير مجموعة متنوعة من المواضيع في Computability : التسلسل الهرمي الحسابيه ، درجات Computability ، computable ordinals وhyperarithmetic من الناحية النظريه ، محدودة والباردون العاديه مع مجموعات هاءله بالنسبة للعلوم الكمبيوتر ، Computability على اعلى انواع ، realizability متكررة لintuitionistic الحساب مع ما يترتب على philosphy وبرنامج للصحه في علوم الكمبيوتر.

Kleene افضل الكتب المعروفة هي مقدمة لmetamathematics (1952) ومنطق رياضي (1967).

Source:School of Mathematics and Statistics University of St Andrews, Scotland