ألونزو تشرتش
ألونزو تشرتش (بالإنجليزية: Alonzo Church) (14 تموز 1903 - 11 اب 1995) كان عالم رياضيات أمريكي وباحث في مجال المنطق , وقد كان له يد في تطوير المنطق الرياضي وايضا في تطوير اساسات علم الحاسوب النظري . يعرف غالبا بفضل تطويره حسابات اللامدا,اطروحة تورنغ-تشرتش , اثبات ان مسألة القرار غير قابلة للتقرير وغيرها الكثير .
حياته
[عدل]ولد الونزو تشرتش في 14 حزيران من عام 1903 في العاصمة واشنطن حيث كان ابوه ,صاموئيل روبينز تشرتش, يعمل قاضيا في المحكمة البلدية في نواحي كلومبيا . لاحقا انتقلت العائلة إلى فيرجينيا وذلك بعد ان خسر الوالد عمله بسبب ضعف بصره الشديد , بمساعدة عمه والذي اسمه أيضا الونزو تشرتش , استطاع ان يلتحق بمدرسة الصبيان ريدجفيلد بعد التخرج من المدرسة , تشرتش بدأ تعليمه الجامعي في جامعة برينستون حيث كان طالبا متميزا وأول مقالاته كانت عن تحويلات لورينتز وتخرج في عام 1924 مع لقب بالرياضيات , بقي في برينستون وحصل على لقب الدكتوراة بعد ثلاث اعوام اضافية مشرفه كان أوسولد فيبلين .
تزوج ماري جوليا كازينسكي عام 1925 , وقد ولد له ثلاث : الونزو تشرتش الابن (1929), ماري آن (1933) ومليدريد(1938)
بعد حصولة على الدكتوراة ولفترة قصيرة كان محاضرا في جامعة شيكاغو وبعدها التحق بالمركز القومي للبحوث لعامين , وهذا مكنه من الذهاب لجامعة هارفرد في 1927-1928 ولاحقا جامعتي كاتنجين وجامعة امستردام . علم في برينستون بين عام 1927 حتى عام 1967 , وجامعتي كارليفونيا ولوس انجليس بين عام 1967 حتى عام 1990 . حصل على دكتوراة فخرية في العلوم من جامعة كاس ويسترن ريفيرس في عام 1969 ومن جامعة برينستون عام 1985 وجامعة بافلو وجامعة الولاية في نيويورك عام 1990 مع ارتباط الندوة العالمية ونظم هذا جون كوركوران . توفي عام 1995 ودفن في مقبرة برينستون .
روابط خارجية
[عدل]- ألونزو تشرتش على موقع الموسوعة البريطانية (الإنجليزية)
- ألونزو تشرتش على موقع إن إن دي بي (الإنجليزية)
مراجع
[عدل]- 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.
