2
একটি টাইপযুক্ত ল্যাম্বডা ক্যালকুলাস আছে যা সামঞ্জস্যপূর্ণ এবং ট্যুরিং সম্পূর্ণ?
কার্পে-হাওয়ার্ডের চিঠিপত্রের অধীনে সম্পর্কিত লজিকটি কি কোনও টাইপযুক্ত ল্যাম্বডা ক্যালকুলাস আছে এবং যেখানে প্রতিটি গণনীয় কার্যের জন্য টাইপযোগ্য ল্যাম্বডা এক্সপ্রেশন রয়েছে? এটি স্বীকৃতভাবে একটি অনর্থক প্রশ্ন, "টাইপড ল্যাম্বদা ক্যালকুলাস" এর একটি সংক্ষিপ্ত সংজ্ঞা নেই। আমি মূলত ভাবছি যে কিনা (ক) এর পরিচিত উদাহরণ রয়েছে, বা (খ) এই অঞ্চলে কোনও কিছুর …