सुपरटास्क

From Vigyanwiki
Revision as of 18:44, 3 February 2023 by alpha>Indicwiki (Created page with "{{Short description|Infinitely many tasks in finite time}} {{For|the computer science term|Computational complexity theory}} {{More citations needed|date=May 2022}} दर...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

दर्शन में, एक सुपरटास्क संचालन का एक गणनीय सेट अनुक्रम होता है जो क्रमिक रूप से समय के एक सीमित अंतराल के भीतर होता है।[1] सुपरटास्क को हाइपरटास्क कहा जाता है जब संचालन की संख्या बेशुमार सेट हो जाती है। एक हाइपरटास्क जिसमें प्रत्येक क्रमिक संख्या के लिए एक कार्य शामिल होता है, उसे अल्ट्राटास्क कहा जाता है।[2] सुपरटास्क शब्द को दार्शनिक जेम्स एफ. थॉमसन (दार्शनिक) | जेम्स एफ. थॉमसन द्वारा गढ़ा गया था, जिन्होंने थॉमसन के दीपक को तैयार किया था। हाइपरटास्क शब्द क्लार्क से निकला है और उस नाम के उनके पेपर में पढ़ा गया है।[3]


इतिहास

ज़ेनो

गति

सुपरटास्क में रुचि की उत्पत्ति आम तौर पर एलिया के जेनो को जिम्मेदार ठहराया जाता है। ज़ेनो ने दावा किया कि ज़ेनो के विरोधाभास। उन्होंने इस प्रकार तर्क दिया: मान लीजिए कि हमारे बढ़ते मूवर, अकिलिस कहते हैं, A से B तक जाने की इच्छा रखते हैं। इसे प्राप्त करने के लिए उन्हें A से B तक की आधी दूरी तय करनी होगी। AB के मध्य बिंदु से B तक जाने के लिए, Achilles को आधी दूरी तय करनी होगी दूरी, और इतने पर और इतने पर। हालाँकि कई बार वह इनमें से किसी एक कार्य को करता है, बी पर पहुंचने से पहले उसके लिए एक और काम बाकी होता है। इस प्रकार, ज़ेनो के अनुसार, यह गति (सीमित समय में गैर-शून्य दूरी की यात्रा) एक सुपरटास्क है। . ज़ेनो आगे तर्क देता है कि सुपरटास्क संभव नहीं हैं (यदि प्रत्येक ट्रैवर्सिंग के लिए एक और आने वाला है तो यह अनुक्रम कैसे पूरा किया जा सकता है?) यह इस प्रकार है कि गति असंभव है।

ज़ेनो का तर्क निम्नलिखित रूप लेता है:

  1. मोशन एक सुपर टास्क है, क्योंकि किसी भी निर्धारित दूरी पर गति के पूरा होने में अनंत संख्या में कदम शामिल होते हैं
  2. सुपरटास्क असंभव हैं
  3. अत: गति असंभव है

अधिकांश बाद के दार्शनिक सामान्य ज्ञान के पक्ष में ज़ेनो के साहसिक निष्कर्ष को अस्वीकार करते हैं। इसके बजाय, वे तर्क को उलट देते हैं और इसे एक Reductio विज्ञापन बेतुका के रूप में लेते हैं जहां गति की संभावना को मान लिया जाता है। वे गति की संभावना को स्वीकार करते हैं और इस निष्कर्ष पर पहुंचने के लिए ज़ेनो के तर्क पर मूड ले रहा है (प्रतिधनात्मक) लागू करते हैं कि या तो गति एक सुपरटास्क नहीं है या सभी सुपरटास्क असंभव नहीं हैं।[citation needed]


Achilles और कछुआ

ज़ेनो स्वयं भी इस धारणा पर चर्चा करता है कि वह अकिलिस और कछुआ क्या कहता है। मान लीजिए कि एच्लीस सबसे तेज़ धावक है, और 1 मी/से की गति से चलता है। Achilles एक कछुए का पीछा करता है, एक जानवर जो धीमा होने के लिए प्रसिद्ध है, जो 0.1 मीटर/सेकंड की गति से चलता है। हालाँकि, कछुआ 0.9 मीटर आगे शुरू होता है। सामान्य ज्ञान से लगता है कि अकिलिस ठीक 1 सेकंड के बाद कछुए को पकड़ लेगा, लेकिन ज़ेनो का तर्क है कि ऐसा नहीं है। वह इसके बजाय सुझाव देता है कि अकिलिस को अनिवार्य रूप से उस बिंदु तक आना चाहिए जहां से कछुआ शुरू हुआ है, लेकिन जब तक वह इसे पूरा कर लेता है, तब तक कछुआ पहले से ही दूसरे बिंदु पर चला जाएगा। यह जारी है, और हर बार जब अकिलिस उस निशान तक पहुँचता है जहाँ कछुआ था, कछुआ एक नए बिंदु पर पहुँच गया होगा जिसे अकिलिस को पकड़ना होगा; जबकि यह 0.9 मीटर से शुरू होता है, यह अतिरिक्त 0.09 मीटर, फिर 0.009 मीटर, और इसी तरह असीम रूप से बन जाता है। हालांकि ये दूरियां बहुत छोटी हो जाएंगी, लेकिन वे सीमित रहेंगी, जबकि अकिलिस द्वारा कछुए का पीछा करना एक कभी न खत्म होने वाला सुपर टास्क बन जाएगा। इस विशेष विरोधाभास पर बहुत अधिक टिप्पणी की गई है; कई लोग दावा करते हैं कि यह सामान्य ज्ञान में खामी ढूंढता है।[4]


थॉमसन

जेम्स एफ. थॉमसन (दार्शनिक) | जेम्स एफ. थॉमसन का मानना ​​था कि गति कोई सुपर टास्क नहीं है, और उन्होंने जोरदार तरीके से इनकार किया कि सुपर टास्क संभव हैं। उन्होंने एक दीपक पर विचार किया जो या तो चालू या बंद हो सकता है। समय पर t = 0 दीपक बंद है, और स्विच चालू है t = 1/2; उसके बाद, पहले की तरह आधा समय प्रतीक्षा करने के बाद स्विच को फ़्लिप किया जाता है। थॉमसन पूछते हैं कि राज्य किस पर है t = 1, जब स्विच को कई बार असीम रूप से फ़्लिप किया गया हो। वह कारण बताता है कि यह चालू नहीं हो सकता क्योंकि ऐसा कभी नहीं था जब इसे बाद में बंद नहीं किया गया था, और इसके विपरीत, और एक विरोधाभास तक पहुंच गया। उन्होंने निष्कर्ष निकाला कि सुपरटास्क असंभव हैं।[5]


बेनसेराफ

पॉल बेनसेराफ का मानना ​​है कि थॉमसन के स्पष्ट विरोधाभास के बावजूद सुपरटास्क कम से कम तार्किक रूप से संभव हैं। बेनसेराफ थॉमसन से इस हद तक सहमत हैं कि उन्होंने जिस प्रयोग की रूपरेखा दी है, वह टी = 1 पर लैंप की स्थिति का निर्धारण नहीं करता है। हालांकि वह थॉमसन से असहमत हैं कि वह इससे एक विरोधाभास प्राप्त कर सकते हैं, क्योंकि टी = 1 पर लैंप की स्थिति नहीं हो सकती है। पूर्ववर्ती राज्यों द्वारा तार्किक रूप से निर्धारित।[citation needed]


आधुनिक साहित्य

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

गणित का दर्शन

यदि सुपरटास्क संभव हैं, तो संख्या सिद्धांत के अज्ञात प्रस्तावों की सच्चाई या झूठ, जैसे कि गोल्डबैक का अनुमान, या यहां तक ​​कि अनिर्णीत समस्या प्रस्तावों को सभी प्राकृतिक संख्याओं के सेट की क्रूर-बल खोज द्वारा सीमित समय में निर्धारित किया जा सकता है। हालाँकि, यह चर्च-ट्यूरिंग थीसिस के विपरीत होगा। कुछ लोगों ने तर्क दिया है कि यह अंतर्ज्ञानवाद के लिए एक समस्या है, क्योंकि अंतर्ज्ञानवादी को उन चीजों के बीच अंतर करना चाहिए जो वास्तव में सिद्ध नहीं हो सकते हैं (क्योंकि वे बहुत लंबे या जटिल हैं; उदाहरण के लिए जॉर्ज बूलोस का जिज्ञासु निष्कर्ष[6]) लेकिन फिर भी सिद्ध करने योग्य माना जाता है, और जो उपरोक्त अर्थों में अनंत पाशविक बल द्वारा सिद्ध होते हैं।

भौतिक संभावना

कुछ लोगों ने दावा किया है कि थॉमसन का दीपक शारीरिक रूप से असंभव है क्योंकि इसमें प्रकाश की गति (जैसे, दीपक स्विच) की गति से तेज गति से चलने वाले पुर्जे होने चाहिए। एडॉल्फ ग्रुनबॉम सुझाव देते हैं कि लैंप में तार की एक पट्टी हो सकती है, जिसे उठाने पर सर्किट बाधित हो जाता है और लैंप बंद हो जाता है; इस पट्टी को तब एक छोटी दूरी से उठाया जा सकता था जब हर बार दीपक को बंद करना पड़ता था, एक स्थिर वेग बनाए रखता था। हालाँकि, ऐसा डिज़ाइन अंततः विफल हो जाएगा, क्योंकि अंततः संपर्कों के बीच की दूरी इतनी कम होगी कि इलेक्ट्रॉनों को अंतराल को पार करने की अनुमति मिल जाएगी, जिससे सर्किट को बिल्कुल भी टूटने से रोका जा सकेगा। फिर भी, एक मानव या किसी भी उपकरण के लिए, दीपक की स्थिति को देखने या उस पर कार्य करने के लिए कुछ माप करना पड़ता है, उदाहरण के लिए दीपक से प्रकाश को एक आंख या एक संवेदक तक पहुंचना होगा। ऐसा कोई भी माप समय की एक निश्चित सीमा लेगा, चाहे वह कितना भी छोटा क्यों न हो और इसलिए, किसी बिंदु पर स्थिति का मापन असंभव होगा। चूँकि t = 1 पर स्थिति सिद्धांत रूप में भी निर्धारित नहीं की जा सकती है, इसलिए दीपक के चालू या बंद होने की बात करना सार्थक नहीं है।

अन्य शारीरिक रूप से संभव सुपरटास्क का सुझाव दिया गया है। एक प्रस्ताव में, एक व्यक्ति (या इकाई) 1 से ऊपर की ओर गिनता है, अनंत समय लेता है, जबकि दूसरा व्यक्ति इसे संदर्भ के एक फ्रेम से देखता है जहां यह समय की सीमित जगह में होता है। काउंटर के लिए, यह एक सुपरटास्क नहीं है, लेकिन पर्यवेक्षक के लिए यह है। (सैद्धांतिक रूप से यह समय फैलाव के कारण हो सकता है, उदाहरण के लिए यदि पर्यवेक्षक एक ऐसे काउंटर का निरीक्षण करते समय एक ब्लैक होल में गिर रहे थे जिसकी स्थिति विलक्षणता के सापेक्ष तय की गई है।) पेपर में गुस्तावो ई. रोमेरो 'सुपरटास्क का पतन'[7] रखता है कि सुपरटास्क को पूरा करने के किसी भी प्रयास के परिणामस्वरूप ब्लैक होल का निर्माण होगा, जिससे सुपरटास्क शारीरिक रूप से असंभव हो जाएगा।

सुपर ट्यूरिंग मशीन

सैद्धांतिक कंप्यूटर विज्ञान पर सुपरटास्क के प्रभाव ने कुछ नए और दिलचस्प काम शुरू किए हैं, उदाहरण के लिए हैम्किंस और लुईस – अनंत समय ट्यूरिंग मशीन।[8]


प्रमुख सुपरटास्क

रॉस–लिटिलवुड विरोधाभास

मान लीजिए कि एक जार में असीम रूप से कई मार्बल्स और 1, 2, 3, और इसी तरह लेबल किए गए मार्बल्स का एक अनंत संग्रह है। समय t = 0 पर, मार्बल 1 से 10 को जार में रखा जाता है और मार्बल 1 निकाल लिया जाता है। t = 0.5 पर, मार्बल 11 से 20 को जार में रखा जाता है और मार्बल 2 निकाल लिया जाता है; t = 0.75 पर, मार्बल्स 21 से 30 को जार में डाला जाता है और मार्बल 3 को बाहर निकाला जाता है; और सामान्य तौर पर समय पर t = 1 − 0.5n, मार्बल्स 10n + 1 से 10n + 10 को जार में रखा जाता है और मार्बल n + 1 निकाला जाता है। समय t = 1 पर जार में कितने कंचे हैं?

एक तर्क में कहा गया है कि जार में असीमित रूप से कई कंचे होने चाहिए, क्योंकि t = 1 से पहले प्रत्येक चरण में कंचों की संख्या पिछले चरण से बढ़ जाती है और ऐसा असीम रूप से होता है। हालाँकि, एक दूसरा तर्क बताता है कि जार खाली है। निम्नलिखित तर्क पर विचार करें: यदि जार खाली नहीं है, तो जार में एक कंचा होना चाहिए। बता दें कि उस मार्बल पर नंबर n का लेबल लगा है। लेकिन समय पर टी = 1 − 0.5n - 1, nवाँ मार्बल निकाल लिया गया है, इसलिए मार्बल n जार में नहीं हो सकता। यह एक विरोधाभास है, इसलिए जार खाली होना चाहिए। रॉस-लिटिलवुड विरोधाभास यह है कि यहां हमारे पास पूरी तरह विपरीत निष्कर्ष के साथ दो पूरी तरह से अच्छे तर्क हैं।

बेनार्डेट का विरोधाभास

जोस बेनार्डेटे|जे. ए। बेनार्डेट का "देवताओं का विरोधाभास":[9]

A man walks a mile from a point α. But there is an infinity of gods each of whom, unknown to the others, intends to obstruct him. One of them will raise a barrier to stop his further advance if he reaches the half-mile point, a second if he reaches the quarter-mile point, a third if he goes one-eighth of a mile, and so on ad infinitum. So he cannot even get started, because however short a distance he travels he will already have been stopped by a barrier. But in that case no barrier will rise, so that there is nothing to stop him setting off. He has been forced to stay where he is by the mere unfulfilled intentions of the gods.[10]

— M. Clark, Paradoxes from A to Z


गंभीर रीपर विरोधाभास

जोस बेनार्डेटे से प्रेरित|जे. हत्यारों की एक अनंत श्रृंखला के बारे में ए बेनार्डेटे का विरोधाभास,[11] डेविड चाल्मर्स विरोधाभास का वर्णन इस प्रकार करते हैं:

There are countably many grim reapers, one for every positive integer. Grim reaper 1 is disposed to kill you with a scythe at 1pm, if and only if you are still alive then (otherwise his scythe remains immobile throughout), taking 30 minutes about it. Grim reaper 2 is disposed to kill you with a scythe at 12:30 pm, if and only if you are still alive then, taking 15 minutes about it. Grim reaper 3 is disposed to kill you with a scythe at 12:15 pm, and so on. You are still alive just before 12pm, you can only die through the motion of a grim reaper’s scythe, and once dead you stay dead. On the face of it, this situation seems conceivable — each reaper seems conceivable individually and intrinsically, and it seems reasonable to combine distinct individuals with distinct intrinsic properties into one situation. But a little reflection reveals that the situation as described is contradictory. I cannot survive to any moment past 12pm (a grim reaper would get me first), but I cannot be killed (for grim reaper n to kill me, I must have survived grim reaper n+1, which is impossible).[12]

एक सीमित अतीत के लिए बहस करने में इसके उपयोग के माध्यम से इसे दर्शनशास्त्र में महत्व प्राप्त हुआ है, जिससे कलाम ब्रह्माण्ड संबंधी तर्क की प्रासंगिकता बनी हुई है।[13][14][15][16]


डेविस की सुपर-मशीन

ई. ब्रायन डेविस द्वारा प्रस्तावित,[17] यह एक ऐसी मशीन है जो आधे घंटे के अंतराल में अपनी सटीक प्रतिकृति बना सकती है जो अपने आकार से आधी है और अपनी प्रतिकृति गति से दोगुनी गति से सक्षम है। यह प्रतिकृति बदले में समान विशिष्टताओं के साथ स्वयं का एक और भी तेज़ संस्करण बनाएगी, जिसके परिणामस्वरूप एक घंटे के बाद समाप्त होने वाला सुपरटास्क होगा। यदि, अतिरिक्त रूप से, मशीनें पैरेंट और चाइल्ड मशीन के बीच एक संचार लिंक बनाती हैं जो क्रमिक रूप से तेज़ बैंडविड्थ उत्पन्न करती हैं और मशीनें सरल अंकगणित में सक्षम हैं, तो मशीनों का उपयोग अज्ञात अनुमानों के क्रूर-बल प्रमाणों को करने के लिए किया जा सकता है। हालाँकि, डेविस यह भी बताते हैं – वास्तविक ब्रह्मांड के मौलिक गुणों जैसे क्वांटम यांत्रिकी, थर्मल शोर और सूचना सिद्धांत के कारण – उसकी मशीन वास्तव में नहीं बनाई जा सकती।

यह भी देखें


संदर्भ

  1. This concept relates to cardinal numbers.
  2. Al-Dhalimy, Haidar; Geyer, Charles (December 2016). "Surreal Time and Ultratasks". The Review of Symbolic Logic. Cambridge University Press. 9 (4): 836–847. doi:10.1017/S1755020316000289.
  3. Clark, Peter; Read, Stephen (December 1984). "Hypertasks". Synthese. Springer Netherlands. 61 (3): 387–390. doi:10.1007/BF00485061. ISSN 1573-0964.
  4. Chakraborti, Chhanda (2006). तर्क. Prentice Hall of India. p. 477. ISBN 81-203-2855-8.
  5. Thomson 1954.
  6. George Boolos. "A curious inference." Journal of Philosophical Logic 16: 1–12. (JSTOR)
  7. Romero, Gustavo E. (2013). "The collapse of supertasks". arXiv:1309.0144 [physics.hist-ph].
  8. Hamkins, Joel David (November 2002). "Infinite Time Turing Machines". Minds and Machines. 12 (4): 521–539. arXiv:math/0212047. doi:10.1023/A:1021180801870.
  9. Oppy, G.R. (2006). Philosophical Perspectives on Infinity. Cambridge University Press. p. 63. ISBN 978-0-521-86067-3. LCCN 2005021715.
  10. Clark, M. (2007). Paradoxes from A to Z. Routledge. p. 75. ISBN 978-0-415-42082-2. LCCN 2007015371.
  11. Benardete, José (1964). Infinity: An Essay in Metaphysics. Clarendon Press. p. 259.
  12. Chalmers, David (2002). Conceivability and Possibility. Clarendon Press. p. 154.
  13. Koons, Robert (June 2014). "A New Kalam Argument: Revenge of the Grim Reaper". Noûs. 48 (2): 256–267. doi:10.1111/j.1468-0068.2012.00858.x.
  14. Pruss, Alexander; Rasmussen, Joshua (October 2014). "Time without Creation?". Faith and Philosophy. 31 (4): 401–411. doi:10.5840/faithphil201412819.
  15. Pruss, Alexander (2018). Infinity, causation, and paradox (First ed.). Oxford University Press. pp. 46–56. ISBN 978-0-19-881033-9.
  16. Pruss, Alexander. "From the Grim Reaper paradox to the Kalaam argument".
  17. Davies, E. Brian (2001). "Building Infinite Machines" (PDF). Br. J. Philos. Sci. 52 (4): 671–682. doi:10.1093/bjps/52.4.671. Archived from the original (PDF) on 2014-10-23.


बाहरी कड़ियाँ