চার্চ-টিউরিং থিসিসে বলা হয়েছে যে শারীরিকভাবে গুণ করা যায় এমন সমস্ত কিছুই একটি ট্যুরিং মেশিনে গণনা করা যায়। "নিউরাল নেটওয়ার্কগুলির মাধ্যমে অ্যানালগ গণনা" (সিগেলম্যান এবং সোনট্যাগ , তাত্ত্বিক কম্পিউটার বিজ্ঞান , 131: 331–360, 1994; পিডিএফ ) দাবি করেছে যে নির্দিষ্ট ফর্মের একটি নিউরাল নেট (সেটিংস কাগজে উপস্থাপন করা হয়েছে) আরও শক্তিশালী। লেখকরা বলছেন যে, ক্ষতিকারক সময়ে, তাদের মডেল এমন ভাষা চিনতে পারে যেগুলি ট্যুরিং মেশিনের মডেলটিতে আপত্তিজনক নয়।
এটি কি চার্চ-টিউরিং থিসিসের বিরোধিতা করে না?
উত্তর:
না, এটি এখনও চার্চ-টিউরিং থিসিসের সাথে সামঞ্জস্যপূর্ণ, তাদের মডেলটি আসল আসল সংখ্যার সাথে সজ্জিত হয় ( স্বেচ্ছাসেবী উপাদান হিসাবে ), যা প্রায় অবিলম্বে একটি টুরিং মেশিনের বাইরে শক্তি প্রসারিত করে। প্রকৃতপক্ষে, ১.২.২ শিরোনামটি হ'ল "(গণনাযোগ্য নয়) আসল ওজনের অর্থ", যেখানে তারা আলোচনা করেন যে কেন তাদের মডেলটি অ-গুণনীয় উপাদানগুলি অন্তর্ভুক্ত করতে নির্মিত is
প্রকৃতপক্ষে গণনার অনেকগুলি মডেল রয়েছে যা ট্যুরিং মেশিনের (কিউভি হাইপারকম্পিউটেশন ) পাওয়ার চেয়ে বেশি । ক্যাচটি হ'ল এগুলির কোনওটি দৃশ্যত বাস্তব বিশ্বে নির্মিত হতে পারে না (তবে সম্ভবত বিশ্বে - দুঃখিত, প্রতিরোধ করতে পারেনি)।
লুকের উত্তরে কিছুটা প্রসারিত করার জন্য , যে কোনও ভাষা সমাধানের জন্য শারীরিকভাবে একটি নিউরাল নেট তৈরির জন্য অনন্তকালীন সুনির্দিষ্ট প্রতিরোধের ইত্যাদির সাথে বৈদ্যুতিন উপাদান তৈরি করা প্রয়োজন। একাধিক উপায়ে এটি সম্ভব নয়:
আপনি ঠিক রোধ তৈরি করতে পারবেন না
তাপমাত্রা এবং প্রতিরোধকের মধ্য দিয়ে প্রবাহিত বর্তমানের সাথে প্রতিরোধের পরিবর্তনগুলি তার তাপমাত্রা পরিবর্তন করবে।
এমনকি আপনি যদি মনে করেন যে আপনি এমন একটি বৈদ্যুতিন ইঞ্জিনিয়ার / যাদুকর জানেন যা আপনার পছন্দসই সঠিক মানের প্রতিরোধক তৈরি করতে পারে এবং এটি তাপমাত্রার সাথে প্রতিরোধের পরিবর্তন না করে, একটি মেশিন সেট আপ করতে না পারার ক্ষেত্রে একটি সিদ্ধান্তহীন ভাষা সিদ্ধান্ত নিতে অসমর্থনীয় প্রতিরোধের মানগুলির প্রয়োজন হবে। সুতরাং কোনও উপায় নেই যা আপনি আপনার বৈদ্যুতিন প্রকৌশলী / যাদুকরকে বলতে পারবেন যে আপনার প্রতিরোধের মূল্যটি কী প্রয়োজন।
সুতরাং, যদিও, নীতিগতভাবে, এই মেশিনগুলি যে কোনও ভাষা সিদ্ধান্ত নিতে পারে, তারা চার্চ টুরিং লঙ্ঘন করে না কারণ এগুলি শারীরিকভাবে তৈরি করা যায় না।
আপনি কিছু নিয়ম-আইন ব্যবস্থায় জড়িত থাকতে পারেন এবং দাবি করতে পারেন যে কেউ আপনাকে এই মেশিনগুলির মধ্যে একটি তুলে দিতে পারে এবং বলতে পারেন, "আরে, দেখুন এই মেশিনটি থামানো সমস্যা সমাধানের জন্য ঠিক সঠিক প্রতিরোধের মান রয়েছে!" যাইহোক, তাদের কাছে এই দাবি প্রমাণ করার কোনও উপায় নেই, যেহেতু তারা উপাদানগুলি অসীম নির্ভুলতার সাথে পরিমাপ করতে পারবেন না, তাই তারা ন্যায়সঙ্গততার সাথে দাবি করতে পারেন যে সেরাটি হ'ল "আমি এটি ইনপুটগুলির কিছু সীমাবদ্ধ সেটায় পরীক্ষা করেছি এবং এটি স্থগিত হওয়া সমস্যার সঠিক সিদ্ধান্ত নিয়েছে decided যারা ইনপুট। " হ্যাঁ, থামার সমস্যার যে কোনও সীমাবদ্ধ সাবসেট ইতিমধ্যে টুরিং-ডিসিডেবল তাই এটি উত্তেজনাপূর্ণ কিছুই নয়।