چرچ، آلونزو (۱۹۰۳ـ۱۹۹۵)

چِرچ، آلونزو (۱۹۰۳ـ۱۹۹۵)(Church, Alonzo)

ریاضی‌دان امریکایی. در ۱۹۳۶، نخستن تعریف دقیق از تابع محاسبه‌پذیر را عرضه کرد و به‌همین سبب، سهم بسزایی در توسعه و تکامل اسلوب‌مند نظریۀ الگوریتم‌ها دارد. حل مسئلۀ الگوریتمی مستلزم ساختن الگوریتمی است که مسئلۀ عضویت در مجموعۀ مفروضی را نسبت به مجموعۀ دیگر حل کند. اگر نتوان چنین الگوریتمی ساخت، مسئله حل‌ناپذیر است. چرچ با استفاده از تز آلن تورینگ، ریاضی‌دان انگلیسی، ثابت کرد که هیچ الگوریتمی برای رده‌ای از مسائل حساب مقدماتی وجود ندارد. قضایایی که حل‌ناپذیری چنین مسائلی را ثابت می‌کنند از مهم‌ترین قضایا در نظریۀ الگوریتم‌هایند و قضیۀ چرچ اولین قضیه از این نوع است. او همچنین حل‌ناپذیری مسئله تشخیص صدق و کذب را برای مجموعۀ همۀ گزاره‌های صادقِ منطق محمولات ثابت کرد. چرچ در پرینستون درس خواند، ۴۰ سال در آن‌جا ماند، و استاد ریاضیات و فلسفه شد. در ۱۹۶۷، به دانشگاه کالیفرنیا در لوس‌آنجلس رفت.

---