ألونزو تشرتش
رياضياتي أمريكي / من ويكيبيديا، الموسوعة encyclopedia
ألونزو تشرتش (بالإنجليزية: Alonzo Church) (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وايضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا,اطروحة تورنغ-تشرتش , اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير .
معلومات سريعة ألونزو تشرتش, (بالإنجليزية: Alonzo Church) ...
ألونزو تشرتش | |
---|---|
(بالإنجليزية: Alonzo Church) | |
ألونزو تشرتش (1903–1995) | |
معلومات شخصية | |
الميلاد | 14 يونيو 1903(1903-06-14) واشنطن العاصمة, الولايات المتحدة الأمريكية |
الوفاة | 11 أغسطس 1995 (92 سنة)
هدسن، أوهايو, الولايات المتحدة الأمريكية |
الإقامة | الولايات المتحدة |
مواطنة | الولايات المتحدة |
الديانة | مشيخية[1] |
عضو في | الأكاديمية الأمريكية للفنون والعلوم، والجمعية الأمريكية لتقدم العلوم، والأكاديمية الوطنية للعلوم |
الحياة العملية | |
المؤسسات | جامعة برنستون 1929–67 جامعة كاليفورنيا، لوس أنجلوس 1967–95 |
المدرسة الأم | جامعة برنستون |
شهادة جامعية | دكتواره الفلسفة |
مشرف الدكتوراه | اوسوالد فيبلين |
طلاب الدكتوراه | س. أنتوني أندرسون بيتر اندروز(رياضي) جورج الفرد برنارد مارتن دافيس ليون هنكين دافيد كيبلن(فيلسوف) جون جورج كيميني ستيفن كليين مايكل رابين هارتلي روجرز باركلي روزر دانا سكت ريموند سموليان آلان تورنغ |
المهنة | رياضياتي، وفيلسوف، وأستاذ جامعي، وعالم حاسوب |
اللغة الأم | الإنجليزية |
اللغات | الإنجليزية |
مجال العمل | رياضيات, منطق |
موظف في | جامعة برينستون، وجامعة كاليفورنيا |
سبب الشهرة | حسابات اللامدا اطروحة تورنغ-تشرتش فريجي-تشرتش انطلوجيا نظرية تشرتش-روس |
أعمال بارزة | أطروحة تشرش-تورينغ، وحسابات اللامدا |
تعديل مصدري - تعديل |
إغلاق