Hypercomputation अभिकलन के मॉडल को संदर्भित करता है जो ट्यूरिंग मशीनों का उपयोग करके अनुकरण करना संभव नहीं है। (हाइपर कंप्यूटर जरूरी शारीरिक रूप से साकार नहीं हैं!) कुछ हाइपर कंप्यूटर में एक संसाधन तक पहुंच होती है जो मानक ट्यूरिंग मशीनों के हलिंग समस्या को हल करने की अनुमति देता है। इसे "सुपरपावर" कहें: एक महाशक्ति वाला हाइपर कंप्यूटर तय कर सकता है कि क्या कोई मानक ट्यूरिंग मशीन समाप्त हो जाती है।
हाइपर कंप्यूटर किस तरह के "सुपरपावर" का उपयोग करते हैं?
एड ब्लेकी की थीसिस हाइपरकंप्यूटिंग में उपयोग किए जाने वाले कुछ प्रमुख प्रकार के संसाधनों को वर्गीकृत करने के लिए एक औपचारिक ढांचा स्थापित करती है, लेकिन यह सुपरपावर का एक व्यापक सर्वेक्षण प्रदान करने का प्रयास नहीं करती है। मुझे हाइपर कंप्यूटर की सूची में कोई दिलचस्पी नहीं है (विकिपीडिया लेख में एक अच्छी सूची है), लेकिन यह समझने में कि प्रत्येक मॉडल क्या "विशेष सॉस" का उपयोग करता है, शायद एक अद्वितीय प्रकार के संसाधन के रूप में सोचा जाता है।
यह प्रश्न इस बात से प्रेरित है कि अविभाज्यता कितनी मौलिक है? । यह भी संबंधित है कि चर्च-ट्यूरिंग थीसिस को अस्वीकार करने का क्या मतलब होगा? जो कई दिलचस्प चर्चा उत्पन्न करता है, और क्या ट्यूरिंग मशीनों की तुलना में अधिक शक्तिशाली होने की संभावना के साथ वर्तमान में गणना के किसी भी मॉडल का अध्ययन किया जा रहा है? ।