হাইপার কমপুটেশন গণনার এমন মডেলগুলিকে বোঝায় যা টুরিং মেশিনগুলি ব্যবহার করে অনুকরণ করা সম্ভব নয়। (হাইপার কম্পিউটারগুলি অগত্যা শারীরিকভাবে উপলব্ধিযোগ্য নয়!) কিছু হাইপার কম্পিউটারের এমন একটি সংস্থার অ্যাক্সেস রয়েছে যা স্ট্যান্ডার্ড ট্যুরিং মেশিনগুলির হ্যালটিং সমস্যা সমাধান করতে পারে। এটিকে একটি "পরাশক্তি" বলুন: একটি মহাশক্তি সহ একটি হাইপার কম্পিউটার কোনও স্ট্যান্ডার্ড টিউরিং মেশিনটি শেষ করে কিনা তা সিদ্ধান্ত নিতে পারে।
হাইপার কম্পিউটারগুলি কী ধরণের "পরাশক্তি" ব্যবহার করে?
হাই ব্লগের কম্পিউটারে ব্যবহৃত কয়েকটি বড় ধরণের সংস্থাগুলিকে শ্রেণিবদ্ধ করার জন্য এড ব্লেকের থিসিস একটি আনুষ্ঠানিক কাঠামো স্থাপন করে তবে এটি পরাশক্তিগুলির একটি বিস্তৃত জরিপ দেওয়ার চেষ্টা করে না। আমি হাইপার কম্পিউটারের একটি তালিকাতে আগ্রহী নই (উইকিপিডিয়া নিবন্ধে একটি দুর্দান্ত তালিকা রয়েছে), তবে প্রতিটি মডেল কী "বিশেষ সস" ব্যবহার করে তা বোঝার জন্য সম্ভবত একটি অনন্য ধরণের সংস্থান হিসাবে বিবেচনা করা হয়েছে।
এই প্রশ্নটি অনুপ্রাণিত হয় কতটা মৌলিক সিদ্ধান্তহীনতা? । এছাড়াও সম্পর্কিত এটি হল চার্চ-টিউরিং থিসিসকে অস্বীকার করার অর্থ কী? যা প্রচুর আকর্ষণীয় আলোচনা তৈরি করেছে এবং ট্যুরিং মেশিনের চেয়ে আরও শক্তিশালী হওয়ার সম্ভাবনা নিয়ে বর্তমানে গণনার কোনও মডেল কি অধ্যয়ন করা হচ্ছে? ।