আমরা "একই মান" হিসাবে বিবেচনা করি তাতে কিছুটা স্বাধীনতা আছে। আমাকে দেখাতে দিন যে "একই মান" এর অর্থ "পর্যবেক্ষণের সমতুল্য" হলে এরকম কোনও অ্যালগরিদম নেই। আমি নির্মাণের ক্যালকুলাসের একটি টুকরো ব্যবহার করব, যথা গডেলের সিস্টেম টি (কেবল টাইপ করা -ক্যালকুলাস, প্রাকৃতিক সংখ্যা এবং তাদের উপর আদিম পুনরাবৃত্তি), সুতরাং যুক্তিটি ইতিমধ্যে অনেক দুর্বল ক্যালকুলাসের ক্ষেত্রে প্রযোজ্য।λ
একটি নম্বর দেওয়া যাক ¯ এন সংশ্লিষ্ট সংখ্যা এটা প্রতিনিধিত্বমূলক, অর্থাত্ হও, এন অ্যাপ্লিকেশন গুলি তোমার দর্শন লগ করা গ গ করতে 0 । প্রদত্ত টুরিং mahcine এম যাক ⌈ এম ⌉ হতে সংখ্যা এনকোডিং এম কিছু যুক্তিসংগত উপায়।nn¯¯¯nsucc0M⌈M⌉M
বলে যে দুই বদ্ধ পদ করছে সমতুল্য , লিখিত টি ≃ তোমার দর্শন লগ করা , যখন সবার জন্য এন ∈ এন , টিt,u:nat→natt≃un∈N এবংstn¯¯¯ উভয়ই একই অঙ্কে স্বাভাবিক হয় (তারা একটি সংখ্যায় স্বাভাবিক হয় কারণ আমরা দৃ strongly়ভাবে স্বাভাবিককরণের ক্যালকুলাসে আছি)।sn¯¯¯
মনে করুন আমাদের কাছে একটি অ্যালগরিদম রয়েছে, যা টাইপ বদ্ধ শব্দ দিয়েছে একটি টি → n একটি টি ন্যূনতম সমতুল্য পদ গণনা করে। তারপরে আমরা নীচে হ্যালটিং ওরাকলটি সমাধান করতে পারি।nat→nat
একটা শব্দ যেমন যে, সব জন্য এন ∈ এন এবং সমস্ত টুরিং মেশিন এম ,
এস ( ⌈ এম ⌉ , ¯ এন ) থেকে normalizes ¯ 1 যদি টি মধ্যে স্থগিত এন পদক্ষেপ , এবং এটি অন্যথায় normal 0 এ স্বাভাবিক হয় । এই ভাল পরিচিত, পদক্ষেপ একটি নির্দিষ্ট সংখ্যার জন্য একটি টুরিং মেশিন সিমুলেশন থেকে এন আদিম রিকার্সিভ হয়।S:nat×nat→natn∈NMS(⌈M⌉,n¯¯¯)1¯¯¯Tn0¯¯¯n
চূড়ান্তভাবে অনেক বন্ধ শর্তাদি যা ন্যূনতম পদগুলি λ x : n a t এর সমান ।Z1,…,Zk । আমাদের কম অ্যালগরিদম তাদের মধ্যে একজন ফেরৎ যখন আমরা এটা দিতে λ এক্স : এন একটি টন ।λx:nat.0 , এবং এটি এমনও হতে পারে যে λ x : n a t ।λx:nat.0 আসলে এই জাতীয় ন্যূনতম শব্দ। সকল এই ব্যাপার না, বিষয় finitely অনেক সংক্ষিপ্ত পদগুলি সমতুল্য হয় আছে শুধুমাত্র জিনিস যে λ এক্স : এন একটি টন ।λx:nat.0 ।λx:nat.0
এখন, যে কোনও মেশিন দেওয়া হয়েছে , u : = λ x : n a t শব্দটি বিবেচনা করুন
।M
তাহলে এম চিরকাল তারপর রান তোমার দর্শন লগ করা ¯ এন করতে normalizes ¯ 0 প্রত্যেক জন্য এন এবং সমতূল্য λ এক্স : এন একটি টন ।
u:=λx:nat.S(⌈M⌉,x)
Mun¯¯¯0¯¯¯n ।
এম চিরকালের জন্য চালিত হয়কিনা তা স্থির করার জন্য, আমরা
আপনাকে আমাদের মিনিমাইজেশন অ্যালগরিদমগুলিতেফিড করবএবং পরীক্ষা করব যে অ্যালগরিদম
জেড 1 , … , জেড কে এর মধ্যে একটি পেয়েছে কিনা। যদি তা হয় তবে
এম চিরকালের জন্য চালায়। যদি তা না হয়, তবে এটি বন্ধ হয়ে যায়। (দ্রষ্টব্য: অ্যালগরিদমের
জেড 1 , … , জেড কে নিজেইগণনা করার দরকার নেই, এগুলিকে অ্যালগোরিদমে কঠোর কোড করা যেতে পারে))
λx:nat.0MuZ1,…,ZkMZ1,…,Zk
এটি চমৎকার হবে একটি আর্গুমেন্ট যে সমানতা একটি দুর্বল ধারণা সঙ্গে কাজ করে দৃষ্টান্ত ঠিক জানেন যে হবে -reducibility।β