مسئله توقف: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
Addbot (بحث | مشارکت‌ها)
جز Bot: Migrating 25 interwiki links, now provided by Wikidata on d:q622849 (translate me)
Zigotarus (بحث | مشارکت‌ها)
جزبدون خلاصۀ ویرایش
خط ۷:
[[پرونده:Alan_Turing.jpg|thumb|[[آلن تورینگ]] از پیش‌گامان کار بر مساله توقف بود.‏]]
[[آلن تورینگ|آلن تورینگدرتورینگ]] در سال ۱۹۳۶ ثابت کرد که [[الگوریتم|الگوریتمی]] که این مساله را به ازای تمام برنامه‌ها و ورودی‌ها حل کند وجود ندارد. یعنی مساله توقف بر روی ماشین تورینگ قابل تصمیم‌گیری نیست.
 
== مثال ==