কোক দ্বারা গণ্যযোগ্য ফাংশনগুলির শ্রেণি


22

যেহেতু এটি নির্বিঘ্ন গণনার অনুমতি দেয় না, কাক অগত্যা টিউরিং-সম্পূর্ণ নয়। কক গণনা করতে পারে এমন ফাংশনগুলির শ্রেণি কী? (এটির একটি আকর্ষণীয় বৈশিষ্ট্য আছে?)

উত্তর:


18

বেঞ্জামিন ভার্নার জেডএফসির পারস্পরিক ব্যাখ্যাযোগ্যতার প্রমাণ দিয়ে গেছেন প্রচুর দুর্গম দুর্লভ এবং ক্যালকুলাস অফ ইন্ডুকটিভ কনস্ট্রাকশনস, তার পেপারে টাইপস টাইপস, টাইপস ইন টাইপস

এর অর্থ, মোটামুটিভাবে, যে কোনও ক্রিয়াকলাপ যা জেডএফসি-তে মোট হিসাবে অনেকগুলি দুর্গম অ্যাক্সেসযোগ্য রয়েছে তাকে মোট হিসাবে দেখানো যেতে পারে তাকে কোকায় সংজ্ঞায়িত করা যেতে পারে। সুতরাং আপনি যদি বৃহত কার্ডিনালগুলিতে কাজ করে না এমন সেট তাত্ত্বিক না হন তবে আপনি সম্ভবত যে কোনও গণনীয় ফাংশন কোক হিসাবে সংজ্ঞায়িত করতে পারবেন তা অসম্ভাব্য।


7
একজন কোকের দোভাষী ছাড়া ...
জুলাই

6
আসলে, আপনি কোকের অভ্যন্তরে একটি কোক ইন্টারপ্রেটার (প্রকৃতপক্ষে, স্বেচ্ছাচারিত সাধারণ পুনরাবৃত্ত ফাংশন) প্রয়োগ করতে পারেন । যদি সিআইসি সামঞ্জস্যপূর্ণ হয় তবে আপনি প্রমাণ করতে পারবেন না যে দোভাষী হ'ল মোট কাজ, তবে আপনি অবশ্যই এটি প্রয়োগ করতে পারবেন।
নীল কৃষ্ণস্বামী

2
Aνα.A+αcontexttermtypebool

1
@ নীল: তা প্রতারণা করছে। এবং একটি ভাল কারণের জন্য, অন্যথায় আমাদের কোনও অসঙ্গতি হবে।
আন্দ্রেজ বাউর

2
এটি প্রতারণা করছে কারণ মূল্যায়ন কার্যটি জিনিসগুলির মূল্যায়ন করার কথা , আপনাকে কোনও উত্তর দেয় না।
আন্দ্রেজ বাউর
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.