लैम्ब्डा कैलकुस सीखने के लिए पूर्व-आवश्यकताएं

Question

क्या कोई मुझे बता सकता है कि लैम्ब्डा कैलकुस (यदि कोई हो) सीखने के लिए पूर्व-आवश्यकताएं क्या हैं?

Answer 1

यह वास्तव में इस बात पर निर्भर करता है कि आप लैम्ब्डा कैलकुस के साथ क्या करना चाहते हैं। यदि आप इसे सीखना चाहते हैं तो यह देखने के लिए कि यह कैसे काम करता है वास्तव में कोई शर्त नहीं है; यह बहुत आत्मनिर्भर है। हालांकि, अगर आप इसके बारे में किसी भी सबूत को समझना चाहते हैं (ट्यूरिंग-पूर्णता, चर्च अंक, सामान्यीकरण, आदि) तो आपको अधिक गणित प्रीरेक्स की आवश्यकता हो सकती है। विशेष रूप से, मैं अपरिवर्तनीय सबूत तकनीकों, विशेष रूप से संरचनात्मक प्रेरण में पृष्ठभूमि का सुझाव दूंगा। हॉलिंग समस्या या कुछ प्रकार के अपूर्णता प्रमेय के बारे में कुछ भी जानना अच्छा लगेगा, क्योंकि लैम्ब्डा कैलकुस के कुछ मजेदार परिणामों में गैर-कम्प्यूटेबिलिटी शामिल है।

Answer 2

लैम्ब्डा कैलकुस को स्वयं समझने के लिए कोई और आवश्यकता नहीं है। यदि आप कंप्यूटर वैज्ञानिक नहीं हैं और रिकर्सन भी नहीं जानते हैं, तो आप यहां लगभग 30 मिनट में अनौपचारिक रूप से लैम्ब्डा कैलकुस की मूल बातें सीख सकते हैं: http://palmstroem.blogspot.de/2012/05/lambda-calculus-for-absolute-dummies.html इससे आपको यह पता चल जाएगा कि यह क्या करता है और यह कैसे काम करता है ।

यदि आप मूल गणितीय नोटेशन और रिकर्सिव परिभाषाओं से परिचित हैं, तो आप एक मानक परिचय के लिए जा सकते हैं। विशेष रूप से, यदि आप हम्सेल के आधार के रूप में लैम्ब्डा कैलकुलस के बारे में जानना चाहते हैं, तो आपको टाइप किए गए लैम्ब्डा कैलकुस की गहराई में जाना चाहिए: http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf