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