صفحههایی که به «تز چرچ-تورینگ» پیوند دارند
ظاهر
صفحههای زیر به تز چرچ-تورینگ پیوند دارند:
ابزارهای بیرونی:
۴۶ مورد نمایش یافته است.
- ساختار (منطق ریاضی) (پیوندها | ویرایش)
- رایانش کوانتومی (پیوندها | ویرایش)
- زیرمجموعه (پیوندها | ویرایش)
- بنیانهای ریاضیات (پیوندها | ویرایش)
- زوج مرتب (پیوندها | ویرایش)
- قضایای ناتمامیت گودل (پیوندها | ویرایش)
- منطق موجهات (پیوندها | ویرایش)
- فرضیه پیوستار (پیوندها | ویرایش)
- نظریه زبانها (پیوندها | ویرایش)
- سازگاری (منطق ریاضی) (پیوندها | ویرایش)
- قضیه کانتور (پیوندها | ویرایش)
- ماشین تورینگ (پیوندها | ویرایش)
- درستی (منطق) (پیوندها | ویرایش)
- فیزیک دیجیتال (پیوندها | ویرایش)
- تز چرچ-تورينگ (صفحهٔ تغییرمسیر) (پیوندها | ویرایش)
- کاربر:سعی (پیوندها | ویرایش)
- کاربر:Adler.fa/صفحات با عنوان عربی (پیوندها | ویرایش)
- بحث کاربر:Gpooseh (پیوندها | ویرایش)
- الگوریتمهای مافوق بازگشتی (پیوندها | ویرایش)
- اصل طرد شق ثالث (پیوندها | ویرایش)
- تورینگ (ابهامزدایی) (پیوندها | ویرایش)
- ماشین تورینگ جهانی (پیوندها | ویرایش)
- تورینگ کامل (پیوندها | ویرایش)
- آلونزو چرچ (پیوندها | ویرایش)
- تمایز نوع و نمونه (پیوندها | ویرایش)
- محاسبهپذیری (پیوندها | ویرایش)
- دیدگاه هوبرت درایفوس راجع به هوش مصنوعی (پیوندها | ویرایش)
- کدگذاری چرچ (پیوندها | ویرایش)
- عنصر (ریاضیات) (پیوندها | ویرایش)
- تمامیت (منطق) (پیوندها | ویرایش)
- قضیه تمامیت گودل (پیوندها | ویرایش)
- تصمیمپذیری (منطق) (پیوندها | ویرایش)
- الگوریتم مارکوف (پیوندها | ویرایش)
- مجموعه ناشمارا (پیوندها | ویرایش)
- خانه داری (کامپیوتر) (پیوندها | ویرایش)
- هوش و ماشینهای محاسباتی (پیوندها | ویرایش)
- قضیۀ لیندستروم (پیوندها | ویرایش)
- قدرت (منطق ریاضی) (پیوندها | ویرایش)
- اثبات با بررسی حالتها (پیوندها | ویرایش)
- استنتاج طبیعی (پیوندها | ویرایش)
- ذهن جدید امپراتور (پیوندها | ویرایش)
- ثابت منطقی (پیوندها | ویرایش)
- حقیقت منطقی (پیوندها | ویرایش)
- بحث:تز چرچ-تورینگ (پیوندها | ویرایش)
- کاربر:Aminmozaffari.s/اثبات با بررسی حالتها (پیوندها | ویرایش)
- ویکیپدیا:مقالههای تخصصی مورد نیاز/فهرست ۲ (پیوندها | ویرایش)
- ویکیپدیا:اشتباهیاب/پراشتباهترین/غلطهای املایی (پیوندها | ویرایش)
- الگو:منطق ریاضی (پیوندها | ویرایش)
- الگو:فرامنطق (پیوندها | ویرایش)