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