ألونزو تشرتش

ألونزو تشرتش (بالإنجليزية: Alonzo Church)‏ (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وايضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا,اطروحة تورنغ-تشرتش , اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير .

ألونزو تشرتش
(بالإنجليزية: Alonzo Church)‏ 
ألونزو تشرتش (1903–1995)

معلومات شخصية
الميلاد 14 يونيو 1903(1903-06-14)
واشنطن العاصمة, الولايات المتحدة الأمريكية
الوفاة 11 أغسطس 1995 (92 سنة)
هدسن، أوهايو, الولايات المتحدة الأمريكية
الإقامة الولايات المتحدة
مواطنة الولايات المتحدة  
عضو في الأكاديمية الأمريكية للفنون والعلوم ،  والجمعية الأمريكية لتقدم العلوم ،  والأكاديمية الوطنية للعلوم  
الحياة العملية
المؤسسات جامعة برنستون 1929–67
جامعة كاليفورنيا، لوس أنجلوس 1967–95
المدرسة الأم جامعة برنستون
شهادة جامعية دكتوراه في الفلسفة ،  ودكتور ،  ودكتور ،  ودكتور  
مشرف الدكتوراه اوسوالد فيبلين
طلاب الدكتوراه س. أنتوني أندرسون
بيتر اندروز(رياضي)
جورج الفرد برنارد
مارتن دافيس
ليون هنكين
دافيد كيبلن(فيلسوف)
جون جورج كيميني
ستيفن كليين
مايكل رابين
هارتلي روجرز
باركلي روزر
دانا سكت
ريموند سموليان
آلان تورنغ
التلامذة المشهورون آلان تورنغ  
المهنة رياضياتي ،  وفيلسوف ،  وأستاذ جامعي ،  وعالم حاسوب  
اللغات الإنجليزية  
مجال العمل رياضيات, منطق
موظف في جامعة برنستون ،  وجامعة كاليفورنيا، لوس أنجلوس  
سبب الشهرة حسابات اللامدا
اطروحة تورنغ-تشرتش
فريجي-تشرتش انطلوجيا
نظرية تشرتش-روس
أعمال بارزة أطروحة تشرش-تورينغ  
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.