آلونزو چرچ
ریاضیدان آمریکایی / From Wikipedia, the free encyclopedia
آلونزو چرچ (۱۴ جون ۱۹۰۳ – ۱۱ اوت ۱۹۹۵) یک ریاضیدان و منطقدان آمریکایی بود که اصلیترین مشارکتها را در زمینهٔ منطق ریاضی و پایههای علوم رایانه نظری داشت. او بیشتر برای محاسبات لاندا، تز چرچ-تورینگ، اثبات تعیینناپذیری مسئله توقف، هستیشناسی فرگه-چرچ و قضیه راسر-چرچ معروف میباشد.
اطلاعات اجمالی آلونزو چرچ, زادهٔ ...
آلونزو چرچ | |
---|---|
![]() | |
زادهٔ | ۱۴ ژوئن ۱۹۰۳ واشینگتن، دی.سی., ایالات متحده |
درگذشت | ۱۱ اوت ۱۹۹۵ (۹۲ سال) هادسن، اوهایو، ایالات متحده |
محل زندگی | ایالات متحده آمریکا |
ملیت | آمریکایی |
محل تحصیل | دانشگاه پرینستون |
شناختهشده برای | جبر لاندا Church's theorem تز چرچ-تورینگ Frege–Church ontology Church–Rosser theorem |
پیشینه علمی | |
شاخه(ها) | ریاضیات، منطق |
محل کار | دانشگاه پرینستون (۱۹۲۹–۶۷) دانشگاه کالیفرنیا، لس آنجلس (۱۹۶۷–۹۵) |
پایاننامه | Alternatives to Zermelo's Assumption (۱۹۲۷) |
استاد راهنما | اسوالد وبلن |
دانشجویان دکتری | C. Anthony Anderson 1977 Peter Andrews 1964 Bijan Arbab 1988 George Alfred Barnard 1936 James Bennett 1962 William W. Boone 1952 Enrique Bustamente-Llaca 1944 Edward Chapin 1970 Donald Collins 1967 Aubert Daigneault 1959 مارتین دیویس ۱۹۵۰ William Easton 1964 Alfred Foster 1930 James Guard 1961 لئون هنکین ۱۹۴۷ Gustav Hensel 1963 دیوید کاپلان جان جی. کمنی ۱۹۴۹ استیون کول کلینی ۱۹۳۴ Simon B. Kochen 1959 Maurice L'Abbé ۱۹۵۱ Isaac (Richard) Malitz 1976 Gary R. Mar 1985 Gerald Massey 1964 مایکل رابین ۱۹۵۷ نیکولاس رشر ۱۹۵۱ Wayne Richter 1963 Robert Ritchie 1960 Joel Robbin 1965 Hartley Rogers, Jr 1952 جان بارکلی راسر ۱۹۳۴ دینا اسکات ۱۹۵۸ Norman Shapiro 1955 ریموند اسمولیان ۱۹۵۹ آلن تورینگ ۱۹۳۸ Robert Winder 1962 |
بستن