আমি জানি যে সিদ্ধান্তহীন ল্যাম্বদা ক্যালকুলাসের জন্য প্রয়োজনীয়তা নির্ধারণ করা অসম্ভব । বেরেনড্রেগট, এইচপি দ্য ল্যাম্বদা ক্যালকুলাস: এর সিনট্যাক্স এবং শব্দার্থবিজ্ঞানের উদ্ধৃতি দিয়ে । উত্তর হল্যান্ড, আমস্টারডাম (1984) :
যদি এ এবং বি দ্বিধাগ্রস্ত হয় তবে ল্যাম্বডা শর্তাদির অকাট্য সেট যা সাম্যের অধীনে বন্ধ থাকে, তবে A এবং B পুনরাবৃত্তভাবে অবিচ্ছেদ্য হয়। এটি অনুসরণ করে যে যদি A সমানতার অধীনে বন্ধ হওয়া ল্যাম্বডা শর্তাদির একটি অনানুষ্ঠানিক সেট হয়, তবে এ পুনরাবৃত্ত হয় না। সুতরাং, আমরা "এম = এক্স" সমস্যাটি স্থির করতে পারি না? কোনও নির্দিষ্ট এম এর জন্যও এটি অনুসরণ করে যে ল্যাম্বার কোনও পুনরাবৃত্ত মডেল নেই।
যদি আমাদের সিস্টেম এফ-এর মতো একটি নরমালাইজেশন সিস্টেম থাকে তবে আমরা প্রদত্ত দুটি শর্ত হ্রাস করে এবং যদি তাদের স্বাভাবিক ফর্মগুলি একই হয় বা না হয় তার সাথে তুলনা করে outside প্রয়োজনীয়তা "বাইরে থেকে" সিদ্ধান্ত নিতে পারি । তবে, আমরা কি এটি "ভিতরে থেকে" করতে পারি? সিস্টেম-এফ কম্বিনেটর মতো আছে যে দুটি কম্বিনেটর এবং আমাদের যদি এবং এর একই স্বাভাবিক ফর্ম থাকে, এবং অন্যথায় ?? অথবা এটি কমপক্ষে কিছু এর জন্য করা যেতে পারে ? একটি সমন্বয়কারী করতে যাতে সত্য হয় যদিই এম এন ই এম এন = সত্য এম এন ই এম এন = মিথ্যা এম ই এম ই এম এন এন ≡ β এম? তা না হলে কেন?