मैंने पढ़ा है कि शुरू में चर्च ने -calculus को लॉजिस्टिक लॉजिक (जो कि एक सघन वाचन है) के अपने पोस्टुलेट्स के हिस्से के रूप में प्रस्तावित किया था । लेकिन क्लेन ने अपने "सिस्टम" को असंगत साबित कर दिया जिसके बाद, चर्च ने "प्रभावी कम्प्यूटेबिलिटी" पर अपने काम के लिए प्रासंगिक चीजों को निकाला और तर्क पर अपने पूर्व काम को छोड़ दिया।
इसलिए जैसा कि मैं इसे समझता हूं, तर्क के साथ कुछ करने के लिए -system और इसके अंकन ने कुछ के हिस्से के रूप में लिया । शुरू में चर्च क्या हासिल करने की कोशिश कर रहा था कि वह बाद में उससे दूर हो गया? Λ -calculus बनाने के शुरुआती कारण क्या थे ?