ألونزو تشرتش

رياضياتي أمريكي

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

ألونزو تشرتش
(بالإنجليزية: Alonzo Church)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
ألونزو تشرتش (1903–1995)
معلومات شخصية
الميلاد 14 يونيو 1903(1903-06-14)
واشنطن العاصمة, الولايات المتحدة الأمريكية
الوفاة 11 أغسطس 1995 (92 سنة)
هدسن، أوهايو, الولايات المتحدة الأمريكية
الإقامة الولايات المتحدة
مواطنة الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
الديانة مشيخية[1]  تعديل قيمة خاصية (P140) في ويكي بيانات
عضو في الأكاديمية الأمريكية للفنون والعلوم،  والجمعية الأمريكية لتقدم العلوم،  والأكاديمية الوطنية للعلوم  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المؤسسات جامعة برنستون 1929–67
جامعة كاليفورنيا، لوس أنجلوس 1967–95
المدرسة الأم جامعة برنستون
شهادة جامعية دكتوراه الفلسفة  تعديل قيمة خاصية (P512) في ويكي بيانات
مشرف الدكتوراه اوسوالد فيبلين
طلاب الدكتوراه س. أنتوني أندرسون
بيتر اندروز(رياضي)
جورج الفرد برنارد
مارتن دافيس
ليون هنكين
دافيد كيبلن(فيلسوف)
جون جورج كيميني
ستيفن كليين
مايكل رابين
هارتلي روجرز
باركلي روزر
دانا سكت
ريموند سموليان
آلان تورنغ
المهنة رياضياتي،  وفيلسوف،  وأستاذ جامعي،  وعالم حاسوب  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغة الأم الإنجليزية  تعديل قيمة خاصية (P103) في ويكي بيانات
اللغات الإنجليزية  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل رياضيات, منطق
موظف في جامعة برينستون،  وجامعة كاليفورنيا، لوس أنجلوس  تعديل قيمة خاصية (P108) في ويكي بيانات
سبب الشهرة حسابات اللامدا
اطروحة تورنغ-تشرتش
فريجي-تشرتش انطلوجيا
نظرية تشرتش-روس
أعمال بارزة أطروحة تشرش-تورينغ،  وحسابات اللامدا  تعديل قيمة خاصية (P800) في ويكي بيانات

حياته

عدل

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

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

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

روابط خارجية

عدل

مراجع

عدل
  1. ^ تاريخ ماكتوتور لأرشيف الرياضيات، QID:Q547473