एचपीओ औपचारिकता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(9 intermediate revisions by 4 users not shown)
Line 1: Line 1:
इतिहास प्रक्षेपण ऑपरेटर (एचपीओ) औपचारिकता [[क्रिस्टोफर ईशम]] द्वारा विकसित [[लौकिक तर्क|अस्थायी]]  [[क्वांटम तर्क|क्वांटम नियम]] के लिए दृष्टिकोण है। यह समय के विभिन्न बिंदुओं पर [[क्वांटम यांत्रिकी]] [[प्रस्ताव|प्रस्तावों]] की तार्किक संरचना से संबंधित है।
इतिहास प्रक्षेपण संचालन '''(एचपीओ) औपचारिकता''' [[क्रिस्टोफर ईशम]] द्वारा विकसित [[लौकिक तर्क|अस्थायी]]  [[क्वांटम तर्क|क्वांटम नियम]] के लिए दृष्टिकोण है। यह समय के विभिन्न बिंदुओं पर [[क्वांटम यांत्रिकी]] [[प्रस्ताव|प्रस्तावों]] की तार्किक संरचना से संबंधित है।


== परिचय ==
== परिचय ==
Line 5: Line 5:
मानक क्वांटम यांत्रिकी में भौतिक प्रणाली [[हिल्बर्ट अंतरिक्ष]] <math>\mathcal{H}</math> से जुड़ी होती है, निश्चित समय पर प्रणाली की अवस्थाओं को अंतरिक्ष में सामान्यीकृत सदिश द्वारा दर्शाया जाता है एवं भौतिक वेधशालाओं को [[हर्मिटियन संचालक]] <math>\mathcal{H}</math> द्वारा दर्शाया जाता है।  
मानक क्वांटम यांत्रिकी में भौतिक प्रणाली [[हिल्बर्ट अंतरिक्ष]] <math>\mathcal{H}</math> से जुड़ी होती है, निश्चित समय पर प्रणाली की अवस्थाओं को अंतरिक्ष में सामान्यीकृत सदिश द्वारा दर्शाया जाता है एवं भौतिक वेधशालाओं को [[हर्मिटियन संचालक]] <math>\mathcal{H}</math> द्वारा दर्शाया जाता है।  


भौतिक प्रस्ताव <math>\,P</math> निश्चित समय पर प्रणाली के विषय में ऑर्थोगोनल [[प्रोजेक्शन ऑपरेटर|प्रक्षेपण ऑपरेटर]] द्वारा  <math>\hat{P}</math> पर <math>\mathcal{H}</math> दर्शाया जा सकता है। यह प्रतिनिधित्व तार्किक प्रस्तावों की लैटिस एवं हिल्बर्ट अंतरिक्ष पर प्रक्षेपण ऑपरेटरों की [[जाली (आदेश)]] को साथ जोड़ता है (क्वांटम नियम क्वांटम यांत्रिक प्रणाली के प्रस्तावक जाली देखें)।
भौतिक प्रस्ताव <math>\,P</math> निश्चित समय पर प्रणाली के विषय में ऑर्थोगोनल [[प्रोजेक्शन ऑपरेटर|प्रक्षेपण संचालन]] द्वारा  <math>\hat{P}</math> पर <math>\mathcal{H}</math> दर्शाया जा सकता है। यह प्रतिनिधित्व तार्किक प्रस्तावों की लैटिस एवं हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालनों की [[जाली (आदेश)]] को साथ जोड़ता है (क्वांटम नियम क्वांटम यांत्रिक प्रणाली के प्रस्तावक जाली देखें)।


एचपीओ औपचारिकता प्रणाली के विषय में उन प्रस्तावों के लिए इन विचारों का स्वाभाविक विस्तार है जो अधिक बार संबंधित होते हैं।
एचपीओ औपचारिकता प्रणाली के विषय में उन प्रस्तावों के लिए इन विचारों का स्वाभाविक विस्तार है जो अधिक बार संबंधित होते हैं।
Line 13: Line 13:
=== सजातीय इतिहास ===
=== सजातीय इतिहास ===


