ইন টুরিং সম্পূর্ণতার উপর এই Wikipedia নিবন্ধটি যে বলে:
টাইপযুক্ত ল্যাম্বদা ক্যালকুলাস টিউরিং সম্পূর্ণ, তবে সিস্টেম এফ সহ অনেক টাইপ করা ল্যাম্বদা ক্যালকুলি নেই। টাইপ করা সিস্টেমগুলির মান আরও ত্রুটি সনাক্ত করার সময় বেশিরভাগ সাধারণ কম্পিউটার প্রোগ্রামগুলিকে উপস্থাপন করার দক্ষতার ভিত্তিতে তৈরি হয়।
মোট কম্পিউটারের ফাংশনটির একটি উদাহরণ যা সিস্টেম এফ দ্বারা আপত্তিজনক নয় ?
এছাড়াও, যেহেতু হিন্ডলে-মিলনার হ'ল:
সিস্টেম এফ এর একটি সীমাবদ্ধতা
কারণ এই যে:
সিস্টেম এফের কারি-শৈলীর বৈকল্পিকের জন্য টাইপ চেকিং অনস্বীকার্য, এটি হ'ল সুস্পষ্ট টাইপিং টীকাগুলির অভাব রয়েছে।
এর অর্থ কি লাম্বডা ক্যালকুলাস অন্তর্নিহিত হিন্ডলি-মিলার টাইপ সিস্টেমগুলি সম্পূর্ণরূপে ট্যুরিং করছে না?
যদি এটি সত্য হয়, যেহেতু হ্যাশেল স্পষ্টভাবে সম্পূর্ণরূপে সম্পূর্ণরূপে নিরাময় করছে এবং আমরা জানি যে এর ভিত্তি ল্যাম্বডা ক্যালকুলাস এবং হিন্ডলে-মিলার টাইপ সিস্টেম, ল্যাম্বডা ক্যালকুলাসে উপস্থিত না এমন কোন বৈশিষ্ট্যগুলি হ্যাশেল টুরিং সম্পূর্ণ করার জন্য যুক্ত করা হয়?
system T vs. system F
আমি এমন কিছু পেয়েছি যা আমার চূড়ান্ত অনুমানের জবাব দেয় যা এখানে পুনরায় বিকশিত হয়েছে: