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