क्वांटम तर्क: Difference between revisions

[[क्वांटम नींव]] के [[गणितीय तर्क]] और भौतिकी विश्लेषण में, क्वांटम तर्क [[क्वांटम यांत्रिकी]] की संरचना से प्रेरित [[प्रस्ताव]]ों के हेरफेर के लिए नियमों का एक समूह है। यह क्षेत्र अपने शुरुआती बिंदु के रूप में [[गैरेट बिरखॉफ]] और जॉन वॉन न्यूमैन का एक अवलोकन लेता है, कि शास्त्रीय यांत्रिकी में प्रायोगिक परीक्षणों की संरचना एक [[बूलियन बीजगणित (संरचना)]] बनाती है, लेकिन क्वांटम यांत्रिकी में प्रायोगिक परीक्षणों की संरचना बहुत अधिक जटिल संरचना बनाती है।

क्वांटम तर्क को आम तौर पर प्रस्तावात्मक अनुमान के लिए सही तर्क के रूप में प्रस्तावित किया गया है, विशेष रूप से दार्शनिक [[हिलेरी पटनम]] द्वारा, कम से कम अपने करियर में एक बिंदु पर। यह थीसिस पुत्नाम के 1968 के पेपर इज़ लॉजिक एम्पिरिकल में एक महत्वपूर्ण घटक था? जिसमें उन्होंने तर्कवाक्य तर्क के नियमों की ज्ञानमीमांसा की स्थिति का विश्लेषण किया। आधुनिक दार्शनिक तर्क के आधार के रूप में क्वांटम तर्क को अस्वीकार करते हैं, क्योंकि इसमें भौतिक सशर्त का अभाव है; एक सामान्य विकल्प रेखीय तर्क की प्रणाली है, जिसमें से क्वांटम तर्क एक टुकड़ा है।

गणितीय रूप से, बूलियन बीजगणित के लिए [[वितरण कानून]] को कमजोर करके क्वांटम तर्क तैयार किया जाता है, जिसके परिणामस्वरूप एक [[ऑर्थोकंप्लीमेंट]] होता है। क्वांटम-मैकेनिकल वेधशालाओं और [[जितना राज्य]] को क्वांटम संगणनाओं के लिए एक वैकल्पिक [[औपचारिकता (गणित)]] देते हुए या जाली पर कार्यों के संदर्भ में परिभाषित किया जा सकता है।

क्वांटम तर्क और [[शास्त्रीय तर्क]] के बीच सबसे उल्लेखनीय अंतर प्रस्तावात्[[मक तर्क]] वितरण कानून की विफलता है:<ref>Peter Forrest, "Quantum logic" in ''[[Routledge Encyclopedia of Philosophy]]'', vol.&nbsp;7, 1998. p.&nbsp;882ff: "[Quantum logic] differs from the standard sentential calculus....The most notable difference is that the distributive laws fail, being replaced by a weaker law known as orthomodularity."</ref> : पी और (क्यू या आर) = (पी और क्यू) या (पी और आर),

: p = अंतराल में कण का संवेग होता है {{closed-closed|0, +{{frac|1|6}}}}

: क्यू = कण अंतराल में है {{closed-closed|−1, 1}}

: आर = कण अंतराल में है {{closed-closed|1, 3}}

: पी और (क्यू या आर) = सच

दूसरे शब्दों में, कि कण की स्थिति 0 और +1/6 के बीच संवेग का भारित [[ जितना अध्यारोपण ]] है और -1 और +3 के बीच की स्थिति है।

दूसरी ओर, प्रस्ताव p और q और p और r प्रत्येक अनिश्चितता सिद्धांत द्वारा अनुमत स्थिति और गति के एक साथ मूल्यों पर कड़े प्रतिबंधों का दावा करते हैं (उनमें से प्रत्येक में अनिश्चितता 1/3 है, जो कि न्यूनतम 1 से कम है /2). इसलिए ऐसे कोई राज्य नहीं हैं जो किसी भी प्रस्ताव का समर्थन कर सकें, और

: (पी और क्यू) या (पी और आर) = झूठा

1932 के अपने क्लासिक ग्रंथ [[क्वांटम यांत्रिकी की गणितीय नींव]] में, जॉन वॉन न्यूमैन ने कहा कि [[हिल्बर्ट अंतरिक्ष]] पर [[प्रक्षेपण (गणित)]] को भौतिक अवलोकनों के प्रस्ताव के रूप में देखा जा सकता है; यानी संभावित हाँ या ना वाले प्रश्न जो एक प्रेक्षक एक भौतिक प्रणाली की स्थिति के बारे में पूछ सकता है, ऐसे प्रश्न जिन्हें कुछ माप द्वारा सुलझाया जा सकता है।{{sfn|von&nbsp;Neumann|1932}} 1936 के पेपर में वॉन न्यूमैन और बिरखॉफ द्वारा इन क्वांटम प्रस्तावों में हेरफेर करने के सिद्धांतों को तब क्वांटम लॉजिक कहा गया था।{{sfn|Birkhoff|von&nbsp;Neumann|1936}}

[[जॉर्ज मैके]] ने अपनी 1963 की पुस्तक (जिसे क्वांटम यांत्रिकी की गणितीय नींव भी कहा जाता है) में, क्वांटम तर्क को एक ऑर्थोकम्प्लिमेंटेड जाली की संरचना के रूप में स्वयंसिद्ध करने का प्रयास किया, और माना कि एक भौतिक अवलोकन योग्य को क्वांटम प्रस्ताव के संदर्भ में परिभाषित किया जा सकता है। हालांकि मैके की प्रस्तुति अभी भी मानती है कि [[orthocomplemented जाली]] एक वियोज्य अंतरिक्ष हिल्बर्ट अंतरिक्ष के [[बंद सेट]] रैखिक उप-स्थानों का जाली (क्रम) है,{{sfn|Mackey|1963}} [[कॉन्स्टेंटाइन पिरोन]], गुंथर लुडविग और अन्य ने बाद में स्वयंसिद्धीकरण विकसित किए जो एक अंतर्निहित हिल्बर्ट स्थान नहीं मानते हैं।<ref>Piron:

अधिकांश दार्शनिक क्वांटम लॉजिक को क्लासिकल लॉजिक का अनाकर्षक प्रतियोगी मानते हैं। यह स्पष्ट नहीं है कि क्वांटम तर्क तर्क की एक प्रक्रिया का वर्णन करने के अर्थ में एक तर्क है, जो क्वांटम उपकरणों द्वारा किए गए मापों को सारांशित करने के लिए विशेष रूप से सुविधाजनक भाषा के विपरीत है।{{sfn|Maudlin|2005|p=159-161}}{{sfn|Brody|1984}} (हालांकि, दूसरों का तर्क है कि वे लॉजिक्स हैं और सभी प्रामाणिक शर्तों को पूरा करते हैं, तर्कशास्त्रियों को एक अमूर्त वस्तु को तर्क कहने की आवश्यकता होती है।<ref>{{cite book |last1=Chiara |first1=Maria Luisa Dalla |author-link1=Maria Luisa Dalla Chiara |last2=Giuntini |first2=Roberto |last3=Greechie |first3=Richard |date=2004 |title=Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics |url=https://link.springer.com/book/10.1007/978-94-017-0526-4 |publisher=Springer Dordrecht |page=267 |doi=10.1007/978-94-017-0526-4 |isbn=978-94-017-0526-4 |quote=Why quantum logics? Simply because "quantum logics are there!" They seem to be deeply incorporated in the abstract structures generated by QT. Quantum logics are, without any doubt, logics. As we have seen, they satisfy all the canonical conditions that the present community of logicians require in order to call a given abstract object a logic. A question that has been often discussed concerns the compatibility between quantum logic and the mathematical formalism of quantum theory, based on classical logic. Is the quantum physicist bound to a kind of "logical schizophrenia"? At first sight, the copresence of different logics in one and the same theory may give a sense of uneasiness. However, the splitting of the basic logical operations (negation, conjunction, disjunction,...) into different connectives with different meanings and uses is now a well accepted logical phenomenon, that admits consistent descriptions. Classical and quantum logic turn out to apply to different sublanguages of quantum theory, that must be carefully distinguished.}}</ref>) विशेष रूप से, विज्ञान के आधुनिक दार्शनिक तर्क देते हैं कि क्वांटम तर्क भौतिक विज्ञान की समस्याओं को ठीक से हल करने के बजाय भौतिकी में अनसुलझी समस्याओं के लिए आध्यात्मिक कठिनाइयों को स्थानापन्न करने का प्रयास करता है।{{sfn|Brody|1984|pp=428-429}} [[टिम मौडलिन]] लिखते हैं कि क्वांटम लॉजिक माप समस्या को हल करता है | [माप] समस्या को राज्य के लिए असंभव बनाकर हल करता है।{{sfn|Maudlin|2005|p=174}}

{{Quote frame|The horse of quantum logic has been so thrashed, whipped and pummeled, and is so thoroughly deceased that...the question is not whether the horse will rise again, it is: how in the world did this horse get here in the first place? The tale of quantum logic is not the tale of a promising idea gone bad, it is rather the tale of the unrelenting pursuit of a bad idea. ...Many, many philosophers and physicists have become convinced that a change of logic (and most dramatically, the rejection of classical logic) will somehow help in understanding quantum theory, or is somehow suggested or forced on us by quantum theory. But quantum logic, even through its many incarnations and variations, both in technical form and in interpretation, has never yielded the goods.|Maudlin|[[#{{harvid|Maudlin|2005}}|Hilary Putnam]]|pp.&nbsp;184-185}}

क्वांटम लॉजिक को प्रस्तावों के सिद्धांत के रूप में स्वयंसिद्ध किया जा सकता है जो निम्नलिखित पहचानों को मॉड्यूल करता है:{{sfn|Megill|2019}}

* ए{{=}¬¬ए

* एक अधिकतम तत्व ⊤, और ⊤ है{{=}}b∨¬b किसी भी b के लिए।

* a∨¬(¬a∨b){{=}}एक।

कुछ लेखक [[ऑर्थोमॉड्यूलर जाली]] तक सीमित हैं, जो अतिरिक्त रूप से ऑर्थोमॉड्यूलर कानून को पूरा करते हैं:

* अगर ⊤{{=}¬(¬a∨¬b)∨¬(a∨b) फिर एक{{=}}बी।