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