https://wikijoo.ir/index.php?action=history&feed=atom&title=%DA%86%D8%B1%DA%86%D8%8C_%D8%A2%D9%84%D9%88%D9%86%D8%B2%D9%88_%28%DB%B1%DB%B9%DB%B0%DB%B3%D9%80%DB%B1%DB%B9%DB%B9%DB%B5%29چرچ، آلونزو (۱۹۰۳ـ۱۹۹۵) - تاریخچهٔ نسخهها2026-05-02T00:14:29Zتاریخچهٔ نسخهها برای این صفحه در ویکیMediaWiki 1.41.0https://wikijoo.ir/index.php?title=%DA%86%D8%B1%DA%86%D8%8C_%D8%A2%D9%84%D9%88%D9%86%D8%B2%D9%88_(%DB%B1%DB%B9%DB%B0%DB%B3%D9%80%DB%B1%DB%B9%DB%B9%DB%B5)&diff=2010065537&oldid=prevNazanin در ۱۷ دسامبر ۲۰۱۹، ساعت ۱۰:۱۸2019-12-17T10:18:18Z<p></p>
<p><b>صفحهٔ تازه</b></p><div><br />
چِرچ، آلونزو (۱۹۰۳ـ۱۹۹۵)(Church, Alonzo)<br><br />
<p>ریاضیدان امریکایی. در ۱۹۳۶، نخستن تعریف دقیق از تابع محاسبهپذیر<ref>calculable function</ref> را عرضه کرد و بههمین سبب، سهم بسزایی در توسعه و تکامل اسلوبمند نظریۀ الگوریتمها<ref>theory of algorithms </ref> دارد. حل مسئلۀ الگوریتمی<ref>algorithmic problem </ref> مستلزم ساختن الگوریتمی است که مسئلۀ عضویت در مجموعۀ مفروضی را نسبت به مجموعۀ دیگر حل کند. اگر نتوان چنین الگوریتمی ساخت، مسئله حلناپذیر است. چرچ با استفاده از تز آلن تورینگ<ref>Alan Turing </ref>، ریاضیدان انگلیسی، ثابت کرد که هیچ الگوریتمی برای ردهای از مسائل حساب مقدماتی وجود ندارد. قضایایی که حلناپذیری<ref>unsolvability</ref> چنین مسائلی را ثابت میکنند از مهمترین قضایا در نظریۀ الگوریتمهایند و قضیۀ چرچ<ref>Church’s theorem</ref> اولین قضیه از این نوع است. او همچنین حلناپذیری مسئله تشخیص صدق و کذب را برای مجموعۀ همۀ گزارههای صادقِ<ref>true propositions </ref> منطق محمولات<ref>predicate logic </ref> ثابت کرد. چرچ در پرینستون<ref>Princeton</ref> درس خواند، ۴۰ سال در آنجا ماند، و استاد ریاضیات و فلسفه شد. در ۱۹۶۷، به دانشگاه کالیفرنیا در لوسآنجلس رفت.</p><!--17021700--><br />
<br />
<br />
----<br />
[[رده:ریاضیات]]<br />
[[رده:(ریاضیات)اشخاص و آثار]]</div>Nazanin