जो मैं समझता हूं (जो बहुत कम है, इसलिए कृपया मुझे सही करें जहां मैं गलत हूं!), प्रोग्रामिंग भाषाओं का सिद्धांत अक्सर "अंतर्ज्ञानवादी" प्रमाणों से संबंधित होता है। मेरी अपनी व्याख्या में, दृष्टिकोण की आवश्यकता है कि हम तर्क और उत्तेजना पर गणना के परिणामों को गंभीरता से लें। एक प्रमाण मौजूद नहीं हो सकता जब तक कि परिकल्पना से परिणाम का निर्माण करने वाला एक एल्गोरिथ्म मौजूद न हो । हम एक स्वयंसिद्ध रूप में बाहर कर बीच के सिद्धांत को अस्वीकार कर सकते हैं, उदाहरण के लिए, क्योंकि यह कुछ वस्तु है, जो या तो है दर्शाती या ¬ एक्स nonconstructively,।
उपरोक्त दर्शन हमें उन लोगों पर सहज ज्ञान युक्त मान्य प्रमाण पसंद करने के लिए प्रेरित कर सकता है जो नहीं हैं। हालांकि, मैंने सैद्धांतिक सीएस के अन्य क्षेत्रों में कागजों में वास्तव में अंतर्ज्ञान तर्क का उपयोग करने के बारे में कोई चिंता नहीं देखी है। हम शास्त्रीय तर्क का उपयोग करके अपने परिणामों को साबित करने में खुश लग रहे हैं। उदाहरण के लिए, कोई यह साबित करने के लिए बहिष्कृत मध्य के सिद्धांत का उपयोग करने की कल्पना कर सकता है कि एक एल्गोरिथ्म सही है। दूसरे शब्दों में, हम अपने परिणामों में एक कम्प्यूटेशनल-सीमित ब्रह्मांड के बारे में गंभीरता से ध्यान रखते हैं, लेकिन जरूरी नहीं कि इन परिणामों के प्रमाणों में भी।
1. क्या सैद्धांतिक सीएस में शोधकर्ता कभी सहज ज्ञान युक्त वैध प्रमाण लिखने के बारे में चिंतित हैं? मैं आसानी से सैद्धांतिक कंप्यूटर विज्ञान के एक उपक्षेत्र की कल्पना कर सकता हूं जो यह समझने की कोशिश करता है कि टीसीएस परिणाम, विशेष रूप से एल्गोरिदम वाले, अंतर्ज्ञानवादी तर्क में पकड़ (या अधिक दिलचस्प, जब वे नहीं करते हैं)। लेकिन मैं अभी तक किसी के सामने नहीं आया हूं।
2. क्या कोई दार्शनिक तर्क है जो उन्हें करना चाहिए? ऐसा लगता है कि कोई दावा कर सकता है कि कंप्यूटर विज्ञान के परिणाम संभव होने पर अंतर्ज्ञान से सिद्ध होने चाहिए, और हमें यह जानना चाहिए कि किन परिणामों की आवश्यकता है जैसे कि पीईएम। क्या किसी ने इस तरह का तर्क देने की कोशिश की है? या शायद एक आम सहमति है कि यह सवाल बहुत महत्वपूर्ण नहीं है?
3. एक पक्ष के प्रश्न के रूप में, मैं उन मामलों के उदाहरणों को जानने के लिए उत्सुक हूं जहां यह वास्तव में मायने रखता है: क्या टीसीएस के महत्वपूर्ण परिणाम शास्त्रीय तर्क रखने के लिए जाने जाते हैं लेकिन अंतर्ज्ञानवादी तर्क में नहीं? या संदेहवादी तर्क में पकड़ न रखने का संदेह।
प्रश्न की कोमलता के लिए क्षमा याचना! विशेषज्ञों से सुनने के बाद इसे रिवाइडिंग या पुनर्व्याख्या की आवश्यकता हो सकती है।