set-theory पर टैग किए गए जवाब

गणितज्ञ कभी-कभी Axiom of Choice (AC) और Axiom of निर्धारक (AD) के बारे में चिंता करते हैं। पसंद की स्वयंसिद्ध : किसी भी संग्रह को देखते हुए सेट nonempty की, वहाँ एक समारोह है एक सेट दिया है कि, में , के एक सदस्य रिटर्न । एफ एस सी एससीC{\cal …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

मैं एक बहुत अस्पष्ट सवाल पूछने जा रहा हूं, क्योंकि सैद्धांतिक कंप्यूटर विज्ञान और गणित के बीच की सीमा रेखा को भेद करना हमेशा आसान नहीं होता है। प्रश्न: क्या आप सीएस के किसी दिलचस्प परिणाम से अवगत हैं, जो या तो ZFC (यानी मानक सेट सिद्धांत) से स्वतंत्र है, …

37 reference-request  lo.logic  set-theory 

मैं सेट सिद्धांत, क्रमिक सिद्धांत, अनंत संयोजन और सामान्य टोपोलॉजी में रुचि रखने वाला गणितज्ञ हूं। क्या कंप्यूटर विज्ञान में इन विषयों के लिए कोई आवेदन हैं? मैंने थोड़ा सा देखा है, और परिमित ग्राफ सिद्धांत, परिमित टोपोलॉजी, निम्न आयामी टोपोलॉजी, ज्यामितीय टोपोलॉजी आदि के लिए बहुत सारे अनुप्रयोग (निश्चित …

15 set-theory  topology  topological-graph-theory 

मैं आम तौर पर बेकर-गिल-सोलोवे और कोहेन द्वारा इस्तेमाल की जाने वाली मजबूर विधि में दिलचस्पी रखता हूं। मैं कई स्रोतों की तलाश में हूं क्योंकि मैं अपने हाथों को या तो तकनीक या इसके उपयोग के बारे में जान सकता हूं। क्या किसी के पास सुझाव हैं?

15 cc.complexity-theory  set-theory 

मैं कंप्यूटर विज्ञान में सूरजमुखी प्रणाली और इसके अनुप्रयोगों में दिलचस्प हूं। यह देखते हुए एक ब्रह्मांड और का एक संग्रह कश्मीर सेट एक मैं है एक कहा जाता k-सूरजमुखी प्रणाली अगर एक मैं ∩ एक j = Y सब के लिए मैं ≠ जे । और Y को कोर …

11 co.combinatorics  set-theory 

जैसा कि मैं समझता हूं, कंप्यूटर विज्ञान में डेटा प्रकार रसेल के विरोधाभास जैसी चीजों के कारण सेट सिद्धांत पर आधारित नहीं हैं, लेकिन जैसा कि वास्तविक विश्व प्रोग्रामिंग भाषाओं में हम ऐसे जटिल डेटा प्रकारों को व्यक्त नहीं कर सकते हैं जैसे "सेट जिसमें स्वयं शामिल नहीं है", क्या …

11 type-theory  set-theory  type-systems 

कैंटर के प्रमेय में कहा गया है कि किसी भी सेट ए के लिए, ए के सभी सबसेट के सेट में ए की तुलना में कड़ाई से अधिक कार्डिनैलिटी है। क्या ZFC सेट्स का जिक्र किए बिना केवल प्रकारों / प्रस्तावों का उपयोग करके इस तरह से कुछ को एनकोड …

9 type-theory  set-theory 

यह एक प्रश्न है जिसे मैंने गणित एसई फोरम में पूछा था, और मुझे यहां संदर्भित किया गया था। तो यहाँ सवाल है- मैं औपचारिक गणित और सैद्धांतिक कंप्यूटर विज्ञान दोनों में नौसिखिया हूं, इसलिए कृपया मेरे साथ सहन करें यदि आपको लगता है कि मेरा प्रश्न ठीक से तैयार …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented