ألونزو تشرتش
ألونزو تشرتش (بالإنجليزية: Alonzo Church) (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وايضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا,اطروحة تورنغ-تشرتش , اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير .
| ألونزو تشرتش | |
|---|---|
| (بالإنجليزية: Alonzo Church) | |
 ألونزو تشرتش (1903–1995) | |
| معلومات شخصية | |
| الميلاد | 14 يونيو 1903 واشنطن العاصمة, الولايات المتحدة الأمريكية |
| الوفاة | 11 أغسطس 1995 (92 سنة)
هدسن، أوهايو, الولايات المتحدة الأمريكية |
| الإقامة | الولايات المتحدة |
| مواطنة |  الولايات المتحدة |
| عضو في | الأكاديمية الأمريكية للفنون والعلوم ، والجمعية الأمريكية لتقدم العلوم [1]، والأكاديمية الوطنية للعلوم |
| الحياة العملية | |
| المؤسسات | جامعة برنستون 1929–67 جامعة كاليفورنيا، لوس أنجلوس 1967–95 |
| المدرسة الأم | جامعة برنستون |
| شهادة جامعية | دكتوراه في الفلسفة ، ودكتور ، ودكتور ، ودكتور |
| مشرف الدكتوراه | اوسوالد فيبلين |
| طلاب الدكتوراه | س. أنتوني أندرسون بيتر اندروز(رياضي) جورج الفرد برنارد مارتن دافيس ليون هنكين دافيد كيبلن(فيلسوف) جون جورج كيميني ستيفن كليين مايكل رابين هارتلي روجرز باركلي روزر دانا سكت ريموند سموليان آلان تورنغ |
| التلامذة المشهورون | آلان تورنغ |
| المهنة | رياضياتي ، وفيلسوف ، وأستاذ جامعي ، وعالم حاسوب |
| اللغات | الإنجليزية [2] |
| مجال العمل | رياضيات, منطق |
| موظف في | جامعة برنستون ، وجامعة كاليفورنيا، لوس أنجلوس |
| سبب الشهرة | حسابات اللامدا اطروحة تورنغ-تشرتش فريجي-تشرتش انطلوجيا نظرية تشرتش-روس |
| أعمال بارزة | أطروحة تشرش-تورينغ |
حياته
ولد الونزو تشرتش في 14 حزيران من عام 1903 في العاصمة واشنطن حيث كان ابوه ,صاموئيل روبينز تشرتش, يعمل قاضيا في المحكمة البلدية في نواحي كلومبيا . لاحقا انتقلت العائلة إلى فيرجينيا وذلك بعد ان خسر الوالد عمله بسبب ضعف بصره الشديد , بمساعدة عمه والذي اسمه أيضا الونزو تشرتش , استطاع ان يلتحق بمدرسة الصبيان ريدجفيلد بعد التخرج من المدرسة , تشرتش بدأ تعليمه الجامعي في جامعة برينستون حيث كان طالبا متميزا وأول مقالاته كانت عن تحويلات لورينتز وتخرج في عام 1924 مع لقب بالرياضيات , بقي في برينستون وحصل على لقب الدكتوراة بعد ثلاث اعوام اضافية مشرفه كان أوسولد فيبلين .
تزوج ماري جوليا كازينسكي عام 1925 , وقد ولد له ثلاث : الونزو تشرتش الابن (1929), ماري آن (1933) ومليدريد(1938)
بعد حصولة على الدكتوراة ولفترة قصيرة كان محاضرا في جامعة شيكاغو وبعدها التحق بالمركز القومي للبحوث لعامين , وهذا مكنه من الذهاب لجامعة هارفرد في 1927-1928 ولاحقا جامعتي كاتنجين وجامعة امستردام . علم في برينستون بين عام 1927 حتى عام 1967 , وجامعتي كارليفونيا ولوس انجليس بين عام 1967 حتى عام 1990 . حصل على دكتوراة فخرية في العلوم من جامعة كاس ويسترن ريفيرس في عام 1969 ومن جامعة برينستون عام 1985 وجامعة بافلو وجامعة الولاية في نيويورك عام 1990 مع ارتباط الندوة العالمية ونظم هذا جون كوركوران . توفي عام 1995 ودفن في مقبرة برينستون .
روابط خارجية
- ألونزو تشرتش على موقع Encyclopædia Britannica Online (الإنجليزية)
- ألونزو تشرتش على موقع NNDB people (الإنجليزية)
- ألونزو تشرتش على موقع المكتبة المفتوحة (الإنجليزية)
مراجع
- وصلة : مُعرِّف قاعدة بيانات الأسماء الملحوظة (NNDB)
- http://data.bnf.fr/ark:/12148/cb14575590d — تاريخ الاطلاع: 10 أكتوبر 2015 — المؤلف: المكتبة الوطنية الفرنسية — الرخصة: رخصة حرة
- Herbert Enderton, Alonzo Church: Life and Work. Introduction to the Collected Works of Alonzo Church, MIT Press, not yet published.
- Enderton, Herbert B., In memoriam: Alonzo Church, The Bulletin of Symbolic Logic, vol. 1, no. 4 (Dec. 1995), pp. 486–488.
- Wade, Nicholas, Alonzo Church, 92, Theorist of the Limits of Mathematics (obituary), The New York Times, September 5, 1995, p. B6.
- Wilfred Hodges, Obituary: Alonzo Church, The Independent (London), September 14, 1995.
- Alonzo Church interviewed by William Aspray on 17 May 1984. The Princeton Mathematics Community in the 1930s: An Oral-History Project, transcript number 5.
- Gian-Carlo Rota, Fine Hall in its golden age: Remembrances of Princeton in the early fifties. In A Century of Mathematics in America, Part II, edited by Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, pp. 223–226. Also available here.
بوابة رياضيات
بوابة أعلام
بوابة الولايات المتحدة
بوابة علم الحاسوب
بوابة فلسفة
بوابة منطق