{"entities":{"Q2645405":{"pageid":2656148,"ns":120,"title":"Item:Q2645405","lastrevid":44549148,"modified":"2025-11-23T20:16:11Z","type":"item","id":"Q2645405","labels":{"en":{"language":"en","value":"The logic of quantum mechanics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3023737"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2645405$FDB0932F-D0AC-485A-94CC-AFFCF76BDAAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb0c9eecc0f22ee062b9a193774776c6039d06ca","datavalue":{"value":{"text":"The logic of quantum mechanics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2645405$E3DF2904-8DFA-4FFC-9B36-F524DA02DB87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87046a20c988703e90fefd37c932486917fa6142","datavalue":{"value":"0015.14603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645405$241FE58B-49D5-4F5D-98B3-004151335942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e73c990e88a64074255d7b31316793dc3e9616f","datavalue":{"value":"10.2307/1968621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645405$E4341292-D53B-4401-857A-1849A01BC593","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2645405$1C9623BD-F289-4A31-8A27-91081BC09FEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd24e618322be35613a64fc5f86a90753a27b1","datavalue":{"value":{"time":"+1936-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2645405$1531ACA9-881D-41B6-A2FD-B75776D91415","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66926ca0f3d717263dcb5342162ca120cfe6f673","datavalue":{"value":"\\glqq Experimentelle Aussagen\\grqq{} \u00fcber den Zustand eines quantenmechanischen Systems haben die Form: \\(n\\) gegebene gleichzeitig me\u00dfbare Gr\u00f6\u00dfen haben Werte, die mit Sicherheit einer gegebenen Menge \\(S\\) von Wertsystemen angeh\u00f6ren. Im Hilbertschen Raum der Zustandsfunktionen \\(\\psi\\) entspricht jeder experimentellen Aussage ein abgeschlossener linearer Unterraum. Die Aussage \\(a\\) trifft zu, wenn \\(\\psi\\) dem Unterraum angeh\u00f6rt; die entgegengesetzte Aussage \\(a'\\) (``non \\(a\\)'') trifft zu, wenn \\(\\psi\\) dem orthogonalen Komplement des Unterraums angeh\u00f6rt. Es wird postuliert, da\u00df dem Durchschnitt zweier Unterr\u00e4ume, die zu experimentellen Aussagen \\(a\\) und \\(b\\) geh\u00f6ren, auch eine experimentelle Aussage entspricht. Die Relation \\(a\\subset b\\) (\\glqq aus \\(a\\) folgt \\(b\\)\\grqq{}) besteht dann, wenn der zu \\(a\\) geh\u00f6rige Unterraum in dem zu \\(b\\) geh\u00f6rigen enthalten ist. Die \\glqq quantenmechanische Logik\\grqq{} ist nun die Axiomatik der Relationen \\(a\\subset b\\) und \\(a'\\). Die Axiome sind den folgenden gleichwertig:   A 1. Aus \\(a\\subset b\\) und \\(b\\subset c\\) folgt \\(a\\subset c\\).   A 2. Aus \\(a\\subset b\\) folgt \\(b'\\subset a'\\).   A 3. \\(a\\subset (a')'\\) und \\((a')'\\subset a\\).   A 4. Es gibt zu \\(x\\) und \\(y\\) eine Aussage \\(x \\cap y\\), so da\u00df \\((x \\cap y)\\subset x\\), \\((x \\cap y)\\subset y\\) und aus \\(z\\subset x\\) und \\(z\\subset y\\) folgt \\(z\\subset (x\\cap y)\\).   A 5. \\(a\\cap a'\\subset x\\). Oder: Aus  \\(a\\subset a'\\) folgt  \\(a\\subset x\\).   Def.: \\(a = b\\) bedeutet \\(a\\subset b\\) und \\(b\\subset c\\).   Aus A 5 folgt: Es gibt eine Aussage \\(o\\), so da\u00df \\(o\\subset x\\) f\u00fcr alle \\(x\\).   Aus A 1 und A 3 folgt: \\(a\\subset a\\).   Die Aussage \\(o'\\) hat die Eigenschaft \\(x\\subset o'\\) f\u00fcr alle \\(x\\). Es gibt zu \\(x\\) und \\(y\\) eine Aussage \\(x\\cup y = (x'\\cap y')'\\), so da\u00df \\(x\\subset (x\\cup y)\\), \\(y\\subset (x\\cup y)\\) und aus \\(x\\subset z\\) und \\(y\\subset z\\) folgt \\(x\\cup y\\subset z\\).   Demzufolge bilden die Aussagen einen Verband (a lattice; vgl. \\textit{Fritz Klein} [Math. Ann. 106, 114--130 (1932; Zbl 0003.29102); Math. Z. 39, 227--239 (1934; Zbl 0009.38701); Math. Ann. 111, 596--621 (1935; Zbl 0012.14502)], \\textit{G. Birkhoff} [Proc. Camb. Philos. Soc. 29, 441--464 (1933; Zbl 0007.39502); ibid. 30, 115--122 (1934; Zbl 0009.05501) und Bull. Am. Math. Soc. 40, 613--619 (1934; Zbl 0009.39402)], \\textit{\u00d8. Ore} [Ann. Math. (2) 36, 406--437 (1935; Zbl 0012.00501)]).    In der klassischen Physik und in der Booleschen Logik gilt das distributive Gesetz:   L 6. \\(a \\cup (b \\cap c) = (a\\cup b) \\cap (a\\cup c)\\).   In der Quantentheorie gilt L 6 nicht. Man kann aber aus der Dedekindschen Modultheorie das schw\u00e4chere   A 6. Aus \\(a\\subset c\\) folgt \\(a \\cup (b \\cap c) = (a \\cup b) \\cap c\\)   \u00fcbernehmen. Im Hilbertschen Raum gilt A 6 allerdings nur dann, wenn die Modulsumme von zwei Teilr\u00e4umen, denen Aussagen entsprechen, stets abgeschlossen ist. In einem endlichdimensionalen projektiven Raum gilt A 6 immer, ebenso in einer kontinuierlichdimensionalen projektiven Geometrie [J. von Neumann [Proc. Natl. Acad. Sci. USA 22, 92--100 (1936; Zbl 0014.22307); 22, 101--108 (1936; Zbl 0014.22308)].   A 6 folgt auch aus der Annahme einer numerischen Funktion \\(d(a)\\) mit   D 1. Aus \\(a\\subset b\\) und \\(a \\ne b\\) folgt \\(d(a) < d(b)\\).   D 2. \\(d(a) + d(b) = d(a \\cap b) + d(a \\cup b)\\).   F\u00fchrt man eine Endlichkeitsbedingung f\u00fcr Ketten und eine Irreduzibilit\u00e4tsbedingung ein, so folgt aus A 1 bis A 6, da\u00df der Verband isomorph einer projektiven Geometrie \u00fcber einen Schiefk\u00f6rper ist, welcher einen inversen Isomorphismus \\(W\\) mit \\(W^2 = 1\\) und eine definite Hermitesche Form   \\[ F = \\sum_1^{n+1} x_\\nu^W \\gamma_\\nu x_\\nu \\]   gestattet.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2645405$87346DAD-B666-4182-BE4F-8EC2CA692716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645405$8CD88DFD-5545-49A3-A98A-DCB503EE5EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645405$FDD10B2B-A31D-4ACB-BD8C-BE9079DC4CE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bda38ab46a80cbb4fa582435f31701563546ae5","datavalue":{"value":"3023737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645405$2FC8620A-07AD-4A3C-8EED-B14A2219852B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae36733faf960ef07b95d296ccebfa0c78b3616","datavalue":{"value":"logic of quantum mechanics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2645405$CC13813E-0387-4468-8076-6D81998E5058","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f18cad9939ae53e36eac318812f606b145d0d827","datavalue":{"value":"Q21999012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645405$41DA81B3-77DA-46FA-A59B-79A6D9A5E221","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"228db79b45fa3473f443ccacd15e5f2306af0611","datavalue":{"value":{"entity-type":"item","numeric-id":559464,"id":"Q559464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2645405$FCFBEE85-D00F-4E0B-B649-26C90A8D5332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee96420e31a33f0741706c7430f3e2da6e67cbdc","datavalue":{"value":{"entity-type":"item","numeric-id":564712,"id":"Q564712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2645405$FD2DA0A0-A2F5-46BD-AEC4-7C0F4FA911DE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2645405$08BB7A0F-1287-492C-878F-2C1A42E91481","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b657bc1b2d1b82156b16f177e471cf7079496c0","datavalue":{"value":"https://doi.org/10.2307/1968621","type":"string"},"datatype":"url"},"type":"statement","id":"Q2645405$BE8A7870-088E-4DF5-A42A-B23B64F7037F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82a1c3d232799f7548df4999c4eada4facb3677e","datavalue":{"value":"W3126996113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645405$88DF3910-A35A-48A6-8CDA-FB99D08B5598","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2645405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2645405"}}}}}