[کامپیوتر] مسئله توقف - مسئله ی تعیین کننده در اینکه یک برنامه ی کامپیوتری خاتمه می یابد یا ر حلقه ای بی پایان و برای همیشهادامه خواهد داشت، یک نتیجه ینظری در علم کامپیوتر . برنامه ی کامپیوتری A را در نظر بگیرید که برنامه های دیگر را تحلیل می کند ؛ برنامه ی تحلیل نشده ی B را حضار کنید . فرض کنید A همیشه میتواند با اطمینان تعیین کند که B خاتمه می یابد یا نه . می توانید A را طوری تنظیم کنید که اگر نتیجه گرفت که B خاتمه می یابد، بی وقفه تکرار شود و اگر به این نتیجه رسید که B به اتمام نمی رسد، قطع شود. [ریاضیات] مسأله ی توقف
