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