हाइपरकंप्यूटेशन: Difference between revisions

From Vigyanwiki
No edit summary
 
(16 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Models of computation that provide outputs that are not Turing-computable}}
{{short description|Models of computation that provide outputs that are not Turing-computable}}
'''हाइपरकंप्यूटेशन''' या '''सुपर-ट्यूरिंग कंप्यूटेशन''', कंप्यूटेशनल मॉडलों का एक सेट है जो ऐसे आउटपुट प्रदान कर सकता है जो [[ट्यूरिंग-कम्प्यूटेबल]] नहीं हैं। सुपर-ट्यूरिंग कंप्यूटिंग, जिसे 1990 के दशक के प्रारंभ में हावा सीगलमैन द्वारा प्रस्तुत किया गया था, ऐसे न्यूरोलॉजिकल प्रेरित, जैविक और भौतिक कंप्यूटिंग को संदर्भित करता है; यह ''लाइफलॉंग मशीन लर्निंग'' का गणितीय आधार बन गया। हाइपरकंप्यूटेशन, जिसे 1990 के दशक के अंत में विज्ञान के एक क्षेत्र के रूप में प्रस्तुत किया गया था, कहा जाता है कि यह सुपर-ट्यूरिंग पर आधारित है, परंतु इसमें ऐसे निर्माण भी सम्मिलित हैं जो दार्शनिक हैं। उदाहरण के लिए, एक मशीन जो [[रुकने की समस्या|हॉल्टिंग प्रॉब्लम]] का समाधान कर सकती है वह हाइपर कंप्यूटर होगी; इसी प्रकार वह मशीन भी हाइपरकंप्यूटर होगी जो [[पीनो अंकगणित]] में प्रत्येक कथन का सही समाधान कर सकती है।
'''हाइपरकम्प्यूटेशन''' या '''सुपर-ट्यूरिंग कम्प्यूटेशन''' एक ऐसा कम्प्यूटेशन मॉडल हैं जो [[ट्यूरिंग-कम्प्यूटेबल|नॉन ट्यूरिंग-कम्प्यूटेबल]] आउटपुट प्रदान करता हैं। सुपर-ट्यूरिंग कंप्यूटिंग, जिसे 1990 के दशक के प्रारंभ में हावा सीगलमैन द्वारा प्रस्तुत किया गया था; ऐसे न्यूरोलॉजिकल प्रेरित, जैविक और भौतिक कंप्यूटिंग को संदर्भित करता है जो ''लाइफलॉंग मशीन लर्निंग'' का गणितीय आधार बन गया है। हाइपरकंप्यूटेशन, जिसे 1990 के दशक के अंत में विज्ञान के एक क्षेत्र के रूप में प्रस्तुत किया गया था, के संदर्भ में कहा जाता है कि यह सुपर-ट्यूरिंग पर आधारित है, परंतु इसमें ऐसे निर्माण भी सम्मिलित हैं जो दार्शनिक हैं। उदाहरण के लिए, एक मशीन जो [[रुकने की समस्या|हॉल्टिंग प्रॉब्लम]] का समाधान कर सकती है वह हाइपर कंप्यूटर होगी; इसी प्रकार वह मशीन भी हाइपरकंप्यूटर होगी जो [[पीनो अंकगणित]] में प्रत्येक कथन का सही समाधान कर सकती है।


चर्च-ट्यूरिंग थीसिस में कहा गया है कि किसी भी <nowiki>''</nowiki>गणनीय<nowiki>''</nowiki> फलन की गणना, यदि किसी गणितज्ञ द्वारा सरल विधिकलन के किसी परिमित समुच्चय का उपयोग करके कलम और कागज के साथ की जा सकती है, तो [[ट्यूरिंग मशीन]] द्वारा भी इसकी गणना की जा सकती है। हाइपरकंप्यूटर उन फलनों की गणना करता है जो एक ट्यूरिंग मशीन नहीं कर सकती है और जो, इस प्रकार चर्च-ट्यूरिंग अर्थ में "गणनीय" नहीं हैं।
चर्च-ट्यूरिंग शोध-प्रबंध में कहा गया है कि किसी भी <nowiki>''</nowiki>गणनीय<nowiki>''</nowiki> फलन की गणना, यदि किसी गणितज्ञ द्वारा सरल विधिकलन के किसी परिमित समुच्चय का उपयोग करके कलम और कागज के साथ की जा सकती है, तो [[ट्यूरिंग मशीन]] द्वारा इसकी गणना भी संभव है। हाइपरकंप्यूटर उन फलनों की गणना करता है जो एक ट्यूरिंग मशीन नहीं कर सकती है और जो, इस प्रकार चर्च-ट्यूरिंग अर्थ में "गणनीय" नहीं हैं।


तकनीकी रूप से, एक [[यादृच्छिक ट्यूरिंग मशीन|रैंडम ट्यूरिंग मशीन]] का आउटपुट गणनीय नहीं है; यद्यपि, अधिकांश हाइपरकंप्यूटिंग साहित्य, यादृच्छिक, अगणनीय फलनों के अतिरिक्त, निर्धारणात्मक फलनों की गणना पर ध्यान केंद्रित करता है।
तकनीकी रूप से, एक [[यादृच्छिक ट्यूरिंग मशीन|रैंडम ट्यूरिंग मशीन]] का आउटपुट गणनीय नहीं होता है; यद्यपि, अधिकांश हाइपरकंप्यूटिंग साहित्य, यादृच्छिक, अगणनीय फलनों के अतिरिक्त, निर्धारणात्मक फलनों की गणना पर ध्यान केंद्रित करते है।


==इतिहास==
==इतिहास==
ट्यूरिंग मशीनों से आगे जाने वाला एक कम्प्यूटेशनल मॉडल [[एलन ट्यूरिंग]] द्वारा अपने 1938 के पीएचडी शोध प्रबंध [[ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ|"सिस्टम्स ऑफ़ लॉजिक बेस्ड ऑन ऑर्डिनल्स"]] में प्रस्तुत किया गया था।<ref>{{Cite journal |doi = 10.1112/plms/s2-45.1.161|title = Systems of Logic Based on Ordinals†|year = 1939|last1 = Turing|first1 = A. M.|journal = Proceedings of the London Mathematical Society|volume = 45|pages = 161–228|hdl = 21.11116/0000-0001-91CE-3|hdl-access=free}}</ref> इस लेख में ऐसे गणितीय प्रणालियों की खोज की गई, जिनमें [[ओरेकल मशीन|ओरेकल]] उपलब्ध था, जो प्राकृतिक संख्याओं से [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] के लिए एक गैर-पुनरावृत्ति विशेष फलन की गणना कर सकता था। उन्होंने इस उपकरण का उपयोग यह सिद्ध करने के लिए किया कि उन अधिक शक्तिशाली प्रणालियों में भी, [[अनिर्णीत समस्या|अपरिभाष्यता समस्या]] अभी भी उपलब्ध है। ट्यूरिंग के ऑरेकल मशीन गणितीय अवकलन हैं और इन्हें भौतिक रूप से संभाव्य नहीं बनाया जा सकता है।<ref>"Let us suppose that we are supplied with some unspecified means of solving number-theoretic problems; a kind of oracle as it were. We shall not go any further into the nature of this oracle apart from saying that it cannot be a machine" (Undecidable p.&nbsp;167, a reprint of Turing's paper ''Systems of Logic Based On Ordinals'')</ref>
ट्यूरिंग मशीनों से अधिक शक्तिशाली एक कम्प्यूटेशनल मॉडल [[एलन ट्यूरिंग]] द्वारा अपने 1938 के पीएचडी शोध प्रबंध [[ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ|"सिस्टम्स ऑफ़ लॉजिक बेस्ड ऑन ऑर्डिनल्स"]] में प्रस्तुत किया गया था।<ref>{{Cite journal |doi = 10.1112/plms/s2-45.1.161|title = Systems of Logic Based on Ordinals†|year = 1939|last1 = Turing|first1 = A. M.|journal = Proceedings of the London Mathematical Society|volume = 45|pages = 161–228|hdl = 21.11116/0000-0001-91CE-3|hdl-access=free}}</ref> इस लेख में ऐसे गणितीय प्रणालियों की खोज की गई, जिनमें [[ओरेकल मशीन|ओरेकल]] उपलब्ध था, जो प्राकृतिक संख्याओं से [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] के लिए एक गैर-पुनरावृत्ति विशेष फलन की गणना कर सकता था। उन्होंने इस उपकरण का उपयोग यह सिद्ध करने के लिए किया कि उन अधिक शक्तिशाली प्रणालियों में, [[अनिर्णीत समस्या|अपरिभाष्यता समस्या]] अभी भी उपलब्ध है। ट्यूरिंग के ऑरेकल मशीन गणितीय अवकलन हैं और इन्हें भौतिक रूप से संभाव्य नहीं बनाया जा सकता है।<ref>"Let us suppose that we are supplied with some unspecified means of solving number-theoretic problems; a kind of oracle as it were. We shall not go any further into the nature of this oracle apart from saying that it cannot be a machine" (Undecidable p.&nbsp;167, a reprint of Turing's paper ''Systems of Logic Based On Ordinals'')</ref>


    
    


==स्टेट स्पेस==
==स्टेट स्पेस==
एक अर्थ में, अधिकांश फलन अगण्य होते हैं: वहाँ <math>\aleph_0</math> गणनीय फलन हैं, परंतु असंख्यक संख्या (<math>2^{\aleph_0}</math>) के सुपर-ट्यूरिंग फ़ंक्शनों के संभाव्य हैं।<ref>{{cite journal | url=http://binds.cs.umass.edu/papers/CabessaSiegelmannNC12.pdf |author1=J. Cabessa |author2=H.T. Siegelmann | title=इंटरएक्टिव आवर्ती तंत्रिका नेटवर्क की कम्प्यूटेशनल शक्ति| journal=Neural Computation | volume=24 | number=4 | pages=996–1019 | date=Apr 2012 | doi=10.1162/neco_a_00263|pmid=22295978 |citeseerx=10.1.1.411.7540 |s2cid=5826757 }}</ref>
एक अर्थ में, अधिकांश फलन अगणनीय होते हैं: जहाँ <math>\aleph_0</math> गणनीय फलनों की संख्या हैं; सुपर-ट्यूरिंग फलनों की संख्या (<math>2^{\aleph_0}</math>) अगणनीय होती है।<ref>{{cite journal | url=http://binds.cs.umass.edu/papers/CabessaSiegelmannNC12.pdf |author1=J. Cabessa |author2=H.T. Siegelmann | title=इंटरएक्टिव आवर्ती तंत्रिका नेटवर्क की कम्प्यूटेशनल शक्ति| journal=Neural Computation | volume=24 | number=4 | pages=996–1019 | date=Apr 2012 | doi=10.1162/neco_a_00263|pmid=22295978 |citeseerx=10.1.1.411.7540 |s2cid=5826757 }}</ref>
 
 
 
 
 
 
 
 
 




Line 22: Line 31:


*1939 में ट्यूरिंग द्वारा परिभाषित, ट्यूरिंग की मूल ओरेकल मशीनें।
*1939 में ट्यूरिंग द्वारा परिभाषित, ट्यूरिंग की मूल ओरेकल मशीनें।
*एक रियल कंप्यूटर हाइपरकंप्यूटेशन कर सकता है<ref>[[Arnold Schönhage]], "On the power of random access machines", in ''Proc. Intl. Colloquium on Automata, Languages, and Programming (ICALP)'', pages 520–529, 1979.  Source of citation: [[Scott Aaronson]], "NP-complete Problems and Physical Reality"[http://www.scottaaronson.com/papers/npcomplete.pdf] p.&nbsp;12</ref> यदि भौतिकी सामान्य [[वास्तविक संख्या]] चर (केवल [[गणना योग्य संख्या|गणनीय संख्या]] नहीं) को स्वीकार करती है, और ये किसी तरह से उपयोगी गणना के लिए उपयोगी हैं। इसके लिए भौतिकी के काफी विचित्र नियमों की आवश्यकता हो सकती है (उदाहरण के लिए, एक अलौकिक मूल्य के साथ मापने योग्य [[भौतिक स्थिरांक]], जैसे कि चैतिन का स्थिरांक), और वास्तविक-मूल्यवान भौतिक मूल्य को मनमाने ढंग से परिशुद्धता में मापने की क्षमता की आवश्यकता होगी, हालांकि मानक भौतिकी ऐसे मनमाने-सटीक माप को सैद्धांतिक रूप से अव्यवहार्य बनाती है।<ref name=HodgesSCIAM>{{cite web |url=http://www.turing.org.uk/philosophy/sciam.html |title=प्रोफेसर और मंथन|author=Andrew Hodges |access-date=23 September 2011 |work=The Alan Turing Home Page }}</ref>
* यदि भौतिकवाद सामान्य [[वास्तविक]] चर केवल [[गणनीय संख्या]] को स्वीकार करती है, और ये किसी तरह से गणना के लिए उपयोगी हैं तो एक रियल कंप्यूटर हाइपरकंप्यूटेशन कर सकता है<ref>[[Arnold Schönhage]], "On the power of random access machines", in ''Proc. Intl. Colloquium on Automata, Languages, and Programming (ICALP)'', pages 520–529, 1979.  Source of citation: [[Scott Aaronson]], "NP-complete Problems and Physical Reality"[http://www.scottaaronson.com/papers/npcomplete.pdf] p.&nbsp;12</ref> इसके लिए भौतिकी के अत्यधिक विचित्र नियमों की आवश्यकता हो सकती है (उदाहरण के लिए, एक अपरिमित मान के साथ मापने योग्य [[भौतिक स्थिरांक]], जैसे कि चैतिन का स्थिरांक), और वास्तविक-मान भौतिक मान को यादृच्छिक विधि से परिशुद्धता में मापने की क्षमता की आवश्यकता होगी, यद्यपि मानक भौतिकी ऐसे यादृच्छिक-सटीक माप को सैद्धांतिक रूप से अव्यवहार्य बनाती है।<ref name=HodgesSCIAM>{{cite web |url=http://www.turing.org.uk/philosophy/sciam.html |title=प्रोफेसर और मंथन|author=Andrew Hodges |access-date=23 September 2011 |work=The Alan Turing Home Page }}</ref>
**इसी तरह, एक तंत्रिका जाल जिसमें चैतिन का स्थिरांक किसी तरह उसके वैट फ़ंक्शन में सटीक रूप से अंतर्निहित होता है, हॉल्टिंग समस्या को हल करने में सक्षम होगा,<ref>{{cite journal |author1=H.T. Siegelmann |author2=E.D. Sontag | title=तंत्रिका नेटवर्क के माध्यम से एनालॉग संगणना| journal=Theoretical Computer Science | volume=131 |issue=2 | pages=331–360 | year=1994 |doi=10.1016/0304-3975(94)90178-3 | doi-access=free }}</ref> परंतु यह वास्तविक गणना पर आधारित हाइपरकंप्यूटेशन के अन्य मॉडलों की तरह ही भौतिक कठिनाइयों के अधीन है।
**इसी प्रकार, एक न्यूरल नेट जिसमें चैतिन का स्थिरांक किसी तरह उसके भार फलन में सटीक रूप से अंतर्निहित होता है, हॉल्टिंग समस्या को हल करने में सक्षम होगा,<ref>{{cite journal |author1=H.T. Siegelmann |author2=E.D. Sontag | title=तंत्रिका नेटवर्क के माध्यम से एनालॉग संगणना| journal=Theoretical Computer Science | volume=131 |issue=2 | pages=331–360 | year=1994 |doi=10.1016/0304-3975(94)90178-3 | doi-access=free }}</ref> परंतु यह वास्तविक गणना पर आधारित हाइपरकंप्यूटेशन के अन्य मॉडलों की तरह ही भौतिक कठिनाइयों के अधीन है।
*कुछ फ़ज़ी लॉजिक-आधारित फ़ज़ी ट्यूरिंग मशीनें, परिभाषा के अनुसार, गलती से हॉल्टिंग समस्या को हल कर सकती हैं, परंतु केवल इसलिए क्योंकि हॉल्टिंग समस्या को हल करने की उनकी क्षमता परोक्ष रूप से मशीन के विनिर्देशन में मानी जाती है; इसे मशीनों के मूल विनिर्देश में एक बग के रूप में देखा जाता है।<ref>{{Cite journal|last=Biacino|first=L.|author2=Gerla, G.|year=2002|title=अस्पष्ट तर्क, निरंतरता और प्रभावशीलता|journal=Archive for Mathematical Logic|issn=0933-5846|volume=41|issue=7|pages=643–667|doi=10.1007/s001530100128|citeseerx=10.1.1.2.8029|s2cid=12513452}}</ref><ref name=ClassicalFuzzy>{{Cite journal|last=Wiedermann|first=Jiří |year=2004|title=शास्त्रीय फ़ज़ी ट्यूरिंग मशीनों की सुपर-ट्यूरिंग कंप्यूटिंग शक्ति और दक्षता की विशेषता|url=http://portal.acm.org/citation.cfm?id=1011188|journal= Theoretical Computer Science|volume=317|issue=1–3|pages=61–69|doi=10.1016/j.tcs.2003.12.004|quote=उनकी (रुकने की समस्या को हल करने की क्षमता) उनकी स्वीकृति मानदंड के कारण होती है जिसमें रुकने की समस्या को हल करने की क्षमता परोक्ष रूप से मानी जाती है।|doi-access=free}}</ref>
*कुछ फ़ज़ी लॉजिक-आधारित फ़ज़ी ट्यूरिंग मशीनें, परिभाषा के अनुसार, गलती से हॉल्टिंग समस्या को हल कर सकती हैं, परंतु केवल इसलिए क्योंकि हॉल्टिंग समस्या को हल करने की उनकी क्षमता परोक्ष रूप से मशीन के विनिर्देशन में मानी जाती है; इसे मशीनों के मूल विनिर्देश में एक बग के रूप में देखा जाता है।<ref>{{Cite journal|last=Biacino|first=L.|author2=Gerla, G.|year=2002|title=अस्पष्ट तर्क, निरंतरता और प्रभावशीलता|journal=Archive for Mathematical Logic|issn=0933-5846|volume=41|issue=7|pages=643–667|doi=10.1007/s001530100128|citeseerx=10.1.1.2.8029|s2cid=12513452}}</ref><ref name=ClassicalFuzzy>{{Cite journal|last=Wiedermann|first=Jiří |year=2004|title=शास्त्रीय फ़ज़ी ट्यूरिंग मशीनों की सुपर-ट्यूरिंग कंप्यूटिंग शक्ति और दक्षता की विशेषता|url=http://portal.acm.org/citation.cfm?id=1011188|journal= Theoretical Computer Science|volume=317|issue=1–3|pages=61–69|doi=10.1016/j.tcs.2003.12.004|quote=उनकी (रुकने की समस्या को हल करने की क्षमता) उनकी स्वीकृति मानदंड के कारण होती है जिसमें रुकने की समस्या को हल करने की क्षमता परोक्ष रूप से मानी जाती है।|doi-access=free}}</ref>
**इसी तरह, एक प्रस्तावित मॉडल जिसे निष्पक्ष गैर-नियतिवाद के रूप में जाना जाता है, गलती से गैर-गणनीय कार्यों की मौखिक गणना की अनुमति दे सकता है, क्योंकि परिभाषा के अनुसार, ऐसी कुछ प्रणालियों में अस्वीकार इनपुट की पहचान करने की मौखिक क्षमता होती है जो गलत विधि से एक उपप्रणाली को सदा के लिए चलाने का कारण बनेगी।<ref>{{cite journal|title=गैर-नियतिवाद, निष्पक्षता और एक मौलिक सादृश्य|journal=EATCS Bulletin|volume=37|pages=186–193|year=1989|author1=Edith Spaan |author2=Leen Torenvliet |author3=Peter van Emde Boas }}</ref><ref>{{Cite journal|doi=10.1016/j.amc.2005.09.076|title=हाइपरकंप्यूटेशन के कई रूप|year=2006|last1=Ord|first1=Toby|journal=Applied Mathematics and Computation|volume=178|pages=143–153}}</ref>
**इसी तरह, एक प्रस्तावित मॉडल जिसे निष्पक्ष गैर-नियतिवाद के रूप में जाना जाता है, गलती से गैर-गणनीय कार्यों की मौखिक गणना की अनुमति दे सकता है, क्योंकि परिभाषा के अनुसार, ऐसी कुछ प्रणालियों में अस्वीकार इनपुट की पहचान करने की मौखिक क्षमता होती है जो गलत विधि से एक उपप्रणाली को सदा के लिए चलाने का कारण बनेगी।<ref>{{cite journal|title=गैर-नियतिवाद, निष्पक्षता और एक मौलिक सादृश्य|journal=EATCS Bulletin|volume=37|pages=186–193|year=1989|author1=Edith Spaan |author2=Leen Torenvliet |author3=Peter van Emde Boas }}</ref><ref>{{Cite journal|doi=10.1016/j.amc.2005.09.076|title=हाइपरकंप्यूटेशन के कई रूप|year=2006|last1=Ord|first1=Toby|journal=Applied Mathematics and Computation|volume=178|pages=143–153}}</ref>
Line 30: Line 39:




=== अनंत कम्प्यूटेशनल चरण मॉडल ===
सही ढंग से काम करने के लिए, नीचे दी गई मशीनों द्वारा कुछ गणनाओं के लिए वस्तुतः असीमित परंतु सीमित, भौतिक स्थान और संसाधनों के बजाय अनंत की आवश्यकता होती है; इसके विपरीत, ट्यूरिंग मशीन के साथ, किसी भी गणना को रोकने के लिए केवल सीमित भौतिक स्थान और संसाधनों की आवश्यकता होगी।


*एक ट्यूरिंग मशीन जो सीमित समय में अनगिनत चरणों को पूरा कर सकती है, एक उपलब्धि जिसे [[सुपरटास्क]] के रूप में जाना जाता है। केवल असीमित संख्या में कदम चलने में सक्षम होना ही पर्याप्त नहीं है। एक गणितीय मॉडल [[ज़ेनो मशीन]] है (ज़ेनो के विरोधाभास से प्रेरित)। ज़ेनो मशीन अपना पहला संगणना चरण (मान लीजिए) 1 मिनट में, दूसरा चरण ½ मिनट में, तीसरा चरण ¼ मिनट में, आदि पूरा करती है। 1/2 + 1/4 + 1/8 + 1/16 + ⋯ का योग करके |1+½+¼+... (एक ज्यामितीय श्रृंखला) हम देखते हैं कि मशीन कुल 2 मिनट में अनंत रूप से कई चरण पूरा करती है। शग्रीर के अनुसार, ज़ेनो मशीनें भौतिक विरोधाभास प्रस्तुत करती हैं और इसकी स्थिति [0, 2) की एक तरफ की खुली अवधि के बाहर तार्किक रूप से अपरिभाषित है, इस प्रकार गणना के प्रारंभ के ठीक 2 मिनट बाद अपरिभाषित है।<ref>These models have been independently developed by many different authors, including {{cite book|author=Hermann Weyl|  year=1927 | title=Philosophie der Mathematik und Naturwissenschaft| author-link=Hermann Weyl }}; the model is discussed in {{cite journal
 
 
 
 
 
 
 
 
 
=== अगणनीय कम्प्यूटेशनल चरण मॉडल ===
सही विधि से कार्य करने के लिए, नीचे दी गई मशीनों द्वारा कुछ गणनाओं के लिए वस्तुतः असीमित परंतु सीमित, और संसाधनों के अतिरिक्त अनंत भौतिक स्थान की आवश्यकता होती है; इसके विपरीत, ट्यूरिंग मशीन के साथ, कोई भी गणना जो हाल्ट होती है के लिए केवल सीमित भौतिक स्थान और संसाधनों की आवश्यकता होगी।
 
*एक ट्यूरिंग मशीन जो अंतिम तक अनंत बार चलती है, परंतु फिर भी एक सीमित समय में अनंत चरण पूरा कर सकती है, उसे "[[सुपरटास्क]]" के रूप में जाना जाता है। सिर्फ अनंत बार चलने की क्षमता काम नहीं आती। एक गणितीय मॉडल "[[ज़ेनो मशीन]]" है, जो "ज़ेनो के विरोधाभास" से प्रेरित है। मान लीजिए जीनो मशीन पहले गणना चरण को 1 मिनट में पूरा करती है, दूसरे चरण को ½ मिनट में, तीसरे चरण को ¼ मिनट में, और इसी प्रकार अपने सभी चरणों को पूरा करती है। 1+½+¼+... शृंखला को जोड़कर हम देखते हैं कि मशीन इन्फिनिटी दौरों को अंतिम समय में 2 मिनट में पूरा करती है। शाग्रिर के अनुसार, जीनो मशीन भौतिक संभावनाओं से परिचय कराती है और इसकी स्थिति [0, 2) के एक पक्ष की विवृत्त अवधि के बाहर तार्किक रूप से परिभाषित नहीं होती, इसलिए  यह निर्धारित समय के ठीक 2 मिनट बाद की गणना के आधे में अपरिभाषित है।<ref>These models have been independently developed by many different authors, including {{cite book|author=Hermann Weyl|  year=1927 | title=Philosophie der Mathematik und Naturwissenschaft| author-link=Hermann Weyl }}; the model is discussed in {{cite journal
  |author=Shagrir, O.  
  |author=Shagrir, O.  
  |title=Super-tasks, accelerating Turing machines and uncomputability  
  |title=Super-tasks, accelerating Turing machines and uncomputability  
Line 56: Line 75:
  |s2cid=253434  
  |s2cid=253434  
  }}</ref>
  }}</ref>
*यह स्वाभाविक लगता है कि समय यात्रा की संभावना (बंद टाइमलाइक कर्व्स (सीटीसी) का अस्तित्व) हाइपरकंप्यूटेशन को अपने आप संभव बनाती है। यद्यपि, ऐसा नहीं है क्योंकि सीटीसी (स्वयं) असीमित मात्रा में भंडारण प्रदान नहीं करता है जिसकी अनंत गणना के लिए आवश्यकता होगी। फिर भी, ऐसे स्पेसटाइम हैं जिनमें सीटीसी क्षेत्र का उपयोग सापेक्षतावादी हाइपरकंप्यूटेशन के लिए किया जा सकता है।<ref>{{Cite journal|arxiv = 1105.0047|doi = 10.1142/S0129626412400105|title = सापेक्ष संगणना में बंद टाइमलाइक वक्र|year = 2012|last1 = Andréka|first1 = Hajnal|last2 = Németi|first2 = István|last3 = Székely|first3 = Gergely|journal = Parallel Processing Letters|volume = 22|issue = 3|s2cid = 16816151}}</ref> 1992 के एक पेपर के अनुसार,<ref>{{Cite journal|doi = 10.1007/BF00682813|title = Does general relativity allow an observer to view an eternity in a finite time?|year = 1992|last1 = Hogarth|first1 = Mark L.|journal = Foundations of Physics Letters|volume = 5|issue = 2|pages = 173–181|bibcode = 1992FoPhL...5..173H|s2cid = 120917288}}</ref> एक कंप्यूटर जो मैलामेंट-होगर्थ स्पेसटाइम में या घूमते हुए [[ब्लैक होल]] के चारों ओर कक्षा में काम कर रहा है<ref>{{cite book | chapter=Can General Relativistic Computers Break the Turing Barrier? | author=István Neméti | author2=Hajnal Andréka | author2-link=Hajnal Andréka | title=Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings | publisher=Springer | series=Lecture Notes in Computer Science | volume=3988 | doi=10.1007/11780342 | year=2006 | isbn=978-3-540-35466-6 | url-access=registration | url=https://archive.org/details/logicalapproache0000conf }}</ref> सैद्धांतिक रूप से ब्लैक होल के अंदर एक पर्यवेक्षक के लिए गैर-ट्यूरिंग गणना कर सकता है।<ref>{{Cite journal|arxiv = gr-qc/0104023|last1 = Etesi|first1 = Gabor|last2 = Nemeti|first2 = Istvan|title = मैलामेंट-हॉगर्थ स्पेस-टाइम के माध्यम से गैर-ट्यूरिंग गणना|journal = International Journal of Theoretical Physics|year = 2002|volume = 41|issue = 2|pages = 341–370|doi = 10.1023/A:1014019225365|s2cid = 17081866}}</ref><ref>{{Cite journal|doi = 10.1086/289716|title = Forever is a Day: Supertasks in Pitowsky and Malament-Hogarth Spacetimes|year = 1993|last1 = Earman|first1 = John|last2 = Norton|first2 = John D.|journal = Philosophy of Science|volume = 60|pages = 22–42|s2cid = 122764068}}</ref> सीटीसी तक पहुंच पीएसपीएसीई-पूर्ण समस्याओं के त्वरित समाधान की अनुमति दे सकती है, एक जटिलता वर्ग, जो ट्यूरिंग-निर्णायक होने के बावजूद, आमतौर पर कम्प्यूटेशनल रूप से कठिन माना जाता है।<ref>{{Cite journal|arxiv = gr-qc/0209061|last1 = Brun|first1 = Todd A.|title = बंद टाइमलाइक वक्र वाले कंप्यूटर कठिन समस्याओं को हल कर सकते हैं|journal = Found. Phys. Lett.|year = 2003|volume = 16|issue = 3|pages = 245–253|doi = 10.1023/A:1025967225931|s2cid = 16136314}}</ref><ref>[[Scott Aaronson|S. Aaronson]] and J. Watrous. Closed Timelike Curves Make Quantum and Classical Computing Equivalent [http://scottaaronson.com/papers/ctc.pdf]</ref>
*यद्यपि, टाइम-ट्रैवल की संभावना आज्ञात गणना को स्वयं में संभव बनाती है, यह स्वतः इतना नहीं है क्योंकि सीटीसी अनंत गणना के लिए आवश्यक असीमित स्टोरेज प्रदान नहीं करता है। फिर भी, ऐसे स्पेसटाइम हैं जिनमें संघर्षित समय-समवर्ती फ्लैग ज़ोन का प्रयोग संबंधितवादी उच्चगणना के लिए किया जा सकता है।<ref>{{Cite journal|arxiv = 1105.0047|doi = 10.1142/S0129626412400105|title = सापेक्ष संगणना में बंद टाइमलाइक वक्र|year = 2012|last1 = Andréka|first1 = Hajnal|last2 = Németi|first2 = István|last3 = Székely|first3 = Gergely|journal = Parallel Processing Letters|volume = 22|issue = 3|s2cid = 16816151}}</ref> 1992 के एक लेख के अनुसार,<ref>{{Cite journal|doi = 10.1007/BF00682813|title = Does general relativity allow an observer to view an eternity in a finite time?|year = 1992|last1 = Hogarth|first1 = Mark L.|journal = Foundations of Physics Letters|volume = 5|issue = 2|pages = 173–181|bibcode = 1992FoPhL...5..173H|s2cid = 120917288}}</ref> एक कंप्यूटर जो मैलामेंट-होगर्थ स्पेसटाइम में या घूमते हुए [[ब्लैक होल]] के चारों ओर कक्षा में कार्य कर रहा है<ref>{{cite book | chapter=Can General Relativistic Computers Break the Turing Barrier? | author=István Neméti | author2=Hajnal Andréka | author2-link=Hajnal Andréka | title=Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings | publisher=Springer | series=Lecture Notes in Computer Science | volume=3988 | doi=10.1007/11780342 | year=2006 | isbn=978-3-540-35466-6 | url-access=registration | url=https://archive.org/details/logicalapproache0000conf }}</ref> सैद्धांतिक रूप से ब्लैक होल के अंदर एक पर्यवेक्षक के लिए गैर-ट्यूरिंग गणना कर सकता है।<ref>{{Cite journal|arxiv = gr-qc/0104023|last1 = Etesi|first1 = Gabor|last2 = Nemeti|first2 = Istvan|title = मैलामेंट-हॉगर्थ स्पेस-टाइम के माध्यम से गैर-ट्यूरिंग गणना|journal = International Journal of Theoretical Physics|year = 2002|volume = 41|issue = 2|pages = 341–370|doi = 10.1023/A:1014019225365|s2cid = 17081866}}</ref><ref>{{Cite journal|doi = 10.1086/289716|title = Forever is a Day: Supertasks in Pitowsky and Malament-Hogarth Spacetimes|year = 1993|last1 = Earman|first1 = John|last2 = Norton|first2 = John D.|journal = Philosophy of Science|volume = 60|pages = 22–42|s2cid = 122764068}}</ref> सीटीसी तक पहुंच पीएसपीएसीई-पूर्ण समस्याओं के त्वरित समाधान की अनुमति दे सकती है, एक जटिलता वर्ग, जो ट्यूरिंग-निर्णायक होने के अतिरिक्त, सामान्यतः कम्प्यूटेशनल रूप से कठिन माना जाता है।<ref>{{Cite journal|arxiv = gr-qc/0209061|last1 = Brun|first1 = Todd A.|title = बंद टाइमलाइक वक्र वाले कंप्यूटर कठिन समस्याओं को हल कर सकते हैं|journal = Found. Phys. Lett.|year = 2003|volume = 16|issue = 3|pages = 245–253|doi = 10.1023/A:1025967225931|s2cid = 16136314}}</ref><ref>[[Scott Aaronson|S. Aaronson]] and J. Watrous. Closed Timelike Curves Make Quantum and Classical Computing Equivalent [http://scottaaronson.com/papers/ctc.pdf]</ref>




===क्वांटम मॉडल===
===क्वांटम मॉडल===
कुछ विद्वानों का अनुमान है कि एक [[क्वांटम यांत्रिकी]] प्रणाली जो किसी तरह राज्यों के अनंत सुपरपोजिशन का उपयोग करती है, एक गैर-गणनीय फ़ंक्शन की गणना कर सकती है।<ref>There have been some claims to this effect; see {{cite journal | author = Tien Kieu | title = Quantum Algorithm for the Hilbert's Tenth Problem | journal = Int. J. Theor. Phys. | year = 2003 | volume = 42 | arxiv = quant-ph/0110136 | pages = 1461–1478 | doi = 10.1023/A:1025780028846 | issue = 7| title-link = Hilbert problems | s2cid = 6634980 }} or {{cite journal | author = M. Ziegler | title = Computational Power of Infinite Quantum Parallelism | year = 2005 | journal = [[International Journal of Theoretical Physics]] | volume = 44 | issue = 11 | pages = 2059–2071 | doi = 10.1007/s10773-005-8984-0| arxiv = quant-ph/0410141 | bibcode = 2005IJTP...44.2059Z | s2cid = 9879859 }} and the ensuing literature. For a retort see  {{cite journal | author = Warren D. Smith | doi = 10.1016/j.amc.2005.09.078 | title = Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical tasks | journal = Applied Mathematics and Computation | volume = 178 | issue = 1 | pages = 184–193| year = 2006 }}.
कुछ विद्वानों का अनुमान है कि एक [[क्वांटम यांत्रिकी]] प्रणाली जो किसी तरह स्टेट के अनंत सुपरपोजिशन का उपयोग करती है, एक गैर-गणनीय फलन की गणना कर सकती है।<ref>There have been some claims to this effect; see {{cite journal | author = Tien Kieu | title = Quantum Algorithm for the Hilbert's Tenth Problem | journal = Int. J. Theor. Phys. | year = 2003 | volume = 42 | arxiv = quant-ph/0110136 | pages = 1461–1478 | doi = 10.1023/A:1025780028846 | issue = 7| title-link = Hilbert problems | s2cid = 6634980 }} or {{cite journal | author = M. Ziegler | title = Computational Power of Infinite Quantum Parallelism | year = 2005 | journal = [[International Journal of Theoretical Physics]] | volume = 44 | issue = 11 | pages = 2059–2071 | doi = 10.1007/s10773-005-8984-0| arxiv = quant-ph/0410141 | bibcode = 2005IJTP...44.2059Z | s2cid = 9879859 }} and the ensuing literature. For a retort see  {{cite journal | author = Warren D. Smith | doi = 10.1016/j.amc.2005.09.078 | title = Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical tasks | journal = Applied Mathematics and Computation | volume = 178 | issue = 1 | pages = 184–193| year = 2006 }}.
</ref> मानक क्वबिट-मॉडल [[ एक कंप्यूटर जितना ]] का उपयोग करना संभव नहीं है, क्योंकि यह सिद्ध है कि एक नियमित क्वांटम कंप्यूटर [[पीएसपीएसीई-कमी]]|पीएसपीएसीई-रिड्यूसिबल है (बहुपद समय में चलने वाला क्वांटम कंप्यूटर [[बहुपद स्थान]] में चलने वाले शास्त्रीय कंप्यूटर द्वारा अनुकरण किया जा सकता है) .<ref>{{cite journal |url=http://www.cs.berkeley.edu/~vazirani/bv.ps |doi=10.1137/S0097539796300921|title=क्वांटम जटिलता सिद्धांत|year=1997|last1=Bernstein|first1=Ethan|last2=Vazirani|first2=Umesh|journal=SIAM Journal on Computing|volume=26|issue=5|pages=1411–1473}}</ref>
</ref> मानक क्वबिट-मॉडल [[ एक कंप्यूटर जितना |नियमित क्वांटम कंप्यूटर पीएसपीएसीई-रिड्यूसिबल]] का उपयोग करना संभव नहीं है, क्योंकि यह सिद्ध है कि एक नियमित क्वांटम कंप्यूटर पीएसपीएसीई-रिड्यूसिबल है।<ref>{{cite journal |url=http://www.cs.berkeley.edu/~vazirani/bv.ps |doi=10.1137/S0097539796300921|title=क्वांटम जटिलता सिद्धांत|year=1997|last1=Bernstein|first1=Ethan|last2=Vazirani|first2=Umesh|journal=SIAM Journal on Computing|volume=26|issue=5|pages=1411–1473}}</ref>




=== आख़िरकार सही सिस्टम===
=== "इवेंचुअली करेक्ट" सिस्टम===
कुछ भौतिक रूप से साकार करने योग्य प्रणालियाँ हमेशा अंततः सही उत्तर पर आ जाती हैं, परंतु उनमें दोष यह है कि वे अक्सर गलत उत्तर देते हैं और अंततः वापस जाने और गलती को सुधारने से पहले असंगत रूप से बड़ी अवधि के लिए गलत उत्तर पर टिके रहते हैं।
कुछ भौतिक रूप से साकार करने योग्य सिस्टम अंततः सदैव सही उत्तर पर आ जाती हैं, परंतु उनमें दोष यह है कि वे प्रायः गलत उत्तर देते हैं और अंततः वापस जाने और गलती को सुधारने से पहले असंगत रूप से बड़ी अवधि के लिए गलत उत्तर पर आधारित रहते हैं।


*1960 के दशक के मध्य में, [[ई मार्क गोल्ड]] और [[हिलेरी पटनम]] ने स्वतंत्र रूप से [[आगमनात्मक अनुमान]] (सीमित पुनरावर्ती कार्यात्मकता) के मॉडल प्रस्तावित किए<ref name=LimRecurs>{{cite journal | author=E. M. Gold | title=सीमित प्रत्यावर्तन| journal=Journal of Symbolic Logic | volume=30 | issue=1 | pages=28–48 | year=1965 | jstor=2270580 | doi=10.2307/2270580| s2cid=33811657 }}, {{cite journal | author=E. Mark Gold | title=Language identification in the limit | journal=Information and Control | volume=10 | pages=447–474 | year=1967 | doi=10.1016/S0019-9958(67)91165-5 | issue=5| doi-access=free }}</ref> और परीक्षण-और-त्रुटि विधेय,<ref name=TrialError>{{cite journal | author=Hilary Putnam | title=परीक्षण और त्रुटि भविष्यवाणी और मोस्टोवेक्सी की समस्या का समाधान| journal=Journal of Symbolic Logic | volume=30 | issue=1 | pages=49–57 | year=1965 | jstor=2270581 | doi=10.2307/2270581| s2cid=44655062 }}</ref> क्रमश)। ये मॉडल संख्याओं या भाषाओं के कुछ गैर-पुनरावर्ती सेट (भाषाओं के सभी पुनरावर्ती गणनीय सेट सहित) को सीमा में सीखने में सक्षम बनाते हैं; जबकि, परिभाषा के अनुसार, ट्यूरिंग मशीन द्वारा संख्याओं या भाषाओं के केवल पुनरावर्ती सेट की पहचान की जा सकती है। जबकि मशीन कुछ सीमित समय में किसी भी सीखने योग्य सेट पर सही उत्तर पर स्थिर हो जाएगी, यह केवल इसे सही के रूप में पहचान सकती है यदि यह पुनरावर्ती है; अन्यथा, शुद्धता केवल मशीन को हमेशा चलाने और यह ध्यान देने से ही स्थापित होती है कि यह अपने उत्तर को कभी संशोधित नहीं करती है। पुत्नाम ने इस नई व्याख्या को अनुभवजन्य विधेय के वर्ग के रूप में पहचाना, कहा: यदि हम हमेशा 'मानते' हैं कि सबसे हाल ही में उत्पन्न उत्तर सही है, तो हम सीमित संख्या में गलतियाँ करेंगे, परंतु अंततः हमें सही उत्तर मिलेगा। (ध्यान दें, हालांकि, भले ही हमें सही उत्तर (सीमित अनुक्रम का अंत) मिल गया हो, हम कभी भी आश्वस्त नहीं होते हैं कि हमारे पास सही उत्तर है।)<ref name=TrialError/>एल. के. शुबर्ट का 1974 का पेपर इटरेटेड लिमिटिंग रिकर्सन एंड द प्रोग्राम मिनिमाइजेशन प्रॉब्लम<ref name=IterLimRec>{{cite journal| author=L. K. Schubert | title=पुनरावृत्त सीमित प्रत्यावर्तन और प्रोग्राम न्यूनीकरण समस्या| journal=Journal of the ACM | volume=21 | issue=3 |date=July 1974 | doi=10.1145/321832.321841| pages=436–445| s2cid=2071951 }}</ref> सीमित प्रक्रिया को दोहराने के प्रभावों का अध्ययन किया; यह किसी भी [[अंकगणितीय पदानुक्रम]] विधेय की गणना करने की अनुमति देता है। शूबर्ट ने लिखा, सहज रूप से, पुनरावृत्त सीमित पहचान को निम्न क्रम आगमनात्मक अनुमान मशीनों के लगातार बढ़ते समुदाय द्वारा सामूहिक रूप से निष्पादित उच्च-क्रम आगमनात्मक अनुमान के रूप में माना जा सकता है।
*1960 के दशक के मध्य में, [[ई मार्क गोल्ड]] और [[हिलेरी पटनम]] ने स्वतंत्र रूप से क्रमश [[आगमनात्मक अनुमान]] (सीमित पुनरावर्ती कार्यात्मकता) और परीक्षण-और-त्रुटि विधेय के मॉडल प्रस्तावित किए<ref name=LimRecurs>{{cite journal | author=E. M. Gold | title=सीमित प्रत्यावर्तन| journal=Journal of Symbolic Logic | volume=30 | issue=1 | pages=28–48 | year=1965 | jstor=2270580 | doi=10.2307/2270580| s2cid=33811657 }}, {{cite journal | author=E. Mark Gold | title=Language identification in the limit | journal=Information and Control | volume=10 | pages=447–474 | year=1967 | doi=10.1016/S0019-9958(67)91165-5 | issue=5| doi-access=free }}</ref> <ref name=TrialError>{{cite journal | author=Hilary Putnam | title=परीक्षण और त्रुटि भविष्यवाणी और मोस्टोवेक्सी की समस्या का समाधान| journal=Journal of Symbolic Logic | volume=30 | issue=1 | pages=49–57 | year=1965 | jstor=2270581 | doi=10.2307/2270581| s2cid=44655062 }}</ref>। ये मॉडल संख्याओं या भाषाओं के कुछ गैर-पुनरावर्ती समुच्चय (भाषाओं के सभी पुनरावर्ती गणनीय समुच्चय सहित) को सीमा में सीखने में सक्षम बनाते हैं; जबकि, परिभाषा के अनुसार, ट्यूरिंग मशीन द्वारा संख्याओं या भाषाओं के केवल पुनरावर्ती समुच्चय की पहचान की जा सकती है। जबकि मशीन कुछ सीमित समय में किसी भी सीखने योग्य सेट पर सही उत्तर पर स्थिर हो जाएगी, यह केवल इसे सही के रूप में पहचान सकती है यदि यह पुनरावर्ती है; अन्यथा, शुद्धता केवल मशीन को सदैव चलाने और यह ध्यान देने से ही स्थापित होती है कि यह अपने उत्तर को कभी संशोधित नहीं करती है। पुत्नाम ने इस नई व्याख्या को अनुभवजन्य विधेय के वर्ग के रूप में पहचाना, कहा: यदि हम हमेशा 'मानते' हैं कि सबसे हाल ही में उत्पन्न उत्तर सही है, तो हम सीमित संख्या में गलतियाँ करेंगे, परंतु अंततः हमें सही उत्तर मिलेगा। (ध्यान दें, यद्यपि, भले ही हमें सही उत्तर (सीमित अनुक्रम का अंत) मिल गया हो, हम कभी भी आश्वस्त नहीं होते हैं कि हमारे पास सही उत्तर है।)<ref name=TrialError/>एल. के. शुबर्ट का 1974 का पेपर इटरेटेड लिमिटिंग रिकर्सन एंड द प्रोग्राम मिनिमाइजेशन प्रॉब्लम<ref name=IterLimRec>{{cite journal| author=L. K. Schubert | title=पुनरावृत्त सीमित प्रत्यावर्तन और प्रोग्राम न्यूनीकरण समस्या| journal=Journal of the ACM | volume=21 | issue=3 |date=July 1974 | doi=10.1145/321832.321841| pages=436–445| s2cid=2071951 }}</ref> सीमित प्रक्रिया को दोहराने के प्रभावों का अध्ययन किया; यह किसी भी [[अंकगणितीय पदानुक्रम]] विधेय की गणना करने की अनुमति देता है। शूबर्ट ने लिखा, सहज रूप से, पुनरावृत्त सीमित पहचान को निम्न क्रम आगमनात्मक अनुमान मशीनों के लगातार बढ़ते समुदाय द्वारा सामूहिक रूप से निष्पादित उच्च-क्रम आगमनात्मक अनुमान के रूप में माना जा सकता है।
*एक प्रतीक अनुक्रम सीमा में गणनीय है यदि सार्वभौमिक ट्यूरिंग मशीन पर एक सीमित, संभवतः गैर-रोकने वाला प्रोग्राम है जो अनुक्रम के प्रत्येक प्रतीक को क्रमिक रूप से आउटपुट करता है। इसमें π और प्रत्येक अन्य [[गणना योग्य वास्तविक|गणनीय वास्तविक]] का डायडिक विस्तार सम्मिलित है, परंतु फिर भी सभी गैर-गणनीय वास्तविकताओं को सम्मिलित नहीं किया गया है। पारंपरिक रूप से [[न्यूनतम विवरण लंबाई]] सिद्धांत में उपयोग की जाने वाली 'मोनोटोन ट्यूरिंग मशीनें' अपने पिछले आउटपुट को संपादित नहीं कर सकती हैं; सामान्यीकृत ट्यूरिंग मशीनें, जैसा कि जुर्गन श्मिडहुबर द्वारा परिभाषित किया गया है, कर सकती हैं। वह रचनात्मक रूप से वर्णन करने योग्य प्रतीक अनुक्रमों को उन लोगों के रूप में परिभाषित करता है जिनमें एक सामान्यीकृत ट्यूरिंग मशीन पर चलने वाला एक सीमित, गैर-रोक कार्यक्रम होता है, जैसे कि कोई भी आउटपुट प्रतीक अंततः परिवर्तित हो जाता है; अर्थात्, कुछ सीमित प्रारंभिक समय अंतराल के बाद इसमें कोई परिवर्तन नहीं होता है। कर्ट गोडेल (1931) द्वारा पहली बार प्रदर्शित सीमाओं के कारण, एक रुकावट कार्यक्रम द्वारा स्वयं अभिसरण समय की भविष्यवाणी करना असंभव हो सकता है, अन्यथा हॉल्टिंग समस्या हल हो सकती है। श्मिधुबर (<ref name=genTuring2000>{{cite arXiv | eprint=quant-ph/0011122| last1=Schmidhuber| first1=Juergen| title=हर चीज़ के एल्गोरिथम सिद्धांत| year=2000}}</ref><ref name=GenKolm>{{cite journal| author=J. Schmidhuber | title=सामान्यीकृत कोलमोगोरोव जटिलताओं के पदानुक्रम और सीमा में गणना योग्य अनगिनत सार्वभौमिक उपाय| journal=International Journal of Foundations of Computer Science | volume=13 | issue=4 | pages=587–612 | year=2002 | url=http://www.idsia.ch/~juergen/kolmogorov.html| doi=10.1142/S0129054102001291 | arxiv=quant-ph/0011122 | bibcode=2000quant.ph.11122S}}</ref>) औपचारिक रूप से वर्णित या रचनात्मक रूप से गणनीय ब्रह्मांडों या हर चीज के रचनात्मक सिद्धांत के सेट को परिभाषित करने के लिए इस दृष्टिकोण का उपयोग करता है। सामान्यीकृत ट्यूरिंग मशीनें अंततः स्पेकर अनुक्रम का मूल्यांकन करके हॉल्टिंग समस्या के सही समाधान में जुट सकती हैं।
*एक प्रतीक अनुक्रम सीमा में गणनीय है यदि सार्वभौमिक ट्यूरिंग मशीन पर एक सीमित, संभवतः नॉन-हॉल्टिंग प्रोग्राम है जो अनुक्रम के प्रत्येक प्रतीक को क्रमिक रूप से आउटपुट करता है। इसमें π और प्रत्येक अन्य [[गणना योग्य वास्तविक|गणनीय वास्तविक]] का डायडिक विस्तार सम्मिलित है, परंतु फिर भी सभी गैर-गणनीय वास्तविकताओं को सम्मिलित नहीं किया गया है। पारंपरिक रूप से [[न्यूनतम विवरण लंबाई]] सिद्धांत में उपयोग की जाने वाली 'मोनोटोन ट्यूरिंग मशीनें' अपने पिछले आउटपुट को संपादित नहीं कर सकती हैं; सामान्यीकृत ट्यूरिंग मशीनें, जैसा कि जुर्गन श्मिडहुबर द्वारा परिभाषित किया गया है, कर सकती हैं। वह रचनात्मक रूप से वर्णन करने योग्य प्रतीक अनुक्रमों को उन लोगों के रूप में परिभाषित करता है जिनमें एक सामान्यीकृत ट्यूरिंग मशीन पर चलने वाला एक सीमित, गैर-रोक कार्यक्रम होता है, जैसे कि कोई भी आउटपुट प्रतीक अंततः परिवर्तित हो जाता है; अर्थात्, कुछ सीमित प्रारंभिक समय अंतराल के बाद इसमें कोई परिवर्तन नहीं होता है। कर्ट गोडेल (1931) द्वारा पहली बार प्रदर्शित सीमाओं के कारण, एक हॉल्टिंग प्रोग्राम द्वारा स्वयं अभिसरण समय का अनुमान करना असंभव हो सकता है, अन्यथा हॉल्टिंग समस्या हल हो सकती है। श्मिधुबर (<ref name=genTuring2000>{{cite arXiv | eprint=quant-ph/0011122| last1=Schmidhuber| first1=Juergen| title=हर चीज़ के एल्गोरिथम सिद्धांत| year=2000}}</ref><ref name=GenKolm>{{cite journal| author=J. Schmidhuber | title=सामान्यीकृत कोलमोगोरोव जटिलताओं के पदानुक्रम और सीमा में गणना योग्य अनगिनत सार्वभौमिक उपाय| journal=International Journal of Foundations of Computer Science | volume=13 | issue=4 | pages=587–612 | year=2002 | url=http://www.idsia.ch/~juergen/kolmogorov.html| doi=10.1142/S0129054102001291 | arxiv=quant-ph/0011122 | bibcode=2000quant.ph.11122S}}</ref>) औपचारिक रूप से वर्णित या रचनात्मक रूप से गणनीय ब्रह्मांडों या प्रत्येक वस्तु के रचनात्मक सिद्धांत के समुच्चय को परिभाषित करने के लिए इस दृष्टिकोण का उपयोग करता है। सामान्यीकृत ट्यूरिंग मशीनें अंततः स्पेकर अनुक्रम का मूल्यांकन करके हॉल्टिंग समस्या के सही समाधान में जुट सकती हैं।


==क्षमताओं का विश्लेषण==
==क्षमताओं का विश्लेषण==
कई हाइपरकंप्यूटेशन प्रस्तावों में ओरेकल मशीन या अन्यथा शास्त्रीय मशीन में एम्बेडेड [[सलाह (जटिलता)]] को पढ़ने के वैकल्पिक तरीके सम्मिलित हैं। अन्य लोग अंकगणितीय पदानुक्रम के कुछ उच्च स्तर तक पहुंच की अनुमति देते हैं। उदाहरण के लिए, सुपरटास्किंग ट्यूरिंग मशीनें, सामान्य धारणाओं के तहत, सत्य-तालिका कमी में किसी भी विधेय की गणना करने में सक्षम होंगी | सत्य-तालिका डिग्री युक्त <math>\Sigma^0_1</math> या <math>\Pi^0_1</math>. इसके विपरीत, सीमित-पुनरावर्तन, संबंधित [[ट्यूरिंग डिग्री]] में किसी भी विधेय या फ़ंक्शन की गणना कर सकता है, जिसे जाना जाता है <math>\Delta^0_2</math>. गोल्ड ने आगे दिखाया कि आंशिक रिकर्सन को सीमित करने से सटीक गणना की अनुमति मिल जाएगी <math>\Sigma^0_2</math> विधेय.
कई हाइपरकंप्यूटेशन प्रस्तावनाएं यह सिद्ध करती हैं कि ये वैकल्पिक विधियाँ हैं जिनसे एक क्लासिकल मशीन में एम्बेड किए गए एक ऑरेकल या [[सलाह (जटिलता)|अड्वाइस फ़ंक्शन]] को पढ़ा जा सकता है। अन्य विधियाँ अंकगणितीय पदानुक्रम के कुछ उच्च स्तर तक पहुंच की अनुमति देते हैं। उदाहरण के लिए, सुपरटास्किंग ट्यूरिंग मशीनें, सामान्य धारणाओं के अंतर्गत, ट्रुथ-टेबल रीडक्शन <math>\Sigma^0_1</math> या <math>\Pi^0_1</math> में किसी भी विधेय की गणना करने में सक्षम होती हैं इसके विपरीत, सीमित-पुनरावर्तन, संबंधित [[ट्यूरिंग डिग्री]] में किसी भी विधेय या फलन की गणना कर सकता है, जिसे <math>\Delta^0_2</math> के रूप में जाना जाता है। गोल्ड ने आगे प्रदर्शित किया कि आंशिक रिकर्सन को सीमित करने से सटीक गणना की अनुमति मिल जाएगी।


{| class="wikitable sortable"
{| class="wikitable sortable"
|-
|-
! Model
! मॉडल
! Computable predicates
! गणनीय विधेय
! Notes
! टिप्पणियाँ
! Refs
! उद्धरण
|-
|-
| supertasking
| सुपरटास्किंग
| tt(<math>\Sigma^0_1, \Pi^0_1</math>)
| tt(<math>\Sigma^0_1, \Pi^0_1</math>)
| dependent on outside observer
| बाह्य पर्यवेक्षक पर निर्भर
| <ref>{{cite journal| author=Petrus H. Potgieter| title=Zeno machines and hypercomputation| journal=Theoretical Computer Science| volume=358 | issue=1 |date=July 2006 | pages=23–33| doi=10.1016/j.tcs.2005.11.040| arxiv=cs/0412022| s2cid=6749770}}</ref>
| <ref>{{cite journal| author=Petrus H. Potgieter| title=Zeno machines and hypercomputation| journal=Theoretical Computer Science| volume=358 | issue=1 |date=July 2006 | pages=23–33| doi=10.1016/j.tcs.2005.11.040| arxiv=cs/0412022| s2cid=6749770}}</ref>
|-
|-
| limiting/trial-and-error
| परिमित/परीक्षण-और-त्रुटि
| <math> \Delta^0_2 </math>
| <math> \Delta^0_2 </math>
|  
|  
| <ref name=LimRecurs/>
| <ref name=LimRecurs/>
|-
|-
| iterated limiting (''k'' times)
| पुनरावृत्त परिमित (''k'' बार)
| <math> \Delta^0_{k+1} </math>
| <math> \Delta^0_{k+1} </math>
|  
|  
| <ref name=IterLimRec/>
| <ref name=IterLimRec/>
|-
|-
| [[Blum–Shub–Smale machine]]
| [[ब्लम-शब-स्माले मशीन]]
|   
|   
| incomparable with traditional [[computable real]] functions
| पारंपरिक [[गणनीय]] फलनों के साथ अतुलनीय
| <ref>{{cite book|author=[[Lenore Blum]], Felipe Cucker, Michael Shub, and [[Stephen Smale]]|title=Complexity and Real Computation|title-link= Complexity and Real Computation |isbn=978-0-387-98281-6|year=1998}}</ref>
| <ref>{{cite book|author=[[Lenore Blum]], Felipe Cucker, Michael Shub, and [[Stephen Smale]]|title=Complexity and Real Computation|title-link= Complexity and Real Computation |isbn=978-0-387-98281-6|year=1998}}</ref>
|-
|-
| [[Malament–Hogarth spacetime]]
| [[मैलामेंट-हॉगर्थ स्पेसटाइम]]
| '''[[Hyperarithmetic hierarchy|HYP]]'''
| '''[[हाइपरारिथमेटिक पदानुक्रम|एचवाईपी]]'''
| dependent on spacetime structure
| स्पेसटाइम स्ट्रक्चर पर निर्भर
| <ref>{{cite journal | author=P.D. Welch | title = The extent of computation in Malament-Hogarth spacetimes | arxiv=gr-qc/0609035 | journal=British Journal for the Philosophy of Science |volume=59 | issue = 4 |year= 2008 | pages=659–674 | doi=10.1093/bjps/axn031| author-link = P.D. Welch }}</ref>
| <ref>{{cite journal | author=P.D. Welch | title = The extent of computation in Malament-Hogarth spacetimes | arxiv=gr-qc/0609035 | journal=British Journal for the Philosophy of Science |volume=59 | issue = 4 |year= 2008 | pages=659–674 | doi=10.1093/bjps/axn031| author-link = P.D. Welch }}</ref>
|-
|-
|-
|-
| analog recurrent neural network
| एनालॉग आवर्तक न्यूरल नेटवर्क
| <math> \Delta^0_1[f] </math>
| <math> \Delta^0_1[f] </math>
| ''f'' is an advice function giving connection weights; size is bounded by runtime
| ''f'' संयोजन भार देने वाला एक अड्वाइस फंक्शन है; आकार रनटाइम द्वारा परिमित है
| <ref name="Siegelmann.1995">{{cite journal | doi=10.1126/science.268.5210.545 | pmid=17756722 | url=http://binds.cs.umass.edu/papers/1995_Siegelmann_Science.pdf | author=H.T. Siegelmann | title=Computation Beyond the Turing Limit | journal=Science | volume=268 | number=5210 | pages=545–548 | date=Apr 1995 | bibcode=1995Sci...268..545S | s2cid=17495161 }}</ref><ref>{{cite journal | author=Hava Siegelmann | author2=Eduardo Sontag | title=Analog Computation via Neural Networks | journal=Theoretical Computer Science | volume=131 | year=1994 | pages=331–360 | doi=10.1016/0304-3975(94)90178-3 | issue=2 | author-link2=Eduardo Sontag| author-link=Hava Siegelmann | doi-access=free }}</ref>
| <ref name="Siegelmann.1995">{{cite journal | doi=10.1126/science.268.5210.545 | pmid=17756722 | url=http://binds.cs.umass.edu/papers/1995_Siegelmann_Science.pdf | author=H.T. Siegelmann | title=Computation Beyond the Turing Limit | journal=Science | volume=268 | number=5210 | pages=545–548 | date=Apr 1995 | bibcode=1995Sci...268..545S | s2cid=17495161 }}</ref><ref>{{cite journal | author=Hava Siegelmann | author2=Eduardo Sontag | title=Analog Computation via Neural Networks | journal=Theoretical Computer Science | volume=131 | year=1994 | pages=331–360 | doi=10.1016/0304-3975(94)90178-3 | issue=2 | author-link2=Eduardo Sontag| author-link=Hava Siegelmann | doi-access=free }}</ref>
|-
|-
| infinite time Turing machine
| अनंत समय ट्यूरिंग मशीन
| <math> AQI</math>
| <math> AQI</math>
| Arithmetical Quasi-Inductive sets
| अंकगणितीय क्वासी-इन्डक्टिव समुच्चय
|  <ref>{{cite journal|author=P.D. Welch |title=Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems |journal=Theoretical Computer Science |year=2009 |volume=410 |issue=4–5 |pages=426–442 |doi=10.1016/j.tcs.2008.09.050  |author-link=P.D. Welch |doi-access=free }}</ref>
|  <ref>{{cite journal|author=P.D. Welch |title=Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems |journal=Theoretical Computer Science |year=2009 |volume=410 |issue=4–5 |pages=426–442 |doi=10.1016/j.tcs.2008.09.050  |author-link=P.D. Welch |doi-access=free }}</ref>
|-
|-
| classical fuzzy Turing machine
| पारंपरिक फजी ट्यूरिंग मशीन
| <math> \Sigma^0_1 \cup \Pi^0_1 </math>
| <math> \Sigma^0_1 \cup \Pi^0_1 </math>
| for any computable [[T-norm fuzzy logics|t-norm]]
| किसी भी गणनीय फलन के लिए [[टी-मानदंड फ़ज़ी लॉजिक्स|टी-मानदंड]]
| <ref name=ClassicalFuzzy />
| <ref name=ClassicalFuzzy />
|-
|-
| increasing function oracle
| ओरेकल फ़ंक्शन
| <math> \Delta^1_1 </math>
| <math> \Delta^1_1 </math>
| for the one-sequence model; <math> \Pi^1_1 </math> are r.e.
| एक-अनुक्रम मॉडल के लिए; <math> \Pi^1_1 </math> r.e. हैं।
| <ref name=Taranovsky/>
| <ref name=Taranovsky/>
|}
|}




==आलोचना==
==आलोचना==
[[मार्टिन डेविस (गणितज्ञ)]] ने हाइपरकंप्यूटेशन पर अपने लेखन में,<ref name=Davis95>{{cite journal | author=Davis, Martin | title = हाइपरकंप्यूटेशन जैसा कोई अनुशासन क्यों नहीं है?| journal = Applied Mathematics and Computation | volume = 178 | issue = 1 <!-- Special Issue on Hypercomputation --> | year = 2006 | pages = 4–7 | doi = 10.1016/j.amc.2005.09.066}}</ref><ref>{{cite book |last=Davis| first=Martin|title=Alan Turing: Life and Legacy of a Great Thinker|publisher=Springer|year=2004  |chapter=The Myth of Hypercomputation}}</ref>
[[मार्टिन डेविस (गणितज्ञ)|मार्टिन डेविस]] ने हाइपरकंप्यूटेशन पर अपने लेखों में<ref name=Davis95>{{cite journal | author=Davis, Martin | title = हाइपरकंप्यूटेशन जैसा कोई अनुशासन क्यों नहीं है?| journal = Applied Mathematics and Computation | volume = 178 | issue = 1 <!-- Special Issue on Hypercomputation --> | year = 2006 | pages = 4–7 | doi = 10.1016/j.amc.2005.09.066}}</ref><ref>{{cite book |last=Davis| first=Martin|title=Alan Turing: Life and Legacy of a Great Thinker|publisher=Springer|year=2004  |chapter=The Myth of Hypercomputation}}</ref> इस विषय को "एक मिथक" के रूप में संदर्भित किया है और हाइपरकंप्यूटेशन की भौतिकता के विरुद्ध विरोध-तर्क प्रस्तुत किये हैं। विषयवस्तु संबंधी अपने सिद्धांत में, उन्होंने उन दावों के विरुद्ध तर्क किए हैं जो कहते हैं कि हाइपरकंप्यूटेशन एक नई शाखा है जिसकी स्थापना 1990 के दशक में हुई। यह दृष्टिकोण कंप्यूटेबिलिटी सिद्धांत के इतिहास (असंविधानियों के डिग्री, फ़ंक्शन, वास्तविक संख्याएँ और ऑर्डिनल्स पर गणनीयता) पर निर्भर करता है, जैसा कि ऊपर भी उल्लेखित किया गया है। अपने तर्क में, उन्होंने एक टिप्पणी की है जिसमें कहा गया है कि हाइपरकंप्यूटेशन का मूल सार बस इतना ही है कि: "यदि अगणनीय इनपुट स्वीकार्य हैं, तो अगणनीय आउटपुट प्राप्त किए जा सकते हैं।"<ref>{{cite book | url=https://www.mfo.de/document/0304a/Report03_2003.pdf | author=Martin Davis | contribution=The Myth of Hypercomputation | editor=Alexandra Shlapentokh | title=Miniworkshop: Hilbert's Tenth Problem, Mazur's Conjecture and Divisibility Sequences | publisher=Mathematisches Forschungsinstitut Oberwolfach | series=MFO Report | volume=3 | pages=2 | date=Jan 2003 }}</ref>
इस विषय को एक मिथक के रूप में संदर्भित करता है और इसके प्रति-तर्क प्रस्तुत करता है
हाइपरकंप्यूटेशन की भौतिक प्राप्ति। जहां तक ​​इसके सिद्धांत का सवाल है, वह इसके ख़िलाफ़ तर्क देते हैं
दावा है कि यह 1990 के दशक में स्थापित एक नया क्षेत्र है। यह दृष्टिकोण निर्भर करता है
कम्प्यूटेबिलिटी सिद्धांत के इतिहास पर (असॉल्वेबिलिटी की डिग्री, कम्प्यूटेबिलिटी खत्म)।
फ़ंक्शन, वास्तविक संख्याएं और क्रमसूचक), जैसा कि ऊपर भी बताया गया है।
अपने तर्क में, उन्होंने एक टिप्पणी की कि सभी हाइपरकंप्यूटेशन इससे थोड़ा अधिक है: यदि गैर-गणनीय इनपुट की अनुमति है, तो गैर-गणनीय आउटपुट प्राप्य हैं।<ref>{{cite book | url=https://www.mfo.de/document/0304a/Report03_2003.pdf | author=Martin Davis | contribution=The Myth of Hypercomputation | editor=Alexandra Shlapentokh | title=Miniworkshop: Hilbert's Tenth Problem, Mazur's Conjecture and Divisibility Sequences | publisher=Mathematisches Forschungsinstitut Oberwolfach | series=MFO Report | volume=3 | pages=2 | date=Jan 2003 }}</ref>




Line 176: Line 198:


{{Authority control}}
{{Authority control}}
[[Category: हाइपरकंप्यूटेशन| हाइपरकंप्यूटेशन]] [[Category: गणना का सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:CS1 maint]]
[[Category:Created On 20/07/2023]]
[[Category:Created On 20/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Template documentation pages|Short description/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Webarchive template wayback links]]
[[Category:गणना का सिद्धांत]]
[[Category:हाइपरकंप्यूटेशन| हाइपरकंप्यूटेशन]]

Latest revision as of 14:12, 3 August 2023

हाइपरकम्प्यूटेशन या सुपर-ट्यूरिंग कम्प्यूटेशन एक ऐसा कम्प्यूटेशन मॉडल हैं जो नॉन ट्यूरिंग-कम्प्यूटेबल आउटपुट प्रदान करता हैं। सुपर-ट्यूरिंग कंप्यूटिंग, जिसे 1990 के दशक के प्रारंभ में हावा सीगलमैन द्वारा प्रस्तुत किया गया था; ऐसे न्यूरोलॉजिकल प्रेरित, जैविक और भौतिक कंप्यूटिंग को संदर्भित करता है जो लाइफलॉंग मशीन लर्निंग का गणितीय आधार बन गया है। हाइपरकंप्यूटेशन, जिसे 1990 के दशक के अंत में विज्ञान के एक क्षेत्र के रूप में प्रस्तुत किया गया था, के संदर्भ में कहा जाता है कि यह सुपर-ट्यूरिंग पर आधारित है, परंतु इसमें ऐसे निर्माण भी सम्मिलित हैं जो दार्शनिक हैं। उदाहरण के लिए, एक मशीन जो हॉल्टिंग प्रॉब्लम का समाधान कर सकती है वह हाइपर कंप्यूटर होगी; इसी प्रकार वह मशीन भी हाइपरकंप्यूटर होगी जो पीनो अंकगणित में प्रत्येक कथन का सही समाधान कर सकती है।

चर्च-ट्यूरिंग शोध-प्रबंध में कहा गया है कि किसी भी ''गणनीय'' फलन की गणना, यदि किसी गणितज्ञ द्वारा सरल विधिकलन के किसी परिमित समुच्चय का उपयोग करके कलम और कागज के साथ की जा सकती है, तो ट्यूरिंग मशीन द्वारा इसकी गणना भी संभव है। हाइपरकंप्यूटर उन फलनों की गणना करता है जो एक ट्यूरिंग मशीन नहीं कर सकती है और जो, इस प्रकार चर्च-ट्यूरिंग अर्थ में "गणनीय" नहीं हैं।

तकनीकी रूप से, एक रैंडम ट्यूरिंग मशीन का आउटपुट गणनीय नहीं होता है; यद्यपि, अधिकांश हाइपरकंप्यूटिंग साहित्य, यादृच्छिक, अगणनीय फलनों के अतिरिक्त, निर्धारणात्मक फलनों की गणना पर ध्यान केंद्रित करते है।

इतिहास

ट्यूरिंग मशीनों से अधिक शक्तिशाली एक कम्प्यूटेशनल मॉडल एलन ट्यूरिंग द्वारा अपने 1938 के पीएचडी शोध प्रबंध "सिस्टम्स ऑफ़ लॉजिक बेस्ड ऑन ऑर्डिनल्स" में प्रस्तुत किया गया था।[1] इस लेख में ऐसे गणितीय प्रणालियों की खोज की गई, जिनमें ओरेकल उपलब्ध था, जो प्राकृतिक संख्याओं से प्राकृतिक संख्याओं के लिए एक गैर-पुनरावृत्ति विशेष फलन की गणना कर सकता था। उन्होंने इस उपकरण का उपयोग यह सिद्ध करने के लिए किया कि उन अधिक शक्तिशाली प्रणालियों में, अपरिभाष्यता समस्या अभी भी उपलब्ध है। ट्यूरिंग के ऑरेकल मशीन गणितीय अवकलन हैं और इन्हें भौतिक रूप से संभाव्य नहीं बनाया जा सकता है।[2]


स्टेट स्पेस

एक अर्थ में, अधिकांश फलन अगणनीय होते हैं: जहाँ गणनीय फलनों की संख्या हैं; सुपर-ट्यूरिंग फलनों की संख्या () अगणनीय होती है।[3]






मॉडल

हाइपरकंप्यूटर मॉडल विभिन्न रूपों में पाए जाते हैं, जिनमें से कुछ उपयुक्त होते हैं परंतु संभवतः अप्राप्य नहीं होते (जैसे कि ट्यूरिंग की मूल ऑरेकल मशीनें), और कुछ कम उपयुक्त रैंडम-फ़ंक्शन जेनरेटर्स होते हैं जो संभवतः "गणनीय" होते हैं (जैसे कि एक रैंडम ट्यूरिंग मशीन)।

अगणनीय इनपुट या ब्लैक-बॉक्स कॉमपोनेन्ट

एक सिस्टम ने इनपुट के रूप में अगणनीय, ओरैक्यूलर चैतिन स्थिरांक (अंकों के अनंत अनुक्रम वाली एक संख्या जो हॉल्टिंग समस्या के समाधान को कूटबद्ध करती है) का ज्ञान प्रदान किया है, जो बड़ी संख्या में उपयोगी अपरिभाष्य समस्याओं को हल कर सकता है; एक इनपुट के रूप में एक अगणनीय रैंडम-नंबर जनरेटर प्रदान किया गया सिस्टम रैंडम अगणनीय फलनों का निर्माण कर सकता है, परंतु सामान्यतः यह नहीं माना जाता है कि यह हॉल्टिंग समस्या जैसे उपयोगी अगणनीय फलनों को सार्थक रूप से हल करने में सक्षम है। विभिन्न प्रकार के कल्पनीय हाइपरकंप्यूटरों की असीमित संख्या है, जिनमें सम्मिलित हैं:

  • 1939 में ट्यूरिंग द्वारा परिभाषित, ट्यूरिंग की मूल ओरेकल मशीनें।
  • यदि भौतिकवाद सामान्य वास्तविक चर केवल गणनीय संख्या को स्वीकार करती है, और ये किसी तरह से गणना के लिए उपयोगी हैं तो एक रियल कंप्यूटर हाइपरकंप्यूटेशन कर सकता है[4] इसके लिए भौतिकी के अत्यधिक विचित्र नियमों की आवश्यकता हो सकती है (उदाहरण के लिए, एक अपरिमित मान के साथ मापने योग्य भौतिक स्थिरांक, जैसे कि चैतिन का स्थिरांक), और वास्तविक-मान भौतिक मान को यादृच्छिक विधि से परिशुद्धता में मापने की क्षमता की आवश्यकता होगी, यद्यपि मानक भौतिकी ऐसे यादृच्छिक-सटीक माप को सैद्धांतिक रूप से अव्यवहार्य बनाती है।[5]
    • इसी प्रकार, एक न्यूरल नेट जिसमें चैतिन का स्थिरांक किसी तरह उसके भार फलन में सटीक रूप से अंतर्निहित होता है, हॉल्टिंग समस्या को हल करने में सक्षम होगा,[6] परंतु यह वास्तविक गणना पर आधारित हाइपरकंप्यूटेशन के अन्य मॉडलों की तरह ही भौतिक कठिनाइयों के अधीन है।
  • कुछ फ़ज़ी लॉजिक-आधारित फ़ज़ी ट्यूरिंग मशीनें, परिभाषा के अनुसार, गलती से हॉल्टिंग समस्या को हल कर सकती हैं, परंतु केवल इसलिए क्योंकि हॉल्टिंग समस्या को हल करने की उनकी क्षमता परोक्ष रूप से मशीन के विनिर्देशन में मानी जाती है; इसे मशीनों के मूल विनिर्देश में एक बग के रूप में देखा जाता है।[7][8]
    • इसी तरह, एक प्रस्तावित मॉडल जिसे निष्पक्ष गैर-नियतिवाद के रूप में जाना जाता है, गलती से गैर-गणनीय कार्यों की मौखिक गणना की अनुमति दे सकता है, क्योंकि परिभाषा के अनुसार, ऐसी कुछ प्रणालियों में अस्वीकार इनपुट की पहचान करने की मौखिक क्षमता होती है जो गलत विधि से एक उपप्रणाली को सदा के लिए चलाने का कारण बनेगी।[9][10]
  • दिमित्रो तारानोव्स्की ने विश्लेषण की पारंपरिक रूप से गैर-फ़िनिटिस्टिक शाखाओं का एक परिमितवाद मॉडल प्रस्तावित किया है, जो एक ट्यूरिंग मशीन के निकट बनाया गया है जो इसके ओरेकल के रूप में तेजी से बढ़ते फ़ंक्शन से सुसज्जित है। इस और अधिक जटिल मॉडलों के द्वारा वह दूसरे क्रम के अंकगणित की व्याख्या देने में सक्षम थे। इन मॉडलों को एक अगणनीय इनपुट की आवश्यकता होती है, जैसे कि एक भौतिक घटना-उत्पादन प्रक्रिया जहां घटनाओं के मध्य का अंतराल एक अगणनीय रूप से बड़ी दर से बढ़ता है।[11]
    • इसी प्रकार, असीमित गैर-नियतिवाद के मॉडल की एक अपरंपरागत व्याख्या, परिभाषा के अनुसार, यह मानती है कि एक अभिनेता को व्यवस्थित होने के लिए आवश्यक समय की अवधि मौलिक रूप से अज्ञात है, और इसलिए मॉडल के भीतर यह सिद्ध नहीं किया जा सकता है कि इसमें समय की निर्विवाद रूप से लंबी अवधि नहीं लगती है।[12]







अगणनीय कम्प्यूटेशनल चरण मॉडल

सही विधि से कार्य करने के लिए, नीचे दी गई मशीनों द्वारा कुछ गणनाओं के लिए वस्तुतः असीमित परंतु सीमित, और संसाधनों के अतिरिक्त अनंत भौतिक स्थान की आवश्यकता होती है; इसके विपरीत, ट्यूरिंग मशीन के साथ, कोई भी गणना जो हाल्ट होती है के लिए केवल सीमित भौतिक स्थान और संसाधनों की आवश्यकता होगी।

  • एक ट्यूरिंग मशीन जो अंतिम तक अनंत बार चलती है, परंतु फिर भी एक सीमित समय में अनंत चरण पूरा कर सकती है, उसे "सुपरटास्क" के रूप में जाना जाता है। सिर्फ अनंत बार चलने की क्षमता काम नहीं आती। एक गणितीय मॉडल "ज़ेनो मशीन" है, जो "ज़ेनो के विरोधाभास" से प्रेरित है। मान लीजिए जीनो मशीन पहले गणना चरण को 1 मिनट में पूरा करती है, दूसरे चरण को ½ मिनट में, तीसरे चरण को ¼ मिनट में, और इसी प्रकार अपने सभी चरणों को पूरा करती है। 1+½+¼+... शृंखला को जोड़कर हम देखते हैं कि मशीन इन्फिनिटी दौरों को अंतिम समय में 2 मिनट में पूरा करती है। शाग्रिर के अनुसार, जीनो मशीन भौतिक संभावनाओं से परिचय कराती है और इसकी स्थिति [0, 2) के एक पक्ष की विवृत्त अवधि के बाहर तार्किक रूप से परिभाषित नहीं होती, इसलिए यह निर्धारित समय के ठीक 2 मिनट बाद की गणना के आधे में अपरिभाषित है।[13]
  • यद्यपि, टाइम-ट्रैवल की संभावना आज्ञात गणना को स्वयं में संभव बनाती है, यह स्वतः इतना नहीं है क्योंकि सीटीसी अनंत गणना के लिए आवश्यक असीमित स्टोरेज प्रदान नहीं करता है। फिर भी, ऐसे स्पेसटाइम हैं जिनमें संघर्षित समय-समवर्ती फ्लैग ज़ोन का प्रयोग संबंधितवादी उच्चगणना के लिए किया जा सकता है।[14] 1992 के एक लेख के अनुसार,[15] एक कंप्यूटर जो मैलामेंट-होगर्थ स्पेसटाइम में या घूमते हुए ब्लैक होल के चारों ओर कक्षा में कार्य कर रहा है[16] सैद्धांतिक रूप से ब्लैक होल के अंदर एक पर्यवेक्षक के लिए गैर-ट्यूरिंग गणना कर सकता है।[17][18] सीटीसी तक पहुंच पीएसपीएसीई-पूर्ण समस्याओं के त्वरित समाधान की अनुमति दे सकती है, एक जटिलता वर्ग, जो ट्यूरिंग-निर्णायक होने के अतिरिक्त, सामान्यतः कम्प्यूटेशनल रूप से कठिन माना जाता है।[19][20]


क्वांटम मॉडल

कुछ विद्वानों का अनुमान है कि एक क्वांटम यांत्रिकी प्रणाली जो किसी तरह स्टेट के अनंत सुपरपोजिशन का उपयोग करती है, एक गैर-गणनीय फलन की गणना कर सकती है।[21] मानक क्वबिट-मॉडल नियमित क्वांटम कंप्यूटर पीएसपीएसीई-रिड्यूसिबल का उपयोग करना संभव नहीं है, क्योंकि यह सिद्ध है कि एक नियमित क्वांटम कंप्यूटर पीएसपीएसीई-रिड्यूसिबल है।[22]


"इवेंचुअली करेक्ट" सिस्टम

कुछ भौतिक रूप से साकार करने योग्य सिस्टम अंततः सदैव सही उत्तर पर आ जाती हैं, परंतु उनमें दोष यह है कि वे प्रायः गलत उत्तर देते हैं और अंततः वापस जाने और गलती को सुधारने से पहले असंगत रूप से बड़ी अवधि के लिए गलत उत्तर पर आधारित रहते हैं।

  • 1960 के दशक के मध्य में, ई मार्क गोल्ड और हिलेरी पटनम ने स्वतंत्र रूप से क्रमश आगमनात्मक अनुमान (सीमित पुनरावर्ती कार्यात्मकता) और परीक्षण-और-त्रुटि विधेय के मॉडल प्रस्तावित किए[23] [24]। ये मॉडल संख्याओं या भाषाओं के कुछ गैर-पुनरावर्ती समुच्चय (भाषाओं के सभी पुनरावर्ती गणनीय समुच्चय सहित) को सीमा में सीखने में सक्षम बनाते हैं; जबकि, परिभाषा के अनुसार, ट्यूरिंग मशीन द्वारा संख्याओं या भाषाओं के केवल पुनरावर्ती समुच्चय की पहचान की जा सकती है। जबकि मशीन कुछ सीमित समय में किसी भी सीखने योग्य सेट पर सही उत्तर पर स्थिर हो जाएगी, यह केवल इसे सही के रूप में पहचान सकती है यदि यह पुनरावर्ती है; अन्यथा, शुद्धता केवल मशीन को सदैव चलाने और यह ध्यान देने से ही स्थापित होती है कि यह अपने उत्तर को कभी संशोधित नहीं करती है। पुत्नाम ने इस नई व्याख्या को अनुभवजन्य विधेय के वर्ग के रूप में पहचाना, कहा: यदि हम हमेशा 'मानते' हैं कि सबसे हाल ही में उत्पन्न उत्तर सही है, तो हम सीमित संख्या में गलतियाँ करेंगे, परंतु अंततः हमें सही उत्तर मिलेगा। (ध्यान दें, यद्यपि, भले ही हमें सही उत्तर (सीमित अनुक्रम का अंत) मिल गया हो, हम कभी भी आश्वस्त नहीं होते हैं कि हमारे पास सही उत्तर है।)[24]एल. के. शुबर्ट का 1974 का पेपर इटरेटेड लिमिटिंग रिकर्सन एंड द प्रोग्राम मिनिमाइजेशन प्रॉब्लम[25] सीमित प्रक्रिया को दोहराने के प्रभावों का अध्ययन किया; यह किसी भी अंकगणितीय पदानुक्रम विधेय की गणना करने की अनुमति देता है। शूबर्ट ने लिखा, सहज रूप से, पुनरावृत्त सीमित पहचान को निम्न क्रम आगमनात्मक अनुमान मशीनों के लगातार बढ़ते समुदाय द्वारा सामूहिक रूप से निष्पादित उच्च-क्रम आगमनात्मक अनुमान के रूप में माना जा सकता है।
  • एक प्रतीक अनुक्रम सीमा में गणनीय है यदि सार्वभौमिक ट्यूरिंग मशीन पर एक सीमित, संभवतः नॉन-हॉल्टिंग प्रोग्राम है जो अनुक्रम के प्रत्येक प्रतीक को क्रमिक रूप से आउटपुट करता है। इसमें π और प्रत्येक अन्य गणनीय वास्तविक का डायडिक विस्तार सम्मिलित है, परंतु फिर भी सभी गैर-गणनीय वास्तविकताओं को सम्मिलित नहीं किया गया है। पारंपरिक रूप से न्यूनतम विवरण लंबाई सिद्धांत में उपयोग की जाने वाली 'मोनोटोन ट्यूरिंग मशीनें' अपने पिछले आउटपुट को संपादित नहीं कर सकती हैं; सामान्यीकृत ट्यूरिंग मशीनें, जैसा कि जुर्गन श्मिडहुबर द्वारा परिभाषित किया गया है, कर सकती हैं। वह रचनात्मक रूप से वर्णन करने योग्य प्रतीक अनुक्रमों को उन लोगों के रूप में परिभाषित करता है जिनमें एक सामान्यीकृत ट्यूरिंग मशीन पर चलने वाला एक सीमित, गैर-रोक कार्यक्रम होता है, जैसे कि कोई भी आउटपुट प्रतीक अंततः परिवर्तित हो जाता है; अर्थात्, कुछ सीमित प्रारंभिक समय अंतराल के बाद इसमें कोई परिवर्तन नहीं होता है। कर्ट गोडेल (1931) द्वारा पहली बार प्रदर्शित सीमाओं के कारण, एक हॉल्टिंग प्रोग्राम द्वारा स्वयं अभिसरण समय का अनुमान करना असंभव हो सकता है, अन्यथा हॉल्टिंग समस्या हल हो सकती है। श्मिधुबर ([26][27]) औपचारिक रूप से वर्णित या रचनात्मक रूप से गणनीय ब्रह्मांडों या प्रत्येक वस्तु के रचनात्मक सिद्धांत के समुच्चय को परिभाषित करने के लिए इस दृष्टिकोण का उपयोग करता है। सामान्यीकृत ट्यूरिंग मशीनें अंततः स्पेकर अनुक्रम का मूल्यांकन करके हॉल्टिंग समस्या के सही समाधान में जुट सकती हैं।

क्षमताओं का विश्लेषण

कई हाइपरकंप्यूटेशन प्रस्तावनाएं यह सिद्ध करती हैं कि ये वैकल्पिक विधियाँ हैं जिनसे एक क्लासिकल मशीन में एम्बेड किए गए एक ऑरेकल या अड्वाइस फ़ंक्शन को पढ़ा जा सकता है। अन्य विधियाँ अंकगणितीय पदानुक्रम के कुछ उच्च स्तर तक पहुंच की अनुमति देते हैं। उदाहरण के लिए, सुपरटास्किंग ट्यूरिंग मशीनें, सामान्य धारणाओं के अंतर्गत, ट्रुथ-टेबल रीडक्शन या में किसी भी विधेय की गणना करने में सक्षम होती हैं इसके विपरीत, सीमित-पुनरावर्तन, संबंधित ट्यूरिंग डिग्री में किसी भी विधेय या फलन की गणना कर सकता है, जिसे के रूप में जाना जाता है। गोल्ड ने आगे प्रदर्शित किया कि आंशिक रिकर्सन को सीमित करने से सटीक गणना की अनुमति मिल जाएगी।

मॉडल गणनीय विधेय टिप्पणियाँ उद्धरण
सुपरटास्किंग tt() बाह्य पर्यवेक्षक पर निर्भर [28]
परिमित/परीक्षण-और-त्रुटि [23]
पुनरावृत्त परिमित (k बार) [25]
ब्लम-शब-स्माले मशीन पारंपरिक गणनीय फलनों के साथ अतुलनीय [29]
मैलामेंट-हॉगर्थ स्पेसटाइम एचवाईपी स्पेसटाइम स्ट्रक्चर पर निर्भर [30]
एनालॉग आवर्तक न्यूरल नेटवर्क f संयोजन भार देने वाला एक अड्वाइस फंक्शन है; आकार रनटाइम द्वारा परिमित है [31][32]
अनंत समय ट्यूरिंग मशीन अंकगणितीय क्वासी-इन्डक्टिव समुच्चय [33]
पारंपरिक फजी ट्यूरिंग मशीन किसी भी गणनीय फलन के लिए टी-मानदंड [8]
ओरेकल फ़ंक्शन एक-अनुक्रम मॉडल के लिए; r.e. हैं। [11]






आलोचना

मार्टिन डेविस ने हाइपरकंप्यूटेशन पर अपने लेखों में[34][35] इस विषय को "एक मिथक" के रूप में संदर्भित किया है और हाइपरकंप्यूटेशन की भौतिकता के विरुद्ध विरोध-तर्क प्रस्तुत किये हैं। विषयवस्तु संबंधी अपने सिद्धांत में, उन्होंने उन दावों के विरुद्ध तर्क किए हैं जो कहते हैं कि हाइपरकंप्यूटेशन एक नई शाखा है जिसकी स्थापना 1990 के दशक में हुई। यह दृष्टिकोण कंप्यूटेबिलिटी सिद्धांत के इतिहास (असंविधानियों के डिग्री, फ़ंक्शन, वास्तविक संख्याएँ और ऑर्डिनल्स पर गणनीयता) पर निर्भर करता है, जैसा कि ऊपर भी उल्लेखित किया गया है। अपने तर्क में, उन्होंने एक टिप्पणी की है जिसमें कहा गया है कि हाइपरकंप्यूटेशन का मूल सार बस इतना ही है कि: "यदि अगणनीय इनपुट स्वीकार्य हैं, तो अगणनीय आउटपुट प्राप्त किए जा सकते हैं।"[36]


यह भी देखें

संदर्भ

  1. Turing, A. M. (1939). "Systems of Logic Based on Ordinals†". Proceedings of the London Mathematical Society. 45: 161–228. doi:10.1112/plms/s2-45.1.161. hdl:21.11116/0000-0001-91CE-3.
  2. "Let us suppose that we are supplied with some unspecified means of solving number-theoretic problems; a kind of oracle as it were. We shall not go any further into the nature of this oracle apart from saying that it cannot be a machine" (Undecidable p. 167, a reprint of Turing's paper Systems of Logic Based On Ordinals)
  3. J. Cabessa; H.T. Siegelmann (Apr 2012). "इंटरएक्टिव आवर्ती तंत्रिका नेटवर्क की कम्प्यूटेशनल शक्ति" (PDF). Neural Computation. 24 (4): 996–1019. CiteSeerX 10.1.1.411.7540. doi:10.1162/neco_a_00263. PMID 22295978. S2CID 5826757.
  4. Arnold Schönhage, "On the power of random access machines", in Proc. Intl. Colloquium on Automata, Languages, and Programming (ICALP), pages 520–529, 1979. Source of citation: Scott Aaronson, "NP-complete Problems and Physical Reality"[1] p. 12
  5. Andrew Hodges. "प्रोफेसर और मंथन". The Alan Turing Home Page. Retrieved 23 September 2011.
  6. H.T. Siegelmann; E.D. Sontag (1994). "तंत्रिका नेटवर्क के माध्यम से एनालॉग संगणना". Theoretical Computer Science. 131 (2): 331–360. doi:10.1016/0304-3975(94)90178-3.
  7. Biacino, L.; Gerla, G. (2002). "अस्पष्ट तर्क, निरंतरता और प्रभावशीलता". Archive for Mathematical Logic. 41 (7): 643–667. CiteSeerX 10.1.1.2.8029. doi:10.1007/s001530100128. ISSN 0933-5846. S2CID 12513452.
  8. 8.0 8.1 Wiedermann, Jiří (2004). "शास्त्रीय फ़ज़ी ट्यूरिंग मशीनों की सुपर-ट्यूरिंग कंप्यूटिंग शक्ति और दक्षता की विशेषता". Theoretical Computer Science. 317 (1–3): 61–69. doi:10.1016/j.tcs.2003.12.004. उनकी (रुकने की समस्या को हल करने की क्षमता) उनकी स्वीकृति मानदंड के कारण होती है जिसमें रुकने की समस्या को हल करने की क्षमता परोक्ष रूप से मानी जाती है।
  9. Edith Spaan; Leen Torenvliet; Peter van Emde Boas (1989). "गैर-नियतिवाद, निष्पक्षता और एक मौलिक सादृश्य". EATCS Bulletin. 37: 186–193.
  10. Ord, Toby (2006). "हाइपरकंप्यूटेशन के कई रूप". Applied Mathematics and Computation. 178: 143–153. doi:10.1016/j.amc.2005.09.076.
  11. 11.0 11.1 Dmytro Taranovsky (July 17, 2005). "फ़िनिटिज़्म और हाइपरकंप्यूटेशन". Retrieved Apr 26, 2011.
  12. Hewitt, Carl. "What Is Commitment." Physical, Organizational, and Social (Revised), Coordination, Organizations, Institutions, and Norms in Agent Systems II: AAMAS (2006).
  13. These models have been independently developed by many different authors, including Hermann Weyl (1927). Philosophie der Mathematik und Naturwissenschaft.; the model is discussed in Shagrir, O. (June 2004). "Super-tasks, accelerating Turing machines and uncomputability". Theoretical Computer Science. 317 (1–3): 105–114. doi:10.1016/j.tcs.2003.12.007., Petrus H. Potgieter (July 2006). "Zeno machines and hypercomputation". Theoretical Computer Science. 358 (1): 23–33. arXiv:cs/0412022. doi:10.1016/j.tcs.2005.11.040. S2CID 6749770. and Vincent C. Müller (2011). "On the possibilities of hypercomputing supertasks". Minds and Machines. 21 (1): 83–96. CiteSeerX 10.1.1.225.3696. doi:10.1007/s11023-011-9222-6. S2CID 253434.
  14. Andréka, Hajnal; Németi, István; Székely, Gergely (2012). "सापेक्ष संगणना में बंद टाइमलाइक वक्र". Parallel Processing Letters. 22 (3). arXiv:1105.0047. doi:10.1142/S0129626412400105. S2CID 16816151.
  15. Hogarth, Mark L. (1992). "Does general relativity allow an observer to view an eternity in a finite time?". Foundations of Physics Letters. 5 (2): 173–181. Bibcode:1992FoPhL...5..173H. doi:10.1007/BF00682813. S2CID 120917288.
  16. István Neméti; Hajnal Andréka (2006). "Can General Relativistic Computers Break the Turing Barrier?". Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings. Lecture Notes in Computer Science. Vol. 3988. Springer. doi:10.1007/11780342. ISBN 978-3-540-35466-6.
  17. Etesi, Gabor; Nemeti, Istvan (2002). "मैलामेंट-हॉगर्थ स्पेस-टाइम के माध्यम से गैर-ट्यूरिंग गणना". International Journal of Theoretical Physics. 41 (2): 341–370. arXiv:gr-qc/0104023. doi:10.1023/A:1014019225365. S2CID 17081866.
  18. Earman, John; Norton, John D. (1993). "Forever is a Day: Supertasks in Pitowsky and Malament-Hogarth Spacetimes". Philosophy of Science. 60: 22–42. doi:10.1086/289716. S2CID 122764068.
  19. Brun, Todd A. (2003). "बंद टाइमलाइक वक्र वाले कंप्यूटर कठिन समस्याओं को हल कर सकते हैं". Found. Phys. Lett. 16 (3): 245–253. arXiv:gr-qc/0209061. doi:10.1023/A:1025967225931. S2CID 16136314.
  20. S. Aaronson and J. Watrous. Closed Timelike Curves Make Quantum and Classical Computing Equivalent [2]
  21. There have been some claims to this effect; see Tien Kieu (2003). "Quantum Algorithm for the Hilbert's Tenth Problem". Int. J. Theor. Phys. 42 (7): 1461–1478. arXiv:quant-ph/0110136. doi:10.1023/A:1025780028846. S2CID 6634980. or M. Ziegler (2005). "Computational Power of Infinite Quantum Parallelism". International Journal of Theoretical Physics. 44 (11): 2059–2071. arXiv:quant-ph/0410141. Bibcode:2005IJTP...44.2059Z. doi:10.1007/s10773-005-8984-0. S2CID 9879859. and the ensuing literature. For a retort see Warren D. Smith (2006). "Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical tasks". Applied Mathematics and Computation. 178 (1): 184–193. doi:10.1016/j.amc.2005.09.078..
  22. Bernstein, Ethan; Vazirani, Umesh (1997). "क्वांटम जटिलता सिद्धांत". SIAM Journal on Computing. 26 (5): 1411–1473. doi:10.1137/S0097539796300921.
  23. 23.0 23.1 E. M. Gold (1965). "सीमित प्रत्यावर्तन". Journal of Symbolic Logic. 30 (1): 28–48. doi:10.2307/2270580. JSTOR 2270580. S2CID 33811657., E. Mark Gold (1967). "Language identification in the limit". Information and Control. 10 (5): 447–474. doi:10.1016/S0019-9958(67)91165-5.
  24. 24.0 24.1 Hilary Putnam (1965). "परीक्षण और त्रुटि भविष्यवाणी और मोस्टोवेक्सी की समस्या का समाधान". Journal of Symbolic Logic. 30 (1): 49–57. doi:10.2307/2270581. JSTOR 2270581. S2CID 44655062.
  25. 25.0 25.1 L. K. Schubert (July 1974). "पुनरावृत्त सीमित प्रत्यावर्तन और प्रोग्राम न्यूनीकरण समस्या". Journal of the ACM. 21 (3): 436–445. doi:10.1145/321832.321841. S2CID 2071951.
  26. Schmidhuber, Juergen (2000). "हर चीज़ के एल्गोरिथम सिद्धांत". arXiv:quant-ph/0011122.
  27. J. Schmidhuber (2002). "सामान्यीकृत कोलमोगोरोव जटिलताओं के पदानुक्रम और सीमा में गणना योग्य अनगिनत सार्वभौमिक उपाय". International Journal of Foundations of Computer Science. 13 (4): 587–612. arXiv:quant-ph/0011122. Bibcode:2000quant.ph.11122S. doi:10.1142/S0129054102001291.
  28. Petrus H. Potgieter (July 2006). "Zeno machines and hypercomputation". Theoretical Computer Science. 358 (1): 23–33. arXiv:cs/0412022. doi:10.1016/j.tcs.2005.11.040. S2CID 6749770.
  29. Lenore Blum, Felipe Cucker, Michael Shub, and Stephen Smale (1998). Complexity and Real Computation. ISBN 978-0-387-98281-6.{{cite book}}: CS1 maint: multiple names: authors list (link)
  30. P.D. Welch (2008). "The extent of computation in Malament-Hogarth spacetimes". British Journal for the Philosophy of Science. 59 (4): 659–674. arXiv:gr-qc/0609035. doi:10.1093/bjps/axn031.
  31. H.T. Siegelmann (Apr 1995). "Computation Beyond the Turing Limit" (PDF). Science. 268 (5210): 545–548. Bibcode:1995Sci...268..545S. doi:10.1126/science.268.5210.545. PMID 17756722. S2CID 17495161.
  32. Hava Siegelmann; Eduardo Sontag (1994). "Analog Computation via Neural Networks". Theoretical Computer Science. 131 (2): 331–360. doi:10.1016/0304-3975(94)90178-3.
  33. P.D. Welch (2009). "Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems". Theoretical Computer Science. 410 (4–5): 426–442. doi:10.1016/j.tcs.2008.09.050.
  34. Davis, Martin (2006). "हाइपरकंप्यूटेशन जैसा कोई अनुशासन क्यों नहीं है?". Applied Mathematics and Computation. 178 (1): 4–7. doi:10.1016/j.amc.2005.09.066.
  35. Davis, Martin (2004). "The Myth of Hypercomputation". Alan Turing: Life and Legacy of a Great Thinker. Springer.
  36. Martin Davis (Jan 2003). "The Myth of Hypercomputation". In Alexandra Shlapentokh (ed.). Miniworkshop: Hilbert's Tenth Problem, Mazur's Conjecture and Divisibility Sequences (PDF). MFO Report. Vol. 3. Mathematisches Forschungsinstitut Oberwolfach. p. 2.


अग्रिम पठन


बाहरी संबंध