উত্তর:
হ্যাঁ, চালের বাস্তবের জন্য ধানের উপপাদ্যটি গণনাযোগ্য রিয়েলগুলির প্রতিটি যুক্তিসঙ্গত সংস্করণ ধারণ করে।
আমি প্রথমে একটি নির্দিষ্ট উপপাদ্য এবং একটি তাত্পর্য প্রমাণ করব এবং পরে এটি কম্পিউটারে সামর্থ্যের সাথে কী করবে তা ব্যাখ্যা করব।
উপপাদ্য: ধরুন একটি মানচিত্র এবং দুটি বাস্তব যেমন এবং । তারপর অস্তিত্ব আছে একটি কোশি ক্রম যেমন যে জন্য সব ।পি:আর→{0,1}
প্রুফ। আমরা নীচে জোড় :
মান্য যে সবার জন্য :(yi,zi)i
সুতরাং ক্রমগুলি এবং এবং এগুলি একটি সাধারণ বিন্দুতে রূপান্তরিত হয় । যদি তবে আমরা , এবং যদি তবে আমরা । (yi)i
সংশ্লেষ: ধরুন এবং দুটি বাস্তব যেমন এবং । তারপরে প্রতিটি টিউরিং মেশিন হয় চিরতরে চলে বা এটি চিরকাল চলে না।p:R→{0,1}
প্রুফ।
উপপাদ্য দ্বারা, একটি কোশি ক্রম যেমন যে জন্য সব । সাধারণতার ক্ষতি ছাড়াই আমরা ধরে নিতে পারি যে এবং ।(xi)i
একটি ট্যুরিং মেশিন হতে দিন । by দ্বারা
একটি অনুক্রম সংজ্ঞা করুন
ক্রম ভালভাবে সংজ্ঞায়িত কারণ আমরা অনুকরণ করতে পারে পর্যন্ত পদক্ষেপ এবং সিদ্ধান্ত নেন তা বা যে অনেক পদক্ষেপ মধ্যে বন্ধ করে দিয়েছে না। এরপরে, পর্যবেক্ষণ করুন যে হ'ল একটি কচী ক্রম কারণ একটি কচী অনুক্রম (আমরা এটিকে অনুশীলন হিসাবে ছেড়ে দিই)। যাক । হয় বা :T
যদি তবে চিরতরে চলে। প্রকৃতপক্ষে, যদি এটি পদক্ষেপের পরে বন্ধ হয়ে যায় , তবে আমাদের কাছে , এবং তাই বিরোধিতা করবে ।p(z)=0
যদি তবে চিরকালের জন্য চলবে না। প্রকৃতপক্ষে, যদি এটি করা থাকে তবে আমাদের , এবং তাই , বিপরীতে ।
p(z)=1
এখন আমরা ব্যাখ্যা করতে পারি যে এটি কেন আমাদের সংখ্যার জন্য রাইসের উপপাদ্য দেয়। প্রমাণগুলি গঠনমূলক, অতএব তারা গণনীয় পদ্ধতিগুলি ফলন করে। এটি কম্পিউটারের যোগ্যতার কোনও মডেল এবং রিয়েলগুলির কোনও গণনা কাঠামোর ক্ষেত্রে সত্য that প্রকৃতপক্ষে, আপনি ফিরে যেতে পারেন এবং প্রোগ্রামটি তৈরির নির্দেশাবলী হিসাবে প্রমাণটি পড়তে পারেন - সমস্ত পদক্ষেপটি গুননীয়।
সুতরাং, যদি আমরা একটি গণনামূলক মানচিত্র এবং গণনযোগ্য যেমন এবং , তারপরে আমরা উপপাদ্যটির গঠনমূলক প্রমাণগুলি থেকে শুরু করে গণনাযোগ্য প্রক্রিয়াগুলি প্রয়োগ করতে পারি এবং হাল্টিং ওরাকল তৈরির জন্য একাদশই তৈরি করেছি। তবে হ্যালটিং ওরাকলটির অস্তিত্ব নেই, সুতরাং, প্রতিটি গণনামূলক মানচিত্র । ধ্রুবক।p:R→{0,1}
পরিপূরক: রাইসের উপপাদ্য বাস্তবের সংযোগের সাথে সম্পর্কিত কিনা তা নিয়েও একটি প্রশ্ন ছিল। হ্যাঁ, এটি মূলত বিবৃতি যে বাস্তবগুলি সংযুক্ত রয়েছে।
আসুন আমরা প্রথমে পর্যবেক্ষণ করি যে একটি অবিচ্ছিন্ন মানচিত্র the (আমরা on on তে পৃথক টপোলজি নিয়ে থাকি ) বিচ্ছিন্ন ক্লোপেনের এক জোড়া (বন্ধ এবং উন্মুক্ত) সেট করে যেমন । প্রকৃতপক্ষে, এবং । কারণ অবিচ্ছিন্ন এবং এবং open খোলা রয়েছে, এবং খোলা থাকবে, বিচ্ছিন্ন হবে এবং তারা স্পষ্টতই সমস্ত কভার করে । বিপরীতভাবে, কোন যুগল টুকরো করা clopens যে কভার একটি ক্রমাগত মানচিত্র নির্ধারণ করেp:X→{0,1}
এ থেকে আমরা শিখতে পারি যে একটি স্পেস সংযোগ বিচ্ছিন্ন থাকলে এবং কেবলমাত্র যদি সেখানে থাকে তবে একটি অবিচ্ছিন্ন মানচিত্র এবং মতো এবং (আমাদের এবং প্রয়োজন যাতে আমরা একটি ক্ষুদ্র ক্ষুদ্র পচন পেতে পারি )। একই কথা বলার আরেকটি উপায় রয়েছে: একটি স্পেস সংযুক্ত থাকে যদি এবং কেবলমাত্র, সমস্ত ক্রমাগত মানচিত্র constant ধ্রুবক থাকে।X
গণনীয় গণিতে আমাদের একটি মৌলিক উপপাদ্য রয়েছে: প্রতিটি গণনীয় মানচিত্র অবিচ্ছিন্ন । সুতরাং, যতক্ষণ না আমরা গণনাযোগ্য বস্তুর ক্ষেত্রের মধ্যে আছি, ততক্ষণ রাইসের উপপাদ্যটি বলে যে একটি নির্দিষ্ট স্থান সংযুক্ত রয়েছে। সর্বোত্তম রাইস ক্ষেত্রে উপপাদ্য এর প্রশ্নে স্থান আংশিক গণনীয় ফাংশন স্থান হয় ।N→N
না বা, অন্তত, প্রমাণটি তুচ্ছ নয়, যেহেতু আপনি বাস্তবের গণনা করার জন্য (সাধারণত অনেকগুলি) সম্ভাব্য উপায়গুলির মধ্যে বেছে নিতে পারেন এবং নির্বাচিত সম্পত্তির মোট কাঠামোযুক্ত কাঠামোর সাথে একটি বেছে নিতে সক্ষম হতে পারেন যাতে আপনি সম্পত্তিটি থামিয়ে সমস্যার পরীক্ষা করছেন না।
এছাড়াও, আমি মনে করি "নন্ট্রাইভিয়াল" অর্থ সংখ্যার বৈশিষ্ট্যগুলি বোঝার জন্য কীভাবে আমার আরও ভাল বোঝার দরকার। রাইসের উপপাদ্যের জন্য, "নন্ট্রাইভিয়াল" মূলত সিনট্যাকটিক নয় এবং সিনট্যাক্স দ্বারা বোঝানো হয় না। তবে প্রতিটি গণনাযোগ্য আসল সংখ্যা কোনও একক প্রোগ্রাম নয়, বরং প্রোগ্রামগুলিতে পূর্ণ সমতুল্য শ্রেণি।