शायद इसका जवाब यह है कि आपका सहकर्मी सही है। शायद आपने ट्यूरिंग को गलत समझा है, या यह यहां कैसे लागू होता है?
सभी मशीनें परिमित हैं, इसलिए कोई 'वास्तविक' ट्यूरिंग मशीनें नहीं हैं और न ही ऐसे कार्यक्रम हैं जो कभी रुकेंगे नहीं। एक तुच्छ कार्यक्रम जो एक साधारण अनंत लूप को निष्पादित करता है वह 5 मिनट या 50 साल चला सकता है लेकिन एक परिमित मशीन पर यह रुक जाएगा। एक गैर-तुच्छ गैर-हॉल्टिंग समस्या जैसे 'गणना पी बिल्कुल' भी रुक जाएगी, क्योंकि अंततः गणना आगे के अंकों को संग्रहीत करने की क्षमता से अधिक हो जाएगी।
ट्यूरिंग परिणाम परिमित मशीनों पर विशेष रूप से उपयोगी कुछ भी गारंटी नहीं देता है, इसलिए आपकी खोज अंततः फलहीन है। गणितज्ञों के लिए कितना समय और कितना पैसा और अनन्तता पर ध्यान केंद्रित करना बेहतर है।
आप सोच सकते हैं कि एक कार्यक्रम जैसा { while true: print "running"; print "halted"; }
एक काउंटर-उदाहरण है, लेकिन ऐसा नहीं है। इस कार्यक्रम के दुष्प्रभाव हैं, जो इसे रोकने का कारण हो सकता है या नहीं। साइड इफेक्ट्स को नजरअंदाज करते हुए, एक औपचारिक प्रमाण तैयार करना संभव है कि यह कार्यक्रम रुक नहीं जाएगा। इस सवाल में हम केवल उन कार्यक्रमों से चिंतित हैं जो गैर-ठहराव के औपचारिक प्रमाण को मिटाते हैं, जहां रुकने का प्रश्न अनिर्दिष्ट है। यह ऐसा कोई कार्यक्रम नहीं है।
यह 'मजबूत' ट्यूरिंग को 'कमजोर' ट्यूरिंग से अलग करने में मदद कर सकता है। मजबूत ट्यूरिंग मशीनें वास्तव में अनंत हैं और यदि वे रुकने में विफल रहती हैं, तो वे अनंत समय तक चलेंगी। हम उन का निर्माण नहीं कर सकते।
कमजोर ट्यूरिंग मशीनों की समय और स्थान पर सीमित सीमा होती है, और वे एकमात्र प्रकार हैं जो हम बना सकते हैं। हम उन कार्यक्रमों में रुचि रखते हैं, जो उन सीमाओं के भीतर साबित नहीं हो सकते। ट्यूरिंग हमें बताता है कि ऐसे कार्यक्रम हैं लेकिन हम उनकी पहचान नहीं कर सकते हैं। यदि सीमाएँ काफी कम हैं, तो हम उन्हें प्रोग्राम लिखकर और उसकी सीमा पर चलाकर उनकी पहचान कर सकते हैं।
ट्यूरिंग का सार यह है कि कोई शॉर्टकट नहीं हैं। यह सुनिश्चित करने का एकमात्र तरीका है कि क्या कोई समस्या कम्प्यूटेशनल रूप से संभव है कि प्रोग्राम लिखना, उसे चलाना और पता लगाना है। पर्याप्त समय और धन के साथ आप सभी कार्यक्रम लिख सकते हैं, उन्हें हमेशा के लिए और समय के साथ चला सकते हैं, और उन लोगों को खोज सकते हैं जो परिणाम (पड़ाव) उत्पन्न करते हैं। अन्य अभी भी चल रहे हैं। क्या आपके पास सहकर्मी के पास ऐसा करने के लिए पर्याप्त समय और पैसा है?
गंभीरता से, हालांकि विवाद सीमा के बारे में है। ट्यूरिंग और एनपी पूरा हमें बताता है कि किसी भी बजट के भीतर या किसी भी समय पर कंप्यूटरों द्वारा कुछ समस्याओं को हल नहीं किया जा सकता है, चाहे वह बजट कितना भी बड़ा हो या कितना भी सामान्य क्यों न हो। उस तरह की समस्या के उदाहरण लाजिमी हैं: क्रिप्टोग्राफ़िक कुंजियाँ तोड़ना; सैकड़ों पतों पर डिलीवरी करने के लिए मार्गों का अनुकूलन; ट्रकों में पैकिंग बॉक्स; बड़े कार्यक्रमों में बग ढूंढना!
इसलिए अपने सहकर्मी से एक बजट और एक कार्यक्रम के लिए पूछें, और एक वादा करें कि आप एक समस्या पैदा कर सकते हैं जो उस बजट या अनुसूची के भीतर हल नहीं हो सकती है। यह वादा निभाना बहुत आसान होगा।