থামানো সমস্যার অনস্বীকার্যতার উপর ভিত্তি করে গডেলের প্রথম অসম্পূর্ণতা উপপাদ্যটির জন্য কী রেফারেন্স রয়েছে?

Question

গডেলের প্রথম অসম্পূর্ণতা উপপাদ্যের একটি দুর্বল রূপ, গডেলের পদ্ধতিতে লম্বা, জড়িত এবং কোথাও পরিবর্তে স্বজ্ঞাত হবার প্রত্যক্ষ প্রমাণগুলির মধ্যে থামানো সমস্যার অনস্বীকার্যতার উপর ভিত্তি করে একটি সহজ এবং স্বজ্ঞাত প্রমাণ রয়েছে - উদাহরণস্বরূপ https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof

কে এই প্রবন্ধটি প্রথম প্রস্তাব করেছিল এবং কোন নিবন্ধ বা বইতে এটি প্রথম প্রকাশিত হয়েছে?

Answer 1

আমি বিশ্বাস করি যে এই সংযোগের কিছু সংস্করণ ট্যুরিংয়ের সামঞ্জস্য কাগজের সাথে সামঞ্জস্যতার সাথে আবদ্ধ হতে পারে ।

যথা, টুরিং নিম্নলিখিত দুটি দাবি করে:

1. "অধ্যায় 8 এর ফলাফলগুলির কয়েকটি গুরুত্বপূর্ণ প্রয়োগ রয়েছে have
2. "গডেল যা দেখিয়েছেন তা যদি প্রত্যাখ্যান করে প্রমাণিত হয়েছিল, অর্থাত্ যদি প্রত্যেকের জন্য $U$ পারেন $U$ অথবা $\neg U$ প্রমাণযোগ্য, তারপরে আমাদের এন্টেসিডংস্প্রোব্লেমের তাত্ক্ষণিক সমাধান হওয়া উচিত। "

আমি বিশ্বাস করি, উপসংহারটি মডাস টোলেন্স থেকে অনুসরণ করা হয়েছে।