نظریه رایانش‌پذیری: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جزبدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
برچسب‌ها: ویرایش همراه ویرایش از وبگاه همراه
خط ۱:
{{ویکی‌سازی}}
 
'''نظریه محاسبه‌پذیریرایانش‌پذیری''' از مباحث پایه در [[علوم رایانه]] است که به بررسی محاسبه‌پذیر و محاسبه‌ناپذیر بودن عملیات با استفاده از ابزارهای کلاسیک نظیر [[ماشین ثبات]]، [[ماشین تورینگ]] و [[توابع بازگشتی]] می‌پردازد.
بدون شک یکی از علل پیشرفت این نظریه تلاش محققین برای اثبات پاسخ منفی به مسئله دهم هیلبرت بوده‌است.