تلفظ بین المللی : /tʃˈartʃ alvanˈazuː/ تلفظ : [tS'aRtS alvan'azu:]
دانشنامه آزاد فارسی
چرچ آلونزو. چِرچ، آلونزو (۱۹۰۳ـ۱۹۹۵)(Church, Alonzo)ریاضی دان امریکایی. در ۱۹۳۶، نخستن تعریف دقیق از تابع محاسبه پذیر۱ را عرضه کرد و به همین سبب، سهم بسزایی در توسعه و تکامل اسلوب مند نظریۀ الگوریتم ها۲ دارد. حل مسئلۀ الگوریتمی۳ مستلزم ساختن الگوریتمی است که مسئلۀ عضویت در مجموعۀ مفروضی را نسبت به مجموعۀ دیگر حل کند. اگر نتوان چنین الگوریتمی ساخت، مسئله حل ناپذیر است. چرچ با استفاده از تز آلن تو...
