چرچ الونزو

چرچ آلونزو. چِرچ، آلونزو (۱۹۰۳ـ۱۹۹۵)(Church, Alonzo)
ریاضی دان امریکایی. در ۱۹۳۶، نخستن تعریف دقیق از تابع محاسبه پذیر۱ را عرضه کرد و به همین سبب، سهم بسزایی در توسعه و تکامل اسلوب مند نظریۀ الگوریتم ها۲ دارد. حل مسئلۀ الگوریتمی۳ مستلزم ساختن الگوریتمی است که مسئلۀ عضویت در مجموعۀ مفروضی را نسبت به مجموعۀ دیگر حل کند. اگر نتوان چنین الگوریتمی ساخت، مسئله حل ناپذیر است. چرچ با استفاده از تز آلن تورینگ۴، ریاضی دان انگلیسی، ثابت کرد که هیچ الگوریتمی برای رده ای از مسائل حساب مقدماتی وجود ندارد. قضایایی که حل ناپذیری۵ چنین مسائلی را ثابت می کنند از مهم ترین قضایا در نظریۀ الگوریتم هایند و قضیۀ چرچ۶ اولین قضیه از این نوع است. او همچنین حل ناپذیری مسئله تشخیص صدق و کذب را برای مجموعۀ همۀ گزاره های صادقِ۷ منطق محمولات۸ ثابت کرد. چرچ در پرینستون۹ درس خواند، ۴۰ سال در آن جا ماند، و استاد ریاضیات و فلسفه شد. در ۱۹۶۷، به دانشگاه کالیفرنیا در لوس آنجلس رفت.
calculable functiontheory of algorithmsalgorithmic problemAlan TuringunsolvabilityChurch’s theoremtrue propositionspredicate logicPrinceton