कुछ "उचित" औपचारिक भाषा में बताई गई निर्णय समस्याओं पर विचार करें। मान लीजिए कि उच्च-क्रम वाले पीनो अंकगणित में सूत्र एक मुक्त चर के साथ संदर्भ के एक फ्रेम के रूप में हैं, लेकिन मैं गणना के अन्य मॉडलों में भी उतनी ही दिलचस्पी रखता हूं: डायोफैंटाइन समीकरण, ट्यूरिंग मशीनों का उपयोग करके पुन: लिखने के नियमों से शब्द समस्याएं, आदि किसी भी उत्तर में व्यक्त उत्तर। शास्त्रीय औपचारिकता ठीक होगी, हालाँकि यदि आप जानते हैं कि औपचारिकता का विकल्प उत्तर को कितना प्रभावित करता है, तो यह भी दिलचस्प होगा।
यह देखते हुए लंबाई एक निर्णय समस्या के बयान की, हम संख्या को परिभाषित कर सकते डी ( एन ) लंबाई की डिसाइडेबल बयान के एन और संख्या यू ( एन ) लंबाई की अनिर्णनीय बयान के एन ।
और डी ( एन ) के सापेक्ष विकास के बारे में क्या जाना जाता है ? दूसरे शब्दों में, अगर मैं यादृच्छिक रूप से एक अच्छी तरह से गठित निर्णय समस्या लेता हूं, तो किसी दिए गए कथन की लंबाई के लिए इसका निर्णायक होने की संभावना क्या है?
इस सवाल से प्रेरित है जो पूछता है कि "सबसे अधिक समस्याएं और एल्गोरिदम [हैं] निर्णायक हैं"। यदि आप रुचि से फ़िल्टर नहीं करते हैं, तो क्या वे हैं?