عبارتی تز چرچ-تورینگ بیان می‌کند اگر الگوریتمی برای انجام محاسبات وجود داشته باشد، آنگاه همان الگوریتم توسط ماشین تورینگ انجام می‌شود. تز چرچ-تورینگ بیانکننده...

Problem) ماشین تورینگ قابل حل نیست: مشخص نیست که ماشین تورینگ، کی متوقف می‌شود. کار تورینگ، به‌سبب انتشار اثبات او پس از اثبات آلونزو چرچ در جبر لاندا،...

Transition function ماشین محاسبه تورینگ آلن تورینگ تز چرچ-تورینگ ماشین انیگما بنفش (ماشین سایفر) ماشین تورینگ جهانی ماشین تورینگ کوانتومی در ویکی‌انبار پرونده‌هایی...

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

هستند، عدد بزرگی که به اندازه ۲ صفحه ۱ و ۰ (صفر و یک) است. ماشین تورینگ تز چرچ-تورینگ مشارکت‌کنندگان ویکی‌پدیا. «Universal Turing machine». در دانشنامهٔ...

کامل تورینگ، سیستمی می‌باشد که بتواند یک دستگاه تورینگ را شبیه‌سازی نماید و در تز چرچ-تورینگ، که هر کامپیوتر دنیای واقعی را بتوان با ماشین تورینگ شبیه‌سازی...

بیشتر مباحثات در این زمینه است که آیا ذهن بشر هم‌ارز با دستگاه تورینگ، یا تز چرچ-تورینگ یا هر دستگاه متناهی دیگر است یا نه. اگر این گونه باشد و این دستگاه...

می‌توان به صورت یک راه مؤثر یا یک تابع محاسبه‌کردنی توصیف کرد که بنا بر تز چرچ‐تورینگ این دو توصیف با هم معادل هستند. سالیان طولانی ریاضی‌دانان در پی حل سوالاتی...

تورینگ ممکن است به یکی از موارد زیر اشاره داشته باشد: ماشین تورینگ تز چرچ-تورینگ آزمون تورینگ جایزه تورینگ تورینگ این صفحهٔ ابهام‌زدایی مقاله‌های مرتبط...

در کدگذاری چرچ به یک تابع مرتبه‌بالا تبدیل می‌شوند. تز چرچ-تورینگ ادعا می‌کند که هر عمل‌گر محاسبه‌پذیری (به همراه عمل‌وندهایش) در کدگذاری چرچ قابل نمایش...

مکانیکی ساده هستند، اما به نظر می‌رسد، همان‌طور که از تز چرچ-تورینگ برمی‌آید، ماشین‌های تورینگ به اندازهٔ کافی برای حل هر مسئلهٔ منطقی، توانمند هستند...

می‌شود. هر الگوریتم عادی معادل ماشین تورینگ است و بالعکس، هر ماشین تورینگ معادل الگوریتم عادی است. یک نسخه از تز چرچ-تورینگ که در رابطه با الگوریتم عادی فرموله...

آلن تورینگ با موضوع هوش مصنوعی نوشته شده‌است. این مقاله که در سال ۱۹۵۰ در نشریه ذهن منتشر شد، اولین مقاله ای بود که تورینگ در آن مفهوم آزمون تورینگ را...

مسئله است. مدل‌های عمومی محاسبه‌پذیری معادل با ماشین تورینگ عبارتند از (نگاه کنید به:تز چرچ-تورینگ): محاسبات شامل یک عبارت لامبدا اولیه (یا دو عبارت برای...

صورت گرفته‌است و به هیچ وجه مدیون به دریفوس نیست.» تطبیقی ناخودآگاه تز چرچ تورینگ کامپیوتر شطرنج هوبرت دریفوس فلسفه هوش مصنوعی اخلاق هوش مصنوعی Note also...

کمبریج بازمی‌گردد. در جلسه‌ای که راسل و مور ترتیب داده بودند رساله را به عنوان تز دکتری او می‌پذیرند. او سپس بورس تحقیقاتی از کمبریج دریافت می‌کند در این دوران...

تحقیقات دکتری‌اش انتخاب کرد. در ۱۹۲۹، در سن ۲۳ سالگی، تز دکتری‌اش را با راهنمای هانس هان تمام کرد. در تز دکتری‌اش، گودل تمامیت حساب محمولات مرتبه اول را اثبات...

فلسفی جهان آلن تورینگ پایان‌نامه چرچ-تورینگ دوگانه‌انگاری ذهن و بدن نظریه ارک-ار ذهن کوانتومی ریموند اسمولیان «لباس جدید امپراتور» آزمون تورینگ لاندو, جی....

غیرضروری اجرای برنامه‌های تعمیر و نگهداری دیسک (به عنوان مثال ScanDisk، دیفراگمنترهای هارد دیسک، اسکنر ویروس) ماشین تورینگ جهانی ماشین تورینگ تز چرچ-تورینگ...

نگرشی متفاوت درباره هیلومورفیسم ( صورت و ماده باوری) را بسط میدهد ، با سه تز که او را از دیگران متمایز میکند . ۱_او معتقد است که ماده ایی وجود دارد که...

است. او آورده‌است: «بر این اساس، نظریه فلسفی مورد نیاز نگرش مدرن باید پنج تز اصلی را حفظ کند: (۱) این‌که ذهن در همه چیز نهفته‌است؛ (۲) این‌که واقعیت یک...