अब हम देख सकते हैं कि चर्च के साथ जुड़े थे , बस टाइप लैम्ब्डा पथरी । वास्तव में, ऐसा लगता है कि उन्होंने लैंबडा कैलकुलस के बारे में गलतफहमी को कम करने के लिए सिंपल टाइप्ड लैंबडा कैलकुलस समझाया।
अब जब जॉन मैकार्थी ने लिस्प बनाया - उन्होंने इसे लैम्ब्डा कैलकुलस पर आधारित किया । यह उनके स्वयं के प्रवेश द्वारा है जब उन्होंने "प्रतीकात्मक अभिव्यक्तियों के पुनरावर्ती कार्य और मशीन द्वारा उनकी गणना, भाग I" प्रकाशित किया । आप इसे यहाँ पढ़ सकते हैं ।
अब हम जानते हैं कि के मूल में मेथेमेटिका एक है लिस्प की तरह प्रणाली , लेकिन इसके बजाय लैम्ब्डा पथरी पर विशुद्ध रूप से आधारित किया जा रहा है, यह है एक शब्द-पुनर्लेखन प्रणाली के आधार पर ।
यहाँ लेखक बताता है:
गणितज्ञ मूल रूप से एक शब्द पुनर्लेखन प्रणाली है ... लिस्प के पीछे लैंबडा कैलकुलस की तुलना में अधिक सामान्य अवधारणा।
ऐसा लगता है कि लैम्ब्डा कैलकुलस बहुत अधिक सामान्य श्रेणी का एक छोटा सा हिस्सा है। (एक आंख के रूप में काफी यह एक अवधारणा की अवधारणा थी) मैं इस बारे में कुछ परिप्रेक्ष्य पाने के लिए इसके बारे में और पढ़ने की कोशिश कर रहा हूं।
मेरा प्रश्न है: लैंबडा कैलकुलस एक विशिष्ट प्रकार का टर्म राइटिंग सिस्टम कैसे है?