सजातीय इतिहास प्रस्ताव <math>\,\alpha </math> एकल-बार प्रस्तावों का क्रम <math>\alpha_{t_i}</math> है, भिन्न-भिन्न समय पर निर्दिष्ट <math>t_1 < t_2 < \ldots < t_n </math> किया गया। इन समयों को इतिहास का लौकिक सहारा कहा जाता है। हम प्रस्ताव को <math>\,\alpha</math> निरूपित करेंगे, जैसे <math>(\alpha_1,\alpha_2,\ldots,\alpha_n)</math> एवं इसे इस रूप में पढ़ें <math>\alpha_{t_1}</math> समय पर <math>t_1</math> सत्य है एवं तत्पश्चात <math>\alpha_{t_2}</math> समय पर <math>t_2</math> सत्य है एवं तत्पश्चात <math>\ldots</math> एवं तब <math>\alpha_{t_n}</math> समय पर <math>t_n</math> क्या सत्य है।
सजातीय इतिहास प्रस्ताव <math>\,\alpha </math> एकल-बार प्रस्तावों का क्रम <math>\alpha_{t_i}</math> है, भिन्न-भिन्न समय पर निर्दिष्ट <math>t_1 < t_2 < \ldots < t_n </math> किया गया। इन समयों को इतिहास का लौकिक सहारा कहा जाता है। हम प्रस्ताव को <math>\,\alpha</math> निरूपित करेंगे, जैसे <math>(\alpha_1,\alpha_2,\ldots,\alpha_n)</math> एवं इसे इस रूप में पढ़ें <math>\alpha_{t_1}</math> समय पर <math>t_1</math> सत्य है एवं तत्पश्चात <math>\alpha_{t_2}</math> समय पर <math>t_2</math> सत्य है एवं तत्पश्चात <math>\alpha_{t_n}</math> समय पर <math>t_n</math> क्या सत्य है।


=== अमानवीय इतिहास ===
=== अमानवीय इतिहास ===


सभी इतिहास प्रस्तावों को भिन्न-भिन्न समय पर एक बार के प्रस्तावों के अनुक्रम द्वारा प्रस्तुत नहीं किया जा सकता है। इन्हें अमानवीय इतिहास प्रस्ताव कहा जाता है। एक उदाहरण प्रस्ताव है <math>\,\alpha</math> या <math>\,\beta</math> दो सजातीय इतिहास के लिए <math>\,\alpha, \beta</math>.
सभी इतिहास प्रस्तावों को भिन्न-भिन्न समय पर प्रस्तावों के अनुक्रम द्वारा प्रस्तुत नहीं किया जा सकता है। इन्हें अमानवीय इतिहास प्रस्ताव कहा जाता है। उदाहरण के लिए प्रस्ताव है <math>\,\alpha</math> या <math>\,\beta</math> दो सजातीय इतिहास के लिए <math>\,\alpha, \beta</math> है।


== इतिहास प्रक्षेपण ऑपरेटर ==
== इतिहास प्रक्षेपण संचालन ==


एचपीओ औपचारिकता का मुख्य अवलोकन इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण ऑपरेटरों द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व करना है। यहीं से हिस्ट्री प्रोजेक्शन ऑपरेटर (HPO) नाम आता है।
एचपीओ औपचारिकता का मुख्य अवलोकन इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालनों द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व करना है। यहीं से इतिहास प्रक्षेपण संचालन (HPO) नाम आता है।


एक समान इतिहास के लिए <math>\alpha = (\alpha_1,\alpha_2,\ldots,\alpha_n)</math> हम प्रोजेक्टर को परिभाषित करने के लिए हिल्बर्ट स्पेस के टेंसर उत्पाद # टेंसर उत्पाद का उपयोग कर सकते हैं
समान इतिहास के लिए <math>\alpha = (\alpha_1,\alpha_2,\ldots,\alpha_n)</math> हम प्रक्षेपों को परिभाषित करने के लिए हिल्बर्ट अंतरिक्ष के टेंसर उत्पाद का उपयोग कर सकते हैं।


