আকর্ষণীয় শিরোনামের জন্য দুঃখিত। আমি বুঝতে চাই, চার্চ-টিউরিং থিসিসকে অস্বীকার করার জন্য আমাদের কী করা উচিত? কোথাও আমি পড়েছি এটি করা গাণিতিকভাবে অসম্ভব! কেন?
ট্যুরিং, রোজার ইত্যাদি বিভিন্ন শর্তাদি ব্যবহার করে: "কী গুনা যায়" এবং "কী ট্যুরিং মেশিন দ্বারা গুণা যায়" between
এ সম্পর্কে ট্যুরিংয়ের ১৯৩৯ সালের সংজ্ঞাটি হ'ল: "আমরা কোনও মেশিন দ্বারা গণ্যযোগ্য ফাংশনকে বোঝাতে" গণনাযোগ্য ফাংশন "ব্যবহার করব এবং এই সংজ্ঞাগুলির কোনওটির সাথেই নির্দিষ্ট পরিচয় ছাড়াই স্বজ্ঞাত ধারণাটি" কার্যকরভাবে গণনাযোগ্য "হিসাবে উল্লেখ করব"।
সুতরাং, চার্চ-টিউরিং থিসিসটি নিম্নরূপ বলা যেতে পারে: প্রতিটি কার্যকরভাবে গণনাযোগ্য ফাংশন একটি গণনীয় ফাংশন।
সুতরাং আবার, প্রমাণটি কেমন হবে যদি কেউ এই অনুমানটিকে অস্বীকার করে?