টুরিং মেশিনে Geldelization


12

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

উত্তর:


18

কম্পিউটার সায়েন্সে গুডেল নাম্বারটির অর্থ কমবেশি "উত্স কোড" এবং "বাইনারি ফর্ম্যাটে ডেটা" রয়েছে, তাই আমি আশা করি যে এটির তাত্পর্য অবশ্যই স্পষ্ট হওয়া উচিত যদি আমি আপনাকে বোঝাতে পারি যে এটি সত্যিই তাই।

আধুনিক কম্পিউটারগুলি অস্তিত্বে আসার আগে লোকেরা একক-উদ্দেশ্যমূলক কম্পিউটিং ডিভাইসগুলি তৈরি করেছিল (আমি আপনাকে একটি গল্প বলছি, ইতিহাস নয়), উদাহরণস্বরূপ কেউ গণনার জন্য একটি যন্ত্র তৈরি করেছিলেন , এবং অন্য কেউ বেসেল ফাংশন গণনা করার জন্য একটি মেশিন তৈরি করেছিলেন। টুরিংয়ের আসল অন্তর্দৃষ্টিটি ছিল আমাদের কেবলমাত্র একটি মেশিন ( সর্বজনীন ) তৈরি করতে হয়েছিল , যা কোনও মেশিনের বর্ণনা হিসাবে ইনপুট হিসাবে নিয়েছিল এবং এটি অনুকরণ করে। তবে "মেশিনের বর্ণনা" কী? একজন প্রকৌশলী সার্কিট ডিজাইন এবং সমাবেশ নির্দেশাবলী সম্পর্কে ভাবতে পারেন। তবে এটি খুব জটিল এবং সহজে কোনও মেশিনের কাছে উপস্থাপন করা যায় না। এবং সম্ভবত আরও জটিল মেশিনগুলির জন্য আরও জটিল বিবরণ প্রয়োজন?arctan

আমাদের যতটা সম্ভব সহজ মেশিনগুলি বর্ণনা করার একটি উপায় প্রয়োজন। এখানে গডেলের ধারণাটি গুরুত্বপূর্ণ ছিল: তিনি টুরিংয়ের কয়েক বছর আগে দেখিয়েছিলেন যে যুক্তির সমস্ত ধরণের জিনিস (সূত্র, প্রমাণ) সংখ্যার সাথে এনকোড করা যেতে পারে, এবং তার পরে পাটিগণিতের মধ্যে ম্যানিপুলেট করা যেতে পারে। আমরা ট্যুরিং মেশিনগুলির সাথে একই রকম কৌশল করতে পারি: একটি টেপে চিহ্নগুলির একটি স্ট্রিং (উদাহরণস্বরূপ 'গুলি এবং ' গুলি) সহ প্রোগ্রামটি, বর্তমান অবস্থা এবং এখন পর্যন্ত ব্যবহৃত টেপগুলির সামগ্রীগুলি এনকোড করুন এবং তারপরে টুরিং মেশিনের সাহায্যে স্ট্রিংটি ব্যবহার করুন।101

অনুশীলনে আমরা এবং এর ক্রমগুলি যখন প্রোগ্রাম করি তখন লিখি না । আমরা এনকোডিংয়ের আরেকটি স্তর ব্যবহার করি এবং "উত্স কোড" লিখি যা সংকলকগণ দ্বারা 'র এবং এর ("মেশিন কোড") তে অনুবাদ হয়। কিন্তু আসলে প্রথম দিকে কম্পিউটার বিজ্ঞানীরা করেনি লিখে 's এবং সরাসরি আলোকসম্পাতের সুইচ দ্বারা' s। এটি ছিল শুদ্ধ রূপে গুডেলাইজেশন।1 0 1 0 1010101

বাস্তবে আমরা নামে পরিচিত ফরম্যাটের বিভিন্ন প্রোগ্রাম এবং তথ্য উপস্থাপন .java, .py, .mp3, .jpgকারণ তারা আরো সহজে গণিত মধ্যে কাজে ব্যবহৃত হয়, ইত্যাদি যুক্তিবিজ্ঞান এবং মানুষের কম্পিউটিং এর তত্ত্ব ভাল পুরানো সংখ্যার লাঠি পছন্দ।

আজকাল সকলেই জানেন যে "কম্পিউটারগুলি এর এবং 'এর শর্তে সমস্ত কিছু করে "। এই সত্যটি এতটাই পরিচিত হয়ে উঠেছে যে এর মুলত্বের প্রশংসা করা শক্ত। বহু বছর আগে, যখন কোনও আধুনিক কম্পিউটারের অস্তিত্ব ছিল না, এটি স্পষ্টভাবে দূরে ছিল যে মেশিন, পাঠ্য, সংগীত, ছবি এবং চলচ্চিত্রগুলি সমস্ত সংখ্যার সাথে এনকোড করা যেতে পারে, বা এবং এর সিকোয়েন্সগুলি ।1 0 10101


এটি অত্যন্ত পরিষ্কার। আমি এগুলিতে কিছু প্রযুক্তিগত উপকরণ কোথায় পেতে পারি?
ব্যবহারকারী5507

"এইগুলিতে" কী বোঝায়?
আন্দ্রেজ বাউর

আমার অস্পষ্ট ইংরেজি জন্য দুঃখিত। আমি ট্যুরিং মেশিনে গডেলাইজেশন সম্পর্কিত প্রমাণযুক্ত কিছু সামগ্রী খুঁজছিলাম। আপনি কি দয়া করে এখানে গডেল নাম্বারটির তাৎপর্য সম্পর্কে আমাকে বলতে পারেন। (একটি সংখ্যা থেকে একটি ক্রম তৈরি করা হচ্ছে)
ব্যবহারকারীর 5050

মার্টিন ডেভিসের বই "কমপ্যুটেবিলিটি অ্যান্ড আনসোলভ্যাবিলিটি" টুরিং মেশিনগুলির একটি খুব বিশদ চিকিত্সা রয়েছে, সম্ভবত আপনি এটি খুঁজছেন। আপনি কী জিজ্ঞাসা করছেন তা আমি নিশ্চিত নই।
আন্দ্রেজ বাউয়ার
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.