আমি কোনও গণনা কী তা সংজ্ঞায়নের চেষ্টা করব না, যা লুক ম্যাথিসন এবং যুবাল ফিল্মাসের চেয়ে ভালভাবে সম্পন্ন হয়েছিল।
যাইহোক, একটি বিস্ফোরণকারী ডিভাইসটিকে গণনা হিসাবে ভাবা আমাকে একটি গুরুত্বপূর্ণ দিকের দিকে নিয়ে যায়: যদি বিস্ফোরণটি একটি গণনা হয়, তবে এটি কী গণনা করে? ডিভাইসটি বিস্ফোরণের পরে এটির উপস্থাপনা ছাড়া অন্য
আমি যা লক্ষ্য করছি তা হ'ল আমরা একটি গণনা হিসাবে বিবেচনা করি এবং আমরা যা দেখতে পাই (সংশ্লেষিত?) এক হিসাবে সুনির্দিষ্টভাবে সংজ্ঞা দিতে পারি। আমরা একটি গণনা বর্ণনা করতে পারি। তবে আমরা বলতে পারি এটি কী কম্পিউটিং?
গণনা, হিসাবে সাধারণভাবে সংজ্ঞায়িত, একটি খাঁটি সিনট্যাকটিক খেলা। এটি শারীরিক কাঠামোর একটি খেলা যা সঠিক নিয়ম অনুসারে রূপান্তরিত হচ্ছে। যেহেতু শারীরিক কাঠামোগত প্রতিনিধিত্ব করার জন্য আমাদের একমাত্র হাতিয়ার (স্ট্যান্ডার্ড ট্রান্সফরমেশনগুলি) শেষ পর্যন্ত প্রতীকগুলির স্ট্রিং, তাই প্রতীকগুলির স্ট্রিংগুলিতে কিছু ধরণের আনুষ্ঠানিক রূপান্তর হিসাবে গণনাটি সংজ্ঞায়িত হয়ে যায়। এটি ট্যুরিং মেশিন, ল্যাম্বডা-ক্যালকুলাস, আংশিক পুনরাবৃত্ত ফাংশন এবং অন্যান্য কম জনপ্রিয় মডেলের ক্ষেত্রে সত্য। ক্যালকুলাস শব্দটি (ল্যাম্বডা-ক্যালকুলাসের মতো) আসলে এই দৃষ্টিভঙ্গিকে প্রতিফলিত করে যেমন লাতিন ভাষায় ক্যালকুলি প্রতিনিধিত্ব করার জন্য ব্যবহৃত ছোট পাথর।
তবে এটি যা বলে না তা হ'ল এই বাক্যবিন্যাসের সাথে কী যুক্ত হওয়া উচিত, এটি কী উপস্থাপন করে। আমি যেটাকে আমি সামান্যই বুঝতে পারি তা এখানে, কারণ আমি এই জাতীয় সমস্যার বিশেষজ্ঞ নই (তাই আমাকে ডাবল পরীক্ষা করে দেখুন)। মডেল তত্ত্ব দ্বারা সমস্যাটি আবৃত ।
উপস্থাপনের একটি আনুষ্ঠানিক ব্যবস্থা দেওয়া, সম্ভবত যুক্তির সাথে যুক্ত (axioms এবং অনুমানের নিয়ম) বা একটি গণন সিস্টেম (রূপান্তর বিধি), আনুষ্ঠানিক তত্ত্বের একটি মডেল এই নিয়মগুলি অনুসরণ করে এমন উপাদানগুলির সাথে একটি গাণিতিক স্ট্রাকচার।
একই গণনা, বা আরও স্পষ্টভাবে একই গণনার একই বিবরণে আসলে খুব আলাদা সত্ত্বার সাথে সম্পর্কিত অনেকগুলি মডেল থাকতে পারে।
উদাহরণস্বরূপ, একটি জিসিডি অ্যালগরিদম একটি গণনা বর্ণনা করে। তবে এটি প্রাকৃতিক সংখ্যায় বা বহুবর্ষে ব্যাখ্যা করা যেতে পারে।
এটি বার্ট্র্যান্ড রাসেল'কোটের অনুস্মারক :
গণিতকে এমন বিষয় হিসাবে সংজ্ঞায়িত করা যেতে পারে যেখানে আমরা কখনই জানি না যে আমরা কী বলছি এবং আমরা যা বলছি তা সত্য কিনা।
গণনার ক্ষেত্রে পরিস্থিতি প্রায় একই রকম। এটি একটি আনুষ্ঠানিক খেলা, যেখানে চালগুলি বিভিন্ন উপায়ে বোঝা যায়। কিন্তু গণিতের মধ্যে আনুষ্ঠানিকভাবে অ্যাক্সিয়োমেটিক সিস্টেম এবং গণনা তত্ত্ব দ্বারা সংজ্ঞায়নের মধ্যে গভীর সম্পর্ক রয়েছে।
গণনা, অ্যালগরিদমিকগুলি গাণিতিক সমস্যাগুলি সমাধান করার জন্য সংজ্ঞায়িত করা হয়েছিল এবং অনেকগুলি আধুনিক ধারণাটি এমন লজিস্টিয়ানদের দ্বারা ভাবা হয়েছিল যারা আমাদের তত্ত্বগুলি প্রমাণ করার অনুমতি দেওয়ার পদ্ধতিগুলি বোঝার চেষ্টা করছিলেন, অ্যাকোরিওমগুলি থেকে শুরু করে অনুমানের নিয়ম প্রয়োগ করেছিলেন।
সুতরাং, বিস্ফোরক ডিভাইসে ফিরে আসার জন্য, এটি অবশ্যই উপস্থাপনের হেরফের হিসাবে গণ্য করা যেতে পারে। তবে এটির সাথে নিজেকে বাদ দিয়ে অন্য কোনও অর্থ সংযুক্ত করা সাধারণত বেশ শক্ত।
তবে এটি সর্বদা সত্য নয় বা ছিল না was অ্যানালগ গণনার নীতিটি এই ধারণার উপর নির্ভর করে যে বিভিন্ন উপস্থাপনা সিস্টেম গণনার জন্য ব্যবহার করা যেতে পারে যা কিছু সুনির্দিষ্ট উপায়ে সম্পর্কিত। তারপরে আমরা অন্যান্য সিস্টেমে কী ব্যবহার করতে পারি তার ধারণা পেতে আমরা একটি সিস্টেমের সাথে গণনা করতে পারি (প্রকৃতপক্ষে ব্যবহার করা খুব অযথাই যেমন উদাহরণস্বরূপ একটি মহাবিশ্ব :) সংশ্লিষ্ট সেটিংয়ে গণনা করে।