যেহেতু উভয় প্রমাণই তির্যক যুক্তি ব্যবহার করে, তাই আমি ভাবছি যে অগণিত সীমাহীন সেটগুলির উপস্থিতি এবং থামানো সমস্যার অনস্বীকার্যতার মধ্যে কোনও অস্পষ্ট লিঙ্ক আছে কিনা। সমস্ত সেট গণনাযোগ্য হলে কি থামানো সমস্যাটি সিদ্ধান্তযোগ্য?
10
হ্যাঁ, তির্যক তর্ক!
—
মাহদী চেরাগচি
@ এমসিএইচ আমার ধারণা ছিল যে তির্যক যুক্তি ছাড়াও একটি আলাদা বৈশিষ্ট্য থাকতে পারে যা উভয়কেই সংযুক্ত করে। এই প্রশ্নটি সম্ভবত এসই এর জন্য খুব ঝাপসা।
—
লেনার হোয়েট
এটি একটি আংশিক লিঙ্ক হতে পারে: স্পষ্টতই, বর্ণিত বর্ণমালার উপরে সমস্ত ভাষার সেট অগণনীয়। তবে সমস্ত টিউরিং মেশিনের সেট গণনাযোগ্য। এটি সরাসরি অনস্বীকার্য সমস্যার অস্তিত্ব বোঝায়। যাইহোক, এই যুক্তি থামানো সমস্যা সম্পর্কে কিছুই বোঝায় না।
—
042
জেডএফসির অবশ্যই সেট-তাত্ত্বিক মডেল রয়েছে যেখানে সমস্ত সেট গণনাযোগ্য (যদিও এটি মডেলের মধ্যে নেই) তবে থামার সমস্যাটি সর্বদা অনস্বীকার্য। দেখুন এই MathOverflow প্রশ্ন ।
—
পিটার শর
অনুগ্রহ করে দয়া করে এখন থেকে অনির্দিষ্টতা বলুন।
—
বিজয় ডি