آلونزو چرچ. آلونزو چرچ ( ۱۴ جون ۱۹۰۳ – ۱۱ اوت ۱۹۹۵ ) یک ریاضی دان و منطق دان آمریکایی بود که اصلی ترین مشارکت ها را در زمینهٔ منطق ریاضی و پایه های علوم رایانه نظری داشت. او بیشتر برای محاسبات لاندا، تز چرچ - تورینگ، اثبات تعیین ناپذیری مسئله توقف، هستی شناسی فرگه - چرچ و قضیه راسر - چرچ معروف می باشد.
آلونزو چرچ در تاریخ ۱۴ جون ۱۹۰۳ واشینگتن، دی. سی. متولد شد. ساموئل رابینز چرچ، پدر آلونزو، قاضی دادگاه شهری ناحیه کلمبیا بود اما بعد از آنکه شغلش را بخاطر مشکلات بینایی از دست داد، همگی به ویرجینیا نقل مکان کردند. به کمک عمویش که او هم آلونزو چرچ نامیده می شد، به مدرسه پسرانهٔ ریجفیلد در ریجفیلد، کنتیکت رفت. [ ۱] بعد از فارغ التحصیلی از آنجا در سال ۱۹۲۰، چرچ به دانشگاه پرینستون رفت. او در آنجا دانشجویی استثنایی بود به طوری که اولین مقاله اش را در مورد تبدیل لورنتس به چاپ رساند و در سال ۱۹۲۴ در رشتهٔ ریاضیات فارغ التحصیل شد. او در پرینستون ماند و تحت نظر اوزوالد وبلن در عرض سه سال دکترا خود را در ریاضیات گرفت.
وی در سال ۱۹۲۵ با مری جولیا کوکزینسکی ازدواج کرد و صاحب سه فرزند به نام های آلونوز چرچ پسر ( متولد ۱۹۲۹ ) ، مری آن ( متولد ۱۹۳۳ ) و میلدرد ( متولد ۱۹۳۸ ) شد.
بعد از دریافت دکترا، استاد دانشگاه شیکاگو شد و فلوشیپ دوسالهٔ شورای ملی پژوهش ایالات متحده آمریکا را دریافت کرد. این امر به او اجازه داد تا در سال های ۱۹۲۷ الی ۱۹۲۸ به دانشگاه هاروارد و سال بعدش به دانشگاه گوتینگن و دانشگاه آمستردام برود. چرچ از سال ۱۹۲۷ الی ۱۹۶۷ در دانشگاه پرینستون و از سال ۱۹۶۷ الی ۱۹۹۰ در دانشگاه کالیفرنیا، لس آنجلس فلسفه و ریاضی درست می داد. وی در سال ۱۹۶۹ از دانشگاه کیس وسترن رزرو، [ ۲] در سال ۱۹۸۵ از دانشگاه پرینستون[ ۳] دکترای علم افتخاری گرفت. دانشگاه ایالتی نیویورک در بوفالو در سال ۱۹۹۰ همایشی بین المللی را به افتخار او و با برنامه ریزی جان کرکوران برگزار کرد.
وی فردی بسیار مذهبی بود و تا آخر عمر عضو کلیسای پرسبیتری ماند. [ ۴]
آلونزو چرچ در ۱۱ اوت ۱۹۹۵ مرد و در گورستان پرینستون دفن شد.
چرچ برای دست آوردهای زیر معروف است:
• اثبات کردن اثبات تعیین ناپذیر بودن مسئله توقف، که برای مشخص کردن درستی گزاره های مطلق در نظریهٔ ریاضیات به مسئله تصمیم نیاز دارد. این اثبات به قضیه چرچ معروف است.
• محاسباتش که به تز چرچ - تورینگ معروف است.
• پایه گذاری و ویراستاری ژورنال منطق نمادین، تا ۱۹۷۹ بخش بررسی را ویراش می کرد.
• ایجاد محاسبات لاندا.
این نوشته برگرفته از سایت ویکی پدیا می باشد، اگر نادرست یا توهین آمیز است، لطفا گزارش دهید: گزارش تخلفآلونزو چرچ در تاریخ ۱۴ جون ۱۹۰۳ واشینگتن، دی. سی. متولد شد. ساموئل رابینز چرچ، پدر آلونزو، قاضی دادگاه شهری ناحیه کلمبیا بود اما بعد از آنکه شغلش را بخاطر مشکلات بینایی از دست داد، همگی به ویرجینیا نقل مکان کردند. به کمک عمویش که او هم آلونزو چرچ نامیده می شد، به مدرسه پسرانهٔ ریجفیلد در ریجفیلد، کنتیکت رفت. [ ۱] بعد از فارغ التحصیلی از آنجا در سال ۱۹۲۰، چرچ به دانشگاه پرینستون رفت. او در آنجا دانشجویی استثنایی بود به طوری که اولین مقاله اش را در مورد تبدیل لورنتس به چاپ رساند و در سال ۱۹۲۴ در رشتهٔ ریاضیات فارغ التحصیل شد. او در پرینستون ماند و تحت نظر اوزوالد وبلن در عرض سه سال دکترا خود را در ریاضیات گرفت.
وی در سال ۱۹۲۵ با مری جولیا کوکزینسکی ازدواج کرد و صاحب سه فرزند به نام های آلونوز چرچ پسر ( متولد ۱۹۲۹ ) ، مری آن ( متولد ۱۹۳۳ ) و میلدرد ( متولد ۱۹۳۸ ) شد.
بعد از دریافت دکترا، استاد دانشگاه شیکاگو شد و فلوشیپ دوسالهٔ شورای ملی پژوهش ایالات متحده آمریکا را دریافت کرد. این امر به او اجازه داد تا در سال های ۱۹۲۷ الی ۱۹۲۸ به دانشگاه هاروارد و سال بعدش به دانشگاه گوتینگن و دانشگاه آمستردام برود. چرچ از سال ۱۹۲۷ الی ۱۹۶۷ در دانشگاه پرینستون و از سال ۱۹۶۷ الی ۱۹۹۰ در دانشگاه کالیفرنیا، لس آنجلس فلسفه و ریاضی درست می داد. وی در سال ۱۹۶۹ از دانشگاه کیس وسترن رزرو، [ ۲] در سال ۱۹۸۵ از دانشگاه پرینستون[ ۳] دکترای علم افتخاری گرفت. دانشگاه ایالتی نیویورک در بوفالو در سال ۱۹۹۰ همایشی بین المللی را به افتخار او و با برنامه ریزی جان کرکوران برگزار کرد.
وی فردی بسیار مذهبی بود و تا آخر عمر عضو کلیسای پرسبیتری ماند. [ ۴]
آلونزو چرچ در ۱۱ اوت ۱۹۹۵ مرد و در گورستان پرینستون دفن شد.
چرچ برای دست آوردهای زیر معروف است:
• اثبات کردن اثبات تعیین ناپذیر بودن مسئله توقف، که برای مشخص کردن درستی گزاره های مطلق در نظریهٔ ریاضیات به مسئله تصمیم نیاز دارد. این اثبات به قضیه چرچ معروف است.
• محاسباتش که به تز چرچ - تورینگ معروف است.
• پایه گذاری و ویراستاری ژورنال منطق نمادین، تا ۱۹۷۹ بخش بررسی را ویراش می کرد.
• ایجاد محاسبات لاندا.
wiki: آلونزو چرچ