প্রথমত, এটি মনে রাখা জরুরী যে টিউরিং মেশিনগুলি প্রাথমিকভাবে টুরিং দ্বারা তৈরি করা হয়েছিল কোনও ধরণের শারীরিকভাবে উপলব্ধিযোগ্য কম্পিউটারের মডেল হিসাবে নয় বরং একটি পদক্ষেপে মেকানিকালে মানব গণনার দ্বারা গণনীয় কিসের আদর্শ সীমা হিসাবে নির্মিত হয়েছিল? পদ্ধতি (অন্তর্দৃষ্টি কোন ব্যবহার ছাড়াই)। এই পয়েন্টটি ব্যাপকভাবে ভুল বোঝাবুঝি করা হয়েছে - এটি এবং সম্পর্কিত বিষয়গুলির উপর একটি চমৎকার প্রদর্শনের জন্য [1] দেখুন।
তার ট্যুরিং মেশিনগুলির জন্য ট্যুরিং দ্বারা সজ্জিত সুনির্দিষ্ট সীমাবদ্ধতাগুলি মানব সংবেদক যন্ত্রের সীমাবদ্ধতার উপর ভিত্তি করে। শারীরিকভাবে উপলব্ধিযোগ্য কম্পিউটিং ডিভাইসগুলিতে টুরিংয়ের বিশ্লেষণগুলির সাধারণীকরণ (এবং চার্চ-টুরিং থিসগুলি) রবিন গ্যান্ডির কারণে - পরে পদার্থবিদ্যার আইনগুলির উপর ভিত্তি করে সীমাবদ্ধতার পরে আসে নি। যেমন ওডিফ্রেডি পি তে বলেছেন [২] এর ৫১ (শাস্ত্রীয় পুনরাবৃত্তি তত্ত্বের বাইবেল)
টুরিং মেশিনগুলি তাত্ত্বিক ডিভাইস, তবে শারীরিক সীমাবদ্ধতার দিকে নজর রেখে ডিজাইন করা হয়েছে। বিশেষত, আমরা আমাদের মডেল বিধিনিষেধগুলি অন্তর্ভুক্ত করে এসেছি:
(ক) এটিএমআইএসএম, মেশিনের যে কোনও কনফিগারেশনে (সীমাবদ্ধ সিস্টেম হিসাবে) কোডের পরিমাণ তথ্য সীমাবদ্ধ তা নিশ্চিত করে; এবং
(খ) দূরত্বের ক্রিয়াগুলি বাদ দিয়ে এবং কার্যকারিত প্রভাব স্থানীয় যোগাযোগের মাধ্যমে প্রচার করে আত্মবিশ্বাস। গাণ্ডি [১৯৮০] দেখিয়েছেন যে ট্যুরিং মেশিনের ধারণাটি সুনির্দিষ্টভাবে বিবেচনা করার জন্য যথেষ্ট পরিমাণে সাধারণ, কোনও কম্পিউটিং ডিভাইস একই সীমাবদ্ধতা সন্তুষ্ট করে।
এবং পি। 107: (পৃথক পৃথক, নির্বাহী ডিভাইসগুলির একটি সাধারণ তত্ত্ব)
বিশ্লেষণ (চার্চ [1957], কোলমোগোরভ এবং উসপেনস্কি [1958], গ্যান্ডি [1980]) পরমাণুবাদ এবং আপেক্ষিকতার অনুমান থেকেই শুরু হয়। প্রাক্তন সীমিত মাত্রার মৌলিক কণার সীমাবদ্ধ সীমানায় পদার্থের কাঠামোকে হ্রাস করে এবং এভাবে কোনও মেশিনকে মৌলিক উপাদানগুলির একটি সেটে ভেঙে দেওয়ার তাত্ত্বিক সম্ভাবনাকে ন্যায্যতা দেয়। পরেরটি কার্যকারক পরিবর্তনের প্রচারের গতিতে একটি উপরের বাউন্ড (আলোর গতি) চাপিয়ে দেয় এবং এইভাবে অঞ্চল V দ্বারা সীমাবদ্ধ অঞ্চলে তাত্ক্ষণিকভাবে উত্পাদিত কার্যকারণ প্রভাব হ্রাস করার তাত্ত্বিক সম্ভাবনাকে ন্যায্যতা দেয় ies যার পয়েন্টগুলি ভিটামিনের কিছুটা দূরত্বে সি * টি এর মধ্যে রয়েছে অবশ্যই, অনুমানগুলি অ্যাকাউন্টগুলিতে গ্রহণ করে না যা ধারাবাহিক, বা যা সীমাহীন অ্যাকশন-অ-দুরত্বকে (নিউটোনীয় মহাকর্ষীয় সিস্টেমের মতো) মঞ্জুরি দেয়।
গান্ডির বিশ্লেষণ থেকে দেখা যায় যে আচরণগুলি স্বতঃস্ফূর্তভাবে নির্ধারিত যেকোনও ডিভাইসটির পক্ষে সম্ভাব্য কনফিগারেশনগুলিতে (এই অর্থে যে উভয় উপাদান থেকে ধারণাগত গঠনের স্তর এবং কোনও কাঠামোগত অংশে উপাদানগুলির সংখ্যা যে কোনও কনফিগারেশন, আবদ্ধ হয়), এবং স্থানীয় এবং গ্লোবাল অ্যাকশনগুলির জন্য নির্দেশাবলীর সুনির্দিষ্ট সংক্ষিপ্ত বিবরণ (কাঠামোগত অংশগুলিতে কোনও ক্রিয়নের প্রভাব কীভাবে নির্ধারণ করা যায়, স্থানীয় প্রভাবগুলি কীভাবে একত্রিত করা যায় তা পরবর্তীভাবে বলা হয়) তদ্ব্যতীত, বিশ্লেষণটি এই অর্থে সর্বোত্তম যে সুনির্দিষ্টভাবে তৈরি করা হলে, শর্তগুলির কোনও শিথিলকরণ যে কোনও আচরণের সাথে সামঞ্জস্য হয় এবং এটি পুনরাবৃত্ত আচরণের পর্যাপ্ত এবং প্রয়োজনীয় বিবরণ সরবরাহ করে।
গান্ডির বিশ্লেষণ ট্যুরিং মেশিনের শক্তি এবং সীমাবদ্ধতা সম্পর্কে খুব আলোকিত দৃষ্টিভঙ্গি দেয়। এই বিষয়গুলি সম্পর্কে আরও অন্তর্দৃষ্টি অর্জন করার জন্য এটি পড়া ভাল। আগেই জেনে থাকুন যে গান্ডির ১৯৮০ এর কাগজ [৩] এমনকি কিছু জ্ঞানীয় সেনসি দ্বারা এটি কঠিন হিসাবে বিবেচিত হয়েছে। জে শেফারডসন এবং এ। মাকোভস্কির রচনাগুলি [4] এ প্রথম কাগজপত্রটি অনুভব করা আপনার পক্ষে সহায়ক হতে পারে।
[1] সিয়েগ, উইলফ্রিড। যান্ত্রিক পদ্ধতি এবং গাণিতিক অভিজ্ঞতা। [গণিত এবং মনের পৃষ্ঠা- 71--117। এমাহার্স্ট, ম্যাসাচুসেটস, এ্যামেরেস্ট কলেজ, এপ্রিল 5-7, 1991 এ অ্যামেস্টেস্ট কলেজে গণিতের দর্শন বিষয়ক সম্মেলন থেকে প্রাপ্ত কাগজপত্র। আলেকজান্ডার জর্জ দ্বারা সম্পাদিত। লজিক কম্পিউট। ফিলোস।, অক্সফোর্ড ইউনিভ। প্রেস, নিউ ইয়র্ক, 1994. আইএসবিএন: 0-19-507929-9 এমআর 96 মি: 00006 (পর্যালোচক: স্টুয়ার্ট শাপিরো) 00A30 (01A60 03A05 03D20)
[2] ওডিফ্রেডি, পিয়ারজিওরজিও। ধ্রুপদী পুনরাবৃত্তি তত্ত্ব।
কার্যকারিতা এবং প্রাকৃতিক সংখ্যার সেট তত্ত্ব। জিই স্যাকস এর একটি পূর্বানুমান সহ। যুক্তিতে অধ্যয়ন এবং গণিতের ফাউন্ডেশন, 125. নর্থ-হল্যান্ড পাবলিশিং কো।, আমস্টারডাম-নিউ ইয়র্ক, 1989. xviii + 668 pp। আইএসবিএন: 0-444-87295-7 এমআর 90 ডি: 03072 (পর্যালোচক: রডনি জি ডাউনি ) 03 ডিএক্সএক্স (03-02 03E15 03E45 03F30 68Q05)
[3] গানডি, রবিন। চার্চের থিসিস এবং প্রক্রিয়াগুলির জন্য নীতিগুলি।
ক্লিন সিম্পোজিয়াম। উইসকনসিন, ম্যাডিসন, উইস, জুন, 18--24, 1978 সালে সিম্পোসিয়ামের কার্যক্রম অনুষ্ঠিত হয়েছে। জন বারওয়াইস, এইচ। জেরোম কেইসলার এবং কেনেথ কুনেন সম্পাদিত। যুক্তিতে অধ্যয়ন এবং গণিতের ফাউন্ডেশন, 101. নর্থ-হল্যান্ড পাবলিশিং কো।, আমস্টারডাম-নিউ ইয়র্ক, 1980. xx + 425 pp। আইএসবিএন: 0-444-85345-6 এমআর 82h: 03036 (পর্যালোচক: ডগলাস সেনজার) 03 ডি 10 (03A05)
[4] সর্বজনীন টুরিং মেশিন: একটি অর্ধ শতাব্দী জরিপ। দ্বিতীয় সংস্করণ.
সম্পাদনা করেছেন রল্ফ হার্কেন। কম্পিউটারকল্টার [কম্পিউটার সংস্কৃতি], ২। স্প্রিঞ্জার-ভারলাগ, ভিয়েনা, 1995. xvi + 611 পিপি। আইএসবিএন: 3-211-82637-8 এমআর 96j: 03005 03-06 (01A60 03D10 03D15 68-06)