lambda-calculus पर टैग किए गए जवाब

मैं सिर्फ "यह जानने के लिए" लैम्ब्डा कैलकुलस पर पढ़ रहा हूं। मैं इसे ट्यूरिंग मशीन के विपरीत गणना के वैकल्पिक रूप के रूप में देखता हूं। यह कार्यों / कटौती (गंभीर रूप से बोलने) के साथ चीजों को करने का एक दिलचस्प तरीका है। हालांकि कुछ सवाल मुझे कचोटते …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

क्या ट्यूरिंग मशीन और लैंबडा कैलकुलस के बीच एक संबंध है - या क्या वे केवल एक ही समय के बारे में उत्पन्न हुए थे?

49 computability  lambda-calculus  turing-machines 

मेरे पास तीन संबंधित उपवर्ग हैं, जो नीचे बुलेट बिंदुओं द्वारा हाइलाइट किए गए हैं (नहीं, वे विभाजित नहीं किए जा सकते, यदि आप सोच रहे हैं)। फ़ॉरेन बाउर ने यहां लिखा है कि कुछ कार्य ट्यूरिंग मशीन के माध्यम से साकार होते हैं, लेकिन लैम्ब्डा-कैलकुलस के माध्यम से नहीं। …

48 computability  lambda-calculus  turing-machines 

क्या लैम्बडा कैलकुलस का उपयोग करके एल्गोरिथ्म की समय जटिलता की गणना करने के लिए कोई लाभ हैं? या इस उद्देश्य के लिए एक और प्रणाली तैयार की गई है? किसी भी संदर्भ की सराहना की जाएगी।

43 lambda-calculus  pl.programming-languages  time-complexity 

ट्यूरिंग मशीन के माध्यम से अक्सर पी और एनपी जटिलता कक्षाओं की शुरूआत और स्पष्टीकरण में। संगणना के मॉडल में से एक लैम्ब्डा-पथरी है। मैं समझता हूं, कि संगणना के सभी मॉडल समतुल्य हैं (और अगर हम ट्यूरिंग मशीन के संदर्भ में कुछ भी पेश कर सकते हैं, तो हम …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

मैं इस तरह के किसी भी मॉडल के बारे में नहीं सोच सकता, शायद टाइप किए हुए लंबो कैलकुलस का कोई रूप? कुछ प्राथमिक सेलुलर ऑटोमेटन? यह वुल्फराम के "कम्प्यूटेशनल इक्वलेंस का सिद्धांत" को लगभग नापसंद करेगा : लगभग सभी प्रक्रियाएं जो स्पष्ट रूप से सरल नहीं हैं, उन्हें समान …

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

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

26 combinatory-logic  functional-programming  lambda-calculus 

मैंने पढ़ा है कि शुरू में चर्च ने -calculus को लॉजिस्टिक लॉजिक (जो कि एक सघन वाचन है) के अपने पोस्टुलेट्स के हिस्से के रूप में प्रस्तावित किया था । लेकिन क्लेन ने अपने "सिस्टम" को असंगत साबित कर दिया जिसके बाद, चर्च ने "प्रभावी कम्प्यूटेबिलिटी" पर अपने काम के …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

सीओसी को लैम्ब्डा क्यूब के तीनों आयामों की परिणति कहा जाता है। यह मेरे लिए बिल्कुल स्पष्ट नहीं है। मुझे लगता है कि मैं व्यक्तिगत आयामों को समझता हूं, और किसी भी दो के संयोजन का परिणाम अपेक्षाकृत सीधा संघ में हो सकता है (शायद मैं कुछ याद कर रहा …

21 lambda-calculus  type-systems  typed-lambda-calculus  calculus-of-constructions 

मुझे पता है कि वाई कॉम्बिनेटर आदिम के बिना टाइप किए गए लंबोदी की अधिकांश किस्मों की जटिलता को बांधा जाता है, अर्थात बंधे हुए जटिलता के केवल कार्यों को व्यक्त किया जा सकता है, बाउंड बड़ा होने के साथ ही टाइप सिस्टम की जटिलता बढ़ती है। मुझे याद है …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

एक में कार्तीय बंद श्रेणी ( सीसीसी ), वहाँ तथाकथित मौजूद घातीय वस्तुओं , लिखा । जब CCC को बस टाइप किए गए -calculus के मॉडल के रूप में माना जाता है , तो जैसी एक घातीय वस्तु प्रकार से टाइप तक के फंक्शन स्पेस की विशेषता होती है । …

21 type-theory  lambda-calculus  ct.category-theory 

क्या एक टाइप किया हुआ लैम्ब्डा कैलकुलस है जहां करी-हावर्ड पत्राचार के तहत संगत तर्क संगत है, और जहां प्रत्येक कम्प्यूटेशनल फ़ंक्शन के लिए टाइप करने योग्य लैम्ब्डा अभिव्यक्तियाँ हैं? यह वास्तव में एक स्पष्ट प्रश्न है, जिसमें "टाइप किए गए लैम्ब्डा कैलकुलस" की सटीक परिभाषा का अभाव है। मैं …

20 type-theory  lambda-calculus  typed-lambda-calculus  curry-howard 

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

19 lo.logic  pl.programming-languages  lambda-calculus 

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

19 lambda-calculus 

एक में हाल ही में धागा AGDA मेलिंग सूची पर, के सवाल ηη\eta कानूनों ऊपर पॉप, बनाया जिसमें पीटर Hancock सोचा उत्तेजक टिप्पणी । मेरी समझ यह है कि ηη\eta कानूनों नकारात्मक प्रकार के साथ आते हैं, यानी। संयोजक जो नियमों का परिचय देते हैं वे उलटे हैं। निष्क्रिय करने …

18 lo.logic  type-theory  lambda-calculus  proof-theory