ألونزو تشرتش

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

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

حياته[عدل]

ولد الونزو تشرتش في 14 حزيران من عام 1903 في العاصمة واشنطن حيث كان ابوه ,صاموئيل روبينز تشرتش, يعمل قاضيا في المحكمة البلدية في نواحي كلومبيا . لاحقا انتقلت العائلة الى فيرجينيا وذلك بعد ان خسر الوالد عمله بسبب ضعف بصره الشديد , بمساعدة عمه والذي اسمه ايضا الونزو تشرتش , استطاع ان يلتحق بمدرسة الصبيان ريدجفيلد بعد التخرج من المدرسة , تشرتش بدأ تعليمه الجامعي في جامعة برينستون حيث كان طالبا متميزا واول مقالاته كانت عن تحويلات لورينتز وتخرج في عام 1924 مع لقب بالرياضيات , بقي في برينستون وحصل على لقب الدكتوراة بعد ثلاث اعوام اضافية مشرفه كان أوسولد فيبلين .

تزوج ماري جوليا كازينسكي عام 1925 , وقد ولد له ثلاث : الونزو تشرتش الابن (1929), ماري آن (1933) ومليدريد(1938)

بعد حصولة على الدكتوراة ولفترة قصيرة كان محاضرا في جامعة شيكاغو وبعدها التحق بالمركز القومي للبحوث لعامين , وهذا مكنه من الذهاب لجامعة هارفرد في 1927-1928 ولاحقا جامعتي كاتنجين وجامعة امستردام . علم في برينستون بين عام 1927 حتى عام 1967 , وجامعتي كارليفونيا ولوس انجليس بين عام 1967 حتى عام 1990 . حصل على دكتوراة فخرية في العلوم من جامعة كاس ويسترن ريفيرس في عام 1969 ومن جامعة برينستون عام 1985 وجامعة بافلو وجامعة الولاية في نيويورك عام 1990 مع ارتباط الندوة العالمية ونظم هذا جون كوركوران . توفي عام 1995 ودفن في مقبرة برينستون .

مصادر[عدل]