2
वाई कॉम्बिनेटर "लैम्ब्डा पथरी असंगति" को कैसे स्वीकार करता है?
फिक्स्ड प्वाइंट कॉम्बिनेटरों के लिए विकिपीडिया पृष्ठ पर बल्कि रहस्यमय पाठ लिखा जाता है वाई कॉम्बिनेटर एक उदाहरण है जो लैम्बडा कैलकुलस को असंगत बनाता है। इसलिए इसे संदेह के साथ माना जाना चाहिए। हालाँकि, केवल तर्कपूर्ण तर्क में परिभाषित किए जाने पर वाई कॉम्बिनेटर पर विचार करना सुरक्षित है। …