অস্তিত্বের অগণিত সেট এবং থামার সমস্যার অনিশ্চয়তার মধ্যে কি কোনও লুকানো লিঙ্ক রয়েছে?


9

যেহেতু উভয় প্রমাণই তির্যক যুক্তি ব্যবহার করে, তাই আমি ভাবছি যে অগণিত সীমাহীন সেটগুলির উপস্থিতি এবং থামানো সমস্যার অনস্বীকার্যতার মধ্যে কোনও অস্পষ্ট লিঙ্ক আছে কিনা। সমস্ত সেট গণনাযোগ্য হলে কি থামানো সমস্যাটি সিদ্ধান্তযোগ্য?


10
হ্যাঁ, তির্যক তর্ক!
মাহদী চেরাগচি

1
@ এমসিএইচ আমার ধারণা ছিল যে তির্যক যুক্তি ছাড়াও একটি আলাদা বৈশিষ্ট্য থাকতে পারে যা উভয়কেই সংযুক্ত করে। এই প্রশ্নটি সম্ভবত এসই এর জন্য খুব ঝাপসা।
লেনার হোয়েট

4
এটি একটি আংশিক লিঙ্ক হতে পারে: স্পষ্টতই, বর্ণিত বর্ণমালার উপরে সমস্ত ভাষার সেট অগণনীয়। তবে সমস্ত টিউরিং মেশিনের সেট গণনাযোগ্য। এটি সরাসরি অনস্বীকার্য সমস্যার অস্তিত্ব বোঝায়। যাইহোক, এই যুক্তি থামানো সমস্যা সম্পর্কে কিছুই বোঝায় না।
042

9
জেডএফসির অবশ্যই সেট-তাত্ত্বিক মডেল রয়েছে যেখানে সমস্ত সেট গণনাযোগ্য (যদিও এটি মডেলের মধ্যে নেই) তবে থামার সমস্যাটি সর্বদা অনস্বীকার্য। দেখুন এই MathOverflow প্রশ্ন
পিটার শর

4
অনুগ্রহ করে দয়া করে এখন থেকে অনির্দিষ্টতা বলুন।
বিজয় ডি

উত্তর:


14

এটি কোনও লুকানো লিঙ্ক নয়, তবে এটি একটি বিভাগের তত্ত্বের ভাষা এবং স্পষ্টভাবে জিজ্ঞাসা এবং অধ্যয়ন করার জন্য একটি প্রাকৃতিক প্রশ্ন ব্যবহার করে স্পষ্টভাবে তৈরি করা হয়েছে। বিষয়টিতে মোটামুটি পরিমাণ উপাদান রয়েছে।

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