<math>\hat{\alpha}:= \hat{\alpha}_{t_1} \otimes \hat{\alpha}_{t_2} \otimes \ldots \otimes \hat{\alpha}_{t_n}</math>
<math>\hat{\alpha}:= \hat{\alpha}_{t_1} \otimes \hat{\alpha}_{t_2} \otimes \ldots \otimes \hat{\alpha}_{t_n}</math>जहाँ <math>\hat{\alpha}_{t_i}</math> प्रक्षेपण संचालन प्रारम्भ है, <math>\mathcal{H}</math> जो प्रस्ताव का प्रतिनिधित्व <math>\alpha_{t_i}</math> समय में <math>t_i</math> करता है।
कहाँ <math>\hat{\alpha}_{t_i}</math> प्रोजेक्शन ऑपरेटर चालू है <math>\mathcal{H}</math> जो प्रस्ताव का प्रतिनिधित्व करता है <math>\alpha_{t_i}</math> समय पर <math>t_i</math>.


यह <math>\hat{\alpha}</math> टेंसर उत्पाद इतिहास हिल्बर्ट स्पेस पर एक प्रोजेक्शन ऑपरेटर है <math>H = \mathcal{H} \otimes \mathcal{H} \otimes \ldots \otimes \mathcal{H} </math>
यह <math>\hat{\alpha}</math> टेंसर उत्पाद इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन <math>H = \mathcal{H} \otimes \mathcal{H} \otimes \ldots \otimes \mathcal{H} </math> है, सभी प्रक्षेपण संचालन प्रारम्भ नहीं हैं, प्रपत्र <math>H</math> के टेंसर उत्पादों के योग के रूप में <math>\hat{\alpha}</math> लिखा जा सकता है, इन अन्य प्रक्षेपण संचालनों का उपयोग सजातीय इतिहासों के जाली संचालन को प्रारम्भ करके अमानवीय इतिहास का प्रतिनिधित्व करने के लिए किया जाता है।
सभी प्रोजेक्शन ऑपरेटर चालू नहीं हैं <math>H</math> प्रपत्र के टेंसर उत्पादों के योग के रूप में लिखा जा सकता है <math>\hat{\alpha}</math>. इन अन्य प्रोजेक्शन ऑपरेटरों का उपयोग सजातीय इतिहासों के जाली संचालन को लागू करके अमानवीय इतिहास का प्रतिनिधित्व करने के लिए किया जाता है।


== लौकिक क्वांटम नियम ==
== लौकिक क्वांटम नियम ==


इतिहास पर प्रोजेक्टरों द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व हिल्बर्ट स्पेस स्वाभाविक रूप से इतिहास प्रस्तावों की तार्किक संरचना को कूटबद्ध करता है। इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन के सेट पर जाली (आदेश) संचालन <math>H</math> इतिहास प्रस्तावों पर तार्किक संचालन के जाल के मॉडल के लिए लागू किया जा सकता है।
इतिहास पर प्रक्षेपको द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व हिल्बर्ट अंतरिक्ष स्वाभाविक रूप से इतिहास प्रस्तावों की तार्किक संरचना को कूटबद्ध करता है। इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन के समुच्चय पर जाली (आदेश) संचालन <math>H</math> इतिहास प्रस्तावों पर तार्किक संचालन के जाल के मॉडल के लिए प्रारम्भ किया जा सकता है।


यदि दो सजातीय इतिहास <math>\,\alpha </math> एवं <math>\,\beta</math> उसी अस्थायी समर्थन को साझा न करें जिसे वे संशोधित कर सकते हैं ताकि वे ऐसा कर सकें। अगर <math>\,t_i</math> के अस्थायी समर्थन में है <math>\,\alpha</math> लेकिन नहीं <math>\,\beta</math> (उदाहरण के लिए) तत्पश्चात एक नया सजातीय इतिहास प्रस्ताव जो इससे भिन्न है <math>\,\beta</math> हर समय हमेशा सत्य प्रस्ताव को शामिल करके <math>\,t_i</math> बन सकता है। इस प्रकार लौकिक का समर्थन करता है <math>\,\alpha, \beta</math> हमेशा एक साथ जुड़ सकते हैं। इसलिए हम मान लेंगे कि सभी सजातीय इतिहास समान लौकिक समर्थन साझा करते हैं।
यदि दो सजातीय इतिहास <math>\,\alpha </math> एवं <math>\,\beta</math> उसी अस्थायी समर्थन को विचार न करें जिसे वे संशोधित कर सकते हैं जिससे वे ऐसा कर सकें। यदि <math>\,t_i</math> के अस्थायी समर्थन में <math>\,\alpha</math> है, किन्तु <math>\,\beta</math> नहीं है, (उदाहरण के लिए) तत्पश्चात नया सजातीय इतिहास प्रस्ताव भिन्न है, <math>\,\beta</math> सदैव सत्य प्रस्ताव को सम्मिलित करके <math>\,t_i</math> बन सकता है। इस प्रकार लौकिक का समर्थन <math>\,\alpha, \beta</math> करता है, सदैव साथ जुड़ सकते हैं। इसलिए हम मान लेंगे कि सभी सजातीय इतिहास समान लौकिक समर्थन विचार करते हैं।


अब हम सजातीय इतिहास प्रस्तावों के लिए तार्किक संचालन प्रस्तुत करते हैं <math>\,\alpha </math> एवं <math>\,\beta</math> ऐसा है कि <math>\hat{\alpha} \hat{\beta} = \hat{\beta}\hat{\alpha} </math>
अब हम सजातीय इतिहास प्रस्तावों के लिए तार्किक संचालन प्रस्तुत करते हैं, <math>\,\alpha </math> एवं <math>\,\beta</math> ऐसा है कि <math>\hat{\alpha} \hat{\beta} = \hat{\beta}\hat{\alpha} </math>




=== संयोजन (एवं) ===
=== संयोजन ===


अगर <math>\alpha</math> एवं <math>\beta</math> दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव<math>\,\alpha</math> एवं <math>\,\beta</math>एक समान इतिहास भी है। यह प्रक्षेपण ऑपरेटर द्वारा दर्शाया गया है
यदि <math>\alpha</math> एवं <math>\beta</math> दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव<math>\,\alpha</math> एवं <math>\,\beta</math> समान इतिहास भी है। यह प्रक्षेपण संचालन द्वारा दर्शाया गया है।


<math>\widehat{\alpha \wedge \beta}:= \hat{\alpha} \hat{\beta}</math> <math>(= \hat{\beta} \hat{\alpha})</math>
<math>\widehat{\alpha \wedge \beta}:= \hat{\alpha} \hat{\beta}</math> <math>(= \hat{\beta} \hat{\alpha})</math>




=== वियोग (या) ===
=== वियोग ===


अगर <math>\alpha</math> एवं <math>\beta</math> दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव<math>\,\alpha</math> या <math>\,\beta</math>आम तौर पर एक सजातीय इतिहास नहीं है। यह प्रक्षेपण ऑपरेटर द्वारा दर्शाया गया है
यदि <math>\alpha</math> एवं <math>\beta</math> दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव<math>\,\alpha</math> या <math>\,\beta</math> सामान्यतः सजातीय इतिहास नहीं है। यह प्रक्षेपण संचालन द्वारा दर्शाया गया है।


<math>\widehat{\alpha \vee \beta}:= \hat{\alpha} + \hat{\beta} - \hat{\alpha}\hat{\beta}</math>
<math>\widehat{\alpha \vee \beta}:= \hat{\alpha} + \hat{\beta} - \hat{\alpha}\hat{\beta}</math>




=== निषेध (नहीं) ===
=== निषेध ===


प्रक्षेपण ऑपरेटरों की जाली में नकारात्मक कार्रवाई होती है <math> \hat{P} </math> को
प्रक्षेपण संचालनों की जाली में नकारात्मक क्रिया <math> \hat{P} </math> की होती है।


<math>\neg \hat{P} := \mathbb{I} - \hat{P}</math>
<math>\neg \hat{P} := \mathbb{I} - \hat{P}</math> जहाँ <math>\mathbb{I}</math> हिल्बर्ट अंतरिक्ष पर [[ पहचान ऑपरेटर | पहचान संचालन]] है। इस प्रकार प्रक्षेपों प्रस्ताव का प्रतिनिधित्व करता था <math>\neg \alpha</math> (अर्थात् नहीं <math>\alpha</math>) है,
कहाँ <math>\mathbb{I}</math> हिल्बर्ट स्पेस पर [[ पहचान ऑपरेटर ]] है। इस प्रकार प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करता था <math>\neg \alpha</math> (अर्थात् नहीं <math>\alpha</math>) है


<math>\widehat{\neg \alpha}:= \mathbb{I} - \hat{\alpha}.</math>
<math>\widehat{\neg \alpha}:= \mathbb{I} - \hat{\alpha}.</math>
Line 66: Line 63:
=== उदाहरण: दो बार का इतिहास ===
=== उदाहरण: दो बार का इतिहास ===


एक उदाहरण के रूप में, दो बार के सजातीय इतिहास प्रस्ताव के निषेध पर विचार करें <math>\,\alpha = (\alpha_1, \alpha_2)</math>. प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करने के लिए <math>\neg \alpha</math> है
उदाहरण के रूप में, दो बार के सजातीय इतिहास प्रस्ताव के निषेध पर विचार करें <math>\,\alpha = (\alpha_1, \alpha_2)</math>. प्रक्षेपों प्रस्ताव का प्रतिनिधित्व करने के लिए <math>\neg \alpha</math> है,


<math>\widehat{\neg \alpha} = \mathbb{I} \otimes \mathbb{I} - \hat{\alpha}_1 \otimes \hat{\alpha}_2</math>
<math>\widehat{\neg \alpha} = \mathbb{I} \otimes \mathbb{I} - \hat{\alpha}_1 \otimes \hat{\alpha}_2</math>
<math>=  (\mathbb{I} - \hat{\alpha}_1) \otimes \hat{\alpha}_2 + \hat{\alpha}_1 \otimes (\mathbb{I} - \hat{\alpha}_2) + (\mathbb{I} - \hat{\alpha}_1) \otimes (\mathbb{I} - \hat{\alpha}_2)</math>
<math>=  (\mathbb{I} - \hat{\alpha}_1) \otimes \hat{\alpha}_2 + \hat{\alpha}_1 \otimes (\mathbb{I} - \hat{\alpha}_2) + (\mathbb{I} - \hat{\alpha}_1) \otimes (\mathbb{I} - \hat{\alpha}_2)</math> इस अभिव्यक्ति में आने वाले शब्द:
इस अभिव्यक्ति में आने वाले शब्द:


* <math>(\mathbb{I} - \hat{\alpha}_1) \otimes \hat{\alpha}_2</math>
* <math>(\mathbb{I} - \hat{\alpha}_1) \otimes \hat{\alpha}_2</math>
Line 78: Line 74:
प्रत्येक की व्याख्या इस प्रकार की जा सकती है:
प्रत्येक की व्याख्या इस प्रकार की जा सकती है:
   
   
* <math>\,\alpha_1 </math> झूठा है एवं <math>\,\alpha_2 </math> क्या सत्य है
* <math>\,\alpha_1 </math> असत्य है एवं <math>\,\alpha_2 </math> क्या सत्य है,
* <math>\,\alpha_1 </math> सत्य है एवं <math>\,\alpha_2 </math> गलत है
* <math>\,\alpha_1 </math> सत्य है एवं <math>\,\alpha_2 </math> त्रुटिपूर्ण है,
* दोनों <math>\,\alpha_1 </math> झूठा है एवं <math>\,\alpha_2 </math> गलत है
* दोनों <math>\,\alpha_1 </math> असत्य है एवं <math>\,\alpha_2 </math> त्रुटिपूर्ण है,


ये तीन सजातीय इतिहास, OR ऑपरेशन के साथ मिलकर, प्रस्ताव के तरीके के लिए सभी संभावनाएं शामिल करते हैं<math>\,\alpha_1</math> एवं तब <math>\,\alpha_2</math>झूठा हो सकता है। इसलिए हम देखते हैं कि की परिभाषा <math>\widehat{\neg \alpha}</math> किस प्रस्ताव से सहमत हैं <math>\neg \alpha</math> मतलब होना चाहिए।
ये तीन सजातीय इतिहास, ओआर (OR) ऑपरेशन के साथ मिलकर, प्रस्ताव की प्रविधि के लिए सभी संभावनाएं सम्मिलित करते हैं।  तब<math>\,\alpha_1</math> एवं <math>\,\alpha_2</math>असत्य हो सकता है। इसलिए हम देखते हैं कि परिभाषा <math>\widehat{\neg \alpha}</math> किस प्रस्ताव से सहमत हैं <math>\neg \alpha</math> अर्थ होना चाहिए।


==संदर्भ==
==संदर्भ==
* C.J. Isham, [https://arxiv.org/abs/gr-qc/9308006 Quantum Logic and the Histories Approach to Quantum Theory], [[J. Math. Phys.]] 35 (1994) 2157-2185, arXiv:gr-qc/9308006v1
* C.J. Isham, [https://arxiv.org/abs/gr-qc/9308006 Quantum Logic and the Histories Approach to Quantum Theory], [[J. Math. Phys.]] 35 (1994) 2157-2185, arXiv:gr-qc/9308006v1


{{DEFAULTSORT:Hpo Formalism}}[[Category: तर्क]] [[Category: क्वांटम माप]]
{{DEFAULTSORT:Hpo Formalism}}


 
[[Category:Created On 18/05/2023|Hpo Formalism]]
 
[[Category:Machine Translated Page|Hpo Formalism]]
[[Category: Machine Translated Page]]
[[Category:क्वांटम माप|Hpo Formalism]]
[[Category:Created On 18/05/2023]]
[[Category:तर्क|Hpo Formalism]]

Latest revision as of 16:27, 30 October 2023

इतिहास प्रक्षेपण संचालन (एचपीओ) औपचारिकता क्रिस्टोफर ईशम द्वारा विकसित अस्थायी क्वांटम नियम के लिए दृष्टिकोण है। यह समय के विभिन्न बिंदुओं पर क्वांटम यांत्रिकी प्रस्तावों की तार्किक संरचना से संबंधित है।

परिचय

मानक क्वांटम यांत्रिकी में भौतिक प्रणाली हिल्बर्ट अंतरिक्ष से जुड़ी होती है, निश्चित समय पर प्रणाली की अवस्थाओं को अंतरिक्ष में सामान्यीकृत सदिश द्वारा दर्शाया जाता है एवं भौतिक वेधशालाओं को हर्मिटियन संचालक द्वारा दर्शाया जाता है।

भौतिक प्रस्ताव निश्चित समय पर प्रणाली के विषय में ऑर्थोगोनल प्रक्षेपण संचालन द्वारा पर दर्शाया जा सकता है। यह प्रतिनिधित्व तार्किक प्रस्तावों की लैटिस एवं हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालनों की जाली (आदेश) को साथ जोड़ता है (क्वांटम नियम क्वांटम यांत्रिक प्रणाली के प्रस्तावक जाली देखें)।

एचपीओ औपचारिकता प्रणाली के विषय में उन प्रस्तावों के लिए इन विचारों का स्वाभाविक विस्तार है जो अधिक बार संबंधित होते हैं।

इतिहास के प्रस्ताव

सजातीय इतिहास

सजातीय इतिहास प्रस्ताव एकल-बार प्रस्तावों का क्रम है, भिन्न-भिन्न समय पर निर्दिष्ट किया गया। इन समयों को इतिहास का लौकिक सहारा कहा जाता है। हम प्रस्ताव को निरूपित करेंगे, जैसे एवं इसे इस रूप में पढ़ें समय पर सत्य है एवं तत्पश्चात समय पर सत्य है एवं तत्पश्चात समय पर क्या सत्य है।

अमानवीय इतिहास

सभी इतिहास प्रस्तावों को भिन्न-भिन्न समय पर प्रस्तावों के अनुक्रम द्वारा प्रस्तुत नहीं किया जा सकता है। इन्हें अमानवीय इतिहास प्रस्ताव कहा जाता है। उदाहरण के लिए प्रस्ताव है या दो सजातीय इतिहास के लिए है।

इतिहास प्रक्षेपण संचालन

एचपीओ औपचारिकता का मुख्य अवलोकन इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालनों द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व करना है। यहीं से इतिहास प्रक्षेपण संचालन (HPO) नाम आता है।

समान इतिहास के लिए हम प्रक्षेपों को परिभाषित करने के लिए हिल्बर्ट अंतरिक्ष के टेंसर उत्पाद का उपयोग कर सकते हैं।

जहाँ प्रक्षेपण संचालन प्रारम्भ है, जो प्रस्ताव का प्रतिनिधित्व समय में करता है।

यह टेंसर उत्पाद इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन है, सभी प्रक्षेपण संचालन प्रारम्भ नहीं हैं, प्रपत्र के टेंसर उत्पादों के योग के रूप में लिखा जा सकता है, इन अन्य प्रक्षेपण संचालनों का उपयोग सजातीय इतिहासों के जाली संचालन को प्रारम्भ करके अमानवीय इतिहास का प्रतिनिधित्व करने के लिए किया जाता है।

लौकिक क्वांटम नियम

इतिहास पर प्रक्षेपको द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व हिल्बर्ट अंतरिक्ष स्वाभाविक रूप से इतिहास प्रस्तावों की तार्किक संरचना को कूटबद्ध करता है। इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन के समुच्चय पर जाली (आदेश) संचालन इतिहास प्रस्तावों पर तार्किक संचालन के जाल के मॉडल के लिए प्रारम्भ किया जा सकता है।

यदि दो सजातीय इतिहास एवं उसी अस्थायी समर्थन को विचार न करें जिसे वे संशोधित कर सकते हैं जिससे वे ऐसा कर सकें। यदि के अस्थायी समर्थन में है, किन्तु नहीं है, (उदाहरण के लिए) तत्पश्चात नया सजातीय इतिहास प्रस्ताव भिन्न है, सदैव सत्य प्रस्ताव को सम्मिलित करके बन सकता है। इस प्रकार लौकिक का समर्थन करता है, सदैव साथ जुड़ सकते हैं। इसलिए हम मान लेंगे कि सभी सजातीय इतिहास समान लौकिक समर्थन विचार करते हैं।

अब हम सजातीय इतिहास प्रस्तावों के लिए तार्किक संचालन प्रस्तुत करते हैं, एवं ऐसा है कि


संयोजन

यदि एवं दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव एवं समान इतिहास भी है। यह प्रक्षेपण संचालन द्वारा दर्शाया गया है।


वियोग

यदि एवं दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव या सामान्यतः सजातीय इतिहास नहीं है। यह प्रक्षेपण संचालन द्वारा दर्शाया गया है।


निषेध

प्रक्षेपण संचालनों की जाली में नकारात्मक क्रिया की होती है।

जहाँ हिल्बर्ट अंतरिक्ष पर पहचान संचालन है। इस प्रकार प्रक्षेपों प्रस्ताव का प्रतिनिधित्व करता था (अर्थात् नहीं ) है,


उदाहरण: दो बार का इतिहास

उदाहरण के रूप में, दो बार के सजातीय इतिहास प्रस्ताव के निषेध पर विचार करें . प्रक्षेपों प्रस्ताव का प्रतिनिधित्व करने के लिए है,

इस अभिव्यक्ति में आने वाले शब्द:

  • .

प्रत्येक की व्याख्या इस प्रकार की जा सकती है:

  • असत्य है एवं क्या सत्य है,
  • सत्य है एवं त्रुटिपूर्ण है,
  • दोनों असत्य है एवं त्रुटिपूर्ण है,

ये तीन सजातीय इतिहास, ओआर (OR) ऑपरेशन के साथ मिलकर, प्रस्ताव की प्रविधि के लिए सभी संभावनाएं सम्मिलित करते हैं। तब एवं असत्य हो सकता है। इसलिए हम देखते हैं कि परिभाषा किस प्रस्ताव से सहमत हैं अर्थ होना चाहिए।

संदर्भ