آلونزو چرچ: تفاوت میان نسخه‌ها

'''آلونزو چرچ''' (۱۴ [[جون]] ۱۹۰۳ – ۱۱ [[اوت]] ۱۹۹۵) یک [[ریاضی‌دان]] و [[منطق‌دان]] [[آمریکا|آمریکایی]]یی بود که اصلی‌ترین مشارکت‌ها را در زمینۀزمینهٔ [[منطق ریاضی]] و پایه‌های [[علوم رایانه]] نظری داشت. او بیشتر برای [[محاسبات لاندا]]، [[تز چرچ-تورینگ]]، اثبات تعیین‌ناپذیری [[مسئله توقف]]، [[هستی‌شناسی فرگه-چرچ]] و [[قضیه راسر-چرچ]] معروف می‌باشد.

آلونزو چرچ در تاریخ ۱۴ جون ۱۹۰۳ [[واشینگتن، دی. سی.]] متولد شد. ساموئل رابینز چرچ، پدر آلونزو، [[قاضی]] دادگاه شهری ناحیه کلمبیا بود اما بعد از آنکه شغلش را بخاطر [[نابینایی|مشکلات بینایی]] از دست داد، همگی به [[ویرجینیا]] نقل مکان کردند. به کمک عمویش که او هم آلونزو چرچ نامیده می‌شد، به مدرسه پسرانۀپسرانهٔ [[ریجفیلد]] در [[ریجفیلد، کنتیکت|ریجفیلد]]، [[کنتیکت]] رفت.<ref>مدرسه پسرانۀ ریجفیلد که مدرسه ریجفیلد هم نامیده می‌شود، یک مدرسۀ غیرانتفاعی بود که از سال ۱۹۰۷ الی ۱۹۳۸ فعالیت می‌کرد. نگاه کنید به [http://jackfsanders.tripod.com/rschool2.htm The Ridgefield School].</ref> بعد از فارغ‌التحصیلی از آنجا در سال ۱۹۲۰، چرچ به [[دانشگاه پرینستون]] رفت. او در آنجا دانشجویی استثنایی بود به‌طوری‌که اولین مقاله‌اش را در مورد [[تبدیل لورنتس]] به چاپ رساند و در سال ۱۹۲۴ در رشتۀرشتهٔ [[ریاضیات]] فارغ‌التحصیل شد. او در پرینستون ماند و تحت نظر [[اوزوالد وبلن]] در عرض سه سال [[پی‌اچ‌دی|دکترا]] خود را در ریاضیات گرفت.

بعد از دریافت دکترا، استاد [[دانشگاه شیکاگو]] شد و فلوشیپ دوسالۀدوسالهٔ [[شورای ملی پژوهش ایالات متحده آمریکا]] را دریافت کرد. این امر به او اجازه داد تا در سال‌های ۱۹۲۷ الی ۱۹۲۸ به [[دانشگاه هاروارد]] و سال بعدش به [[دانشگاه گوتینگن]] و [[دانشگاه آمستردام]] برود. چرچ از سال ۱۹۲۷ الی ۱۹۶۷ در دانشگاه پرینستون و از سال ۱۹۶۷ الی ۱۹۹۰ در [[دانشگاه کالیفرنیا، لس‌آنجلس]] [[فلسفه]] و ریاضی درست می‌داد. وی در سال ۱۹۶۹ از [[دانشگاه کیس وسترن رزرو]]<ref>[http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm افرادی که دانشگاه کیس وسترن رزرو به آن‌ها مدرک افتخاری داده است]</ref>، در سال ۱۹۸۵ از دانشگاه پرینستون<ref>[http://www.princeton.edu/main/about/facts/honorary/ افرادی که دانشگاه پرینستون به آن‌ها مدرک افتخاری داده است]</ref> [[دکترای علم]] [[مدرک افتخاری|افتخاری]] گرفت. [[دانشگاه ایالتی نیویورک در بوفالو]] در سال ۱۹۹۰ همایشی بین‌المللی را به افتخار او و با برنامه‌ریزی [[جان کرکوران (منطق‌دان)|جان کرکوران]] برگزار کرد.

وی فردی بسیار مذهبی بود و تا آخر عمر عضو کلیسای [[پرسبیتری]] ماند.<ref>[http://purl.org/net/findingaids/view?docId=ead/archives/ubar_1216.xml Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990]</ref>

* اثبات کردن اثبات تعیین‌ناپذیر بودن [[مسئله توقف]]، که برای مشخص کردن درستی گزاره‌های مطلق در [[نگره (منطق ریاضی)|نظریۀنظریهٔ]] ریاضیات به [[مسئله تصمیم]] نیاز دارد. این اثبات به [[مسئله توقف|قضیه چرچ]] معروف است.

محاسبات لاندا از مقالۀمقالهٔ ۱۹۳۶ وی گرفته شده‌است که در آن به غیرقابل حل بودن مسئله توقف پرداخته بود. این مقاله قبل از کار مشهور [[آلن تورینگ]] ینی [[مسئله توقف|مسئله مکی‌دار]]، که آن هم وجود یک مسئله غیرقابل حل از طریق معانی ریاضی را ثابت می‌کرد، منتشر شد. بعدها تورینگ و چرچ نشان دادند که محاسبات لاندا و [[ماشین تورینگ]]، که در مسئله مکی‌دار استفاده شده بود، هم‌ارز بوده و متعاقباً چند "فرایند ماشینی محاسبه" دیگر را اثبات کردند. این نتایج به [[تز چرچ-تورینگ]] شناخته می‌شوند.