लैम्ब्डा-कैलकुलस का बीटा-एटा-सिद्धांत पोस्ट-पूर्ण है। क्या अतिरिक्त नियमों को लैम्बडा-कैलकुलस के बीटा-सिद्धांत का विस्तार करने के लिए जोड़ा जा सकता है ताकि बीटा-एटा सिद्धांत के अलावा संगम सिद्धांत प्राप्त हो सकें?
परिशिष्ट भाग
इस प्रश्न ने मेरे स्वयं के नियम का उल्लंघन किया है कि प्रश्नों को स्पष्ट करना चाहिए कि प्रश्नकर्ता को परवाह क्यों है।
इसने मुझे एक रात को मारा, जब तक कि यह साइट निजी बीटा में नहीं चली गई, इससे पहले कि बहिर्मुखता और बहिष्कृत मध्य के सिद्धांत संबंधित हैं, एटा नियम कुछ प्रकार के बहुमुखी नियम हैं, और अंतर्ज्ञान और शास्त्रीय तर्क के बीच मध्यवर्ती लॉजिक हैं, तब यह दिलचस्प होगा यदि "मध्यवर्ती ईटा" सिद्धांतों के रूप में ऐसी कोई चीज थी।
अगर मैंने ऐसा किया है, तो यह स्पष्ट होता है कि मेरे द्वारा पूछे जाने के बजाय कि मैं क्या कर रहा था, इस सवाल का जवाब देने के तरीके में एक स्पष्ट समस्या उठती है।