बस स्पष्ट होने के लिए, हमें गणितीय कार्यों को अलग करने की आवश्यकता है (मैं उन्हें फ़ंक्शन कहूंगा और अक्सर उनमें से बहुत से बेशुमार हैं इसलिए वे सभी गणना करने योग्य नहीं हैं) और फ़ंक्शंस आप लिख सकते हैं: मैं उन्हें प्रोग्राम या कंप्यूटेबल फ़ंक्शन भी कहूंगा ।
एक गणना योग्य सेट एक सबसेट को कंप्यूटेबल कहा जाता है यदि कोई ऐसा प्रोग्राम है, जिसे का एक तत्व दिया गया है, तो "हां" यदि और "नहीं" अगर । (और उसे हमेशा कुछ जवाब देना होता है) यदि प्रोग्राम को "नहीं" कहने के बजाय जवाब देने के लिए अधिकृत नहीं किया जाता है, तो एक सेट को पुनरावर्ती रूप से कहा जाता है । (यह आवश्यक है कि कार्यक्रम को किसी भी क्रम में सभी तत्वों को प्रिंट करना होगा )SExEx∈Sx∉SS
सभी कार्यक्रमों है कि एक पर कुल का सेट परिमित सेट है गणनीय क्योंकि आप एक दुभाषिया कि सिर्फ परिमित सेट और बदले "हाँ" अगर वे सब समाप्त के सभी तत्वों पर कार्यक्रम चलाने लिख सकते हैं। (लेकिन अगर उनमें से कोई भी नहीं देखता है)
आपका प्रोफेसर ने कहा कि सभी कार्यक्रमों है कि एक पर कुल का सेट अनंत सेट है गणनीय नहीं है क्योंकि आप न सिर्फ तत्वों की एक अनंत संख्या पर अपने कार्यक्रम चला सकते हैं।
लेकिन इसका मतलब यह नहीं है कि यह बुरा है:
उदाहरण के लिए सेट करता है, तो सभी प्रोग्राम हैं जो कर रहे हैं provably कुल है गणनीय क्योंकि आप सभी सबूत की गणना और यंत्रवत् जाँच अगर वे साबित अपने कार्यक्रम की कुल है सकते हैं।
यहां तक कि एक गणना करने योग्य सेट व्यावहारिक नहीं होगा, क्योंकि आपको यह सुनिश्चित करने के बिना हमेशा इंतजार करना पड़ सकता है कि क्या प्रक्रिया एक दिन समाप्त हो जाएगी। मैं यह नहीं देखता कि सभी कार्यक्रमों को पूरा करने वाले कार्यक्रमों का उपयोग कैसे किया जाए ...
कुछ प्रोग्रामिंग भाषाएं हैं जहां आप जो कुछ भी लिखते हैं वह केवल स्थैतिक टाइपिंग के साथ समाप्त करने की गारंटी है! कुछ ऐसे भी हैं जो आपको बहुपत्नी बंध की गारंटी देते हैं। वे अभी के लिए ज्यादातर अकादमिक हैं, उन में लिखना शायद आपको बाधाओं को महसूस करेगा कि पायथन में लिखना अधिक है, लेकिन इस पर बहुत सारे शोधकर्ता काम कर रहे हैं।
तो अपने प्रश्न का उत्तर देने के लिए: एक अर्थ में, हाँ। संभावित गैर-समाप्ति ट्यूरिंग-पूर्ण (अब के लिए उच्चतम कम्प्यूटेशनल शक्ति) होना आवश्यक है। लेकिन मुझे यह सीधे तौर पर इस तथ्य के लिए प्रासंगिक नहीं लगता कि कुल कार्य करने योग्य हैं या नहीं। आप अभी भी सभी कुल कार्यक्रम लिख सकते हैं!