constructive-mathematics पर टैग किए गए जवाब

4
कब (या होना चाहिए) सैद्धांतिक सीएस अंतर्ज्ञानवादी प्रमाणों के बारे में परवाह करता है?
जो मैं समझता हूं (जो बहुत कम है, इसलिए कृपया मुझे सही करें जहां मैं गलत हूं!), प्रोग्रामिंग भाषाओं का सिद्धांत अक्सर "अंतर्ज्ञानवादी" प्रमाणों से संबंधित होता है। मेरी अपनी व्याख्या में, दृष्टिकोण की आवश्यकता है कि हम तर्क और उत्तेजना पर गणना के परिणामों को गंभीरता से लें। एक …

3
कुशल शुद्धता और दक्षता प्रमाण के बिना रचनात्मक रूप से कुशल एल्गोरिदम
मैं कुशल एल्गोरिदम के प्राकृतिक उदाहरणों की तलाश कर रहा हूं (यानी बहुपद में) सेंट उनकी शुद्धता और दक्षता रचनात्मक रूप से सिद्ध की जा सकती है (जैसे या ), लेकिनPRAPRAPRAHAHAHA केवल कुशल अवधारणाओं का उपयोग करने वाला कोई भी प्रमाण ज्ञात नहीं है (अर्थात हम या में अपनी शुद्धता …

3
रचनाकार कॉल / सीसी के बारे में बहुत अधिक परवाह क्यों नहीं करते हैं
इसलिए थोड़ी देर पहले मैंने पहली बार किसी को बताया था कि कॉल / सीसी Peirce के कानून को लागू करके शास्त्रीय प्रमाण के लिए सबूत वस्तुओं की अनुमति दे सकता है। मैंने हाल ही में इस विषय के बारे में कुछ सोचा था और मैं इसके साथ कोई दोष …

1
अपनी शर्तों के बारे में प्रमेय साबित करने में सक्षम भाषा (और इसकी प्रकार-प्रणाली) क्या बनाती है?
मैंने हाल ही में हारून की सेडिल-कोर को लागू करने का प्रयास किया है , जो एक न्यूनतम प्रोग्रामिंग भाषा है जो गणितीय प्रमेयों को अपनी शर्तों के बारे में साबित करने में सक्षम है। मैंने इस पर λ- एन्कोडेड डेटाैटिप्स के लिए प्रेरण भी साबित किया है, जिससे यह …

1
निर्णायक प्रमाण की समानता?
मैं यह जानना चाहता हूं कि क्या एक ही प्रस्ताव के दो निर्णायक सबूतों की समानता की निर्णायक गणना के किसी भी अतिरिक्त स्वयंसिद्धों के बिना साबित हो सकता है। विशेष रूप से, मैं जानना चाहता हूं कि क्या यह कोक में किसी भी अतिरिक्त स्वयंसिद्ध के बिना सच है। …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.