نظریه رایانش‌پذیری: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز r2.7.1) (ربات افزودن: pt:Teoria da Computabilidade |
بدون خلاصۀ ویرایش |
||
خط ۱:
{{ویکی‌سازی}}
'''نظریه محاسبه‌پذیری''' از مباحث پایه در [[علوم رایانه]] است که به بررسی محاسبه‌پذیر و محاسبه‌ناپذیر بودن عملیات با استفاده از ابزارهای کلاسیک نظیر [[ماشین ثبات]]، [[ماشین تورینگ]] و [[توابع بازگشتی]] می‌پردازد.
بدون شک یکی از علل پیشرفت این نظریه تلاش محققین برای اثبات پاسخ منفی به مساله دهم هیلبرت بوده‌است.
دانشمندان
چون حافظهٔ بی نهایت یک نسبت غیر مادی در نظر گرفته می‌شود، برای هر مسئله که با استفاده از ماشین ترینگ حل می‌شود، حافظهٔ مورد استفاده همواره محدود است. در نتیجه هر مسئله را می‌توان با استفاده از یک کامپیوتر شخصی که حافظهٔ مورد نیاز بر روی آن نصب شده، از طریق یک ماشین تورینگ حل کرد.
| |||