"लैम्ब्डा कैलकुलस" में "लैम्ब्डा" क्या है?


73

मैं हाल ही में लैम्ब्डा कैलकुलस के बारे में पढ़ रहा हूं, लेकिन अजीब तरह से मुझे इस बात का स्पष्टीकरण नहीं मिल पा रहा है कि इसे "लैम्ब्डा" क्यों कहा जाता है या यह अभिव्यक्ति कहां से आती है।

क्या कोई इस शब्द की उत्पत्ति की व्याख्या कर सकता है?

जवाबों:


82

एफ। कार्डोन और जेआर हिंडले (2006) द्वारा लैंबडा -कैलकुलस एंड कॉम्बिनेटर लॉजिक के इतिहास का एक अंश :

λx^x^xλλ


4
और लैम्ब्डा ग्रीक अक्षर "λ" का नाम प्रतीक के रूप में चुना गया है।
Thorbjørn रेवन एंडरसन

9

चर्च के छात्र डाना स्कॉट द्वारा इस पर कुछ अन्य फर्स्ट -हैंड जानकारी / एंगल दिया गया है, जैसा कि केवल घिका द्वारा रिपोर्ट किया गया है और एक यूट्यूब वीडियो में प्रलेखित है। [१]

वह कहते हैं कि जब चर्च से पूछा गया कि λ का अर्थ क्या है, तो उसने उत्तर दिया "ईनी, मीनी, मिन, मो।", जिसका केवल एक ही मतलब हो सकता है। यह एक यादृच्छिक, अर्थहीन विकल्प था। प्रो। स्कॉट ने दावा किया कि टाइपोग्राफिक मूल मिथक मुख्य रूप से हेंक बारेंड्रेग द्वारा प्रचारित किया गया था और यह केवल शुद्ध सनकी है। उन्होंने हमें इस मूर्खतापूर्ण कहानी को रोकने के लिए कहा।

[१] लैम्ब्डा नोटेशन / यूट्यूब पर डाना स्कॉट

[२] लैम्ब्डा कैलकुलस को क्यों नाम दिया गया है / math.SE

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.