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