 பின்வரும் பத்தியிலிருந்து, நிறுத்தும் பிரச்சனை பற்றிய முக்கிய முடிவு என்ன?
கம்ப்யூட்டபிலிட்டி கோட்பாட்டில், ஒரு தன்னிச்சையான கணினி நிரல் மற்றும் ஒரு உள்ளீட்டின் விளக்கத்திலிருந்து, நிரல் இயங்குவதை முடிக்குமா அல்லது தொடர்ந்து இயங்குகிறதா என்பதை தீர்மானிப்பதில் உள்ள சிக்கல் நிறுத்துதல் பிரச்சனையாகும். ஆலன் டூரிங் 1936 இல் நிரூபித்தார், சாத்தியமான அனைத்து நிரல் உள்ளீட்டு ஜோடிகளுக்கும் நிறுத்தும் சிக்கலைத் தீர்க்க ஒரு பொதுவான வழிமுறை இருக்க முடியாது. நிரல்கள் நிறுத்தப்படுகிறதா என்பதைத் தீர்மானிக்கும் எந்த நிரலுக்கும், சில உள்ளீடுகளுடன் அழைக்கப்படும் "நோயியல்" நிரல் g, அதன் சொந்த மூலத்தையும் அதன் உள்ளீட்டையும் f க்கு அனுப்பலாம், பின்னர் குறிப்பாக f கணித்ததற்கு நேர்மாறாக g செய்யும். இந்த வழக்கைக் கையாளும் எந்த எஃப் இருக்க முடியாது. நிரூபணத்தின் முக்கிய பகுதியானது கணினி மற்றும் நிரலின் கணித வரையறை ஆகும், இது டூரிங் இயந்திரம் என அழைக்கப்படுகிறது; டூரிங் இயந்திரங்களில் நிறுத்தும் பிரச்சனை தீர்மானிக்க முடியாதது. தீர்க்க முடியாதது என்று நிரூபிக்கப்பட்ட முடிவு சிக்கல்களின் முதல் நிகழ்வுகளில் இதுவும் ஒன்றாகும். இந்தச் சான்று நடைமுறைக் கணிப்பொறி முயற்சிகளுக்கு முக்கியத்துவம் வாய்ந்தது, எந்த நிரலாக்கக் கண்டுபிடிப்பும் சரியாகச் செயல்பட முடியாத பயன்பாடுகளின் வகுப்பை வரையறுக்கிறது.
நிறுத்தம் பிரச்சனை தீர்க்க முடியாதது.