Kvantelogik

Den kvante logik er den grundlæggende argumentation og konklusioner i overensstemmelse med de postulater kvantemekanikken . Især, da observerbare ikke nødvendigvis er kommutative, indebærer Heisenbergs sætning (jf. Usikkerhedsprincippet ) begrebet indviklede , en rent kvantebegreb som illustreret af den døde og levende kat i det berømte paradoks. Schrödinger-katten .

John von Neumann viste, ved at reflektere over grundlaget for kvantemekanikken, at Aristoteles ' logik (jf. Organon ) var i modstrid med kvantelogikken. Specielt eksisterer begrebet den udelukkede tredjepart ikke i kvantelogik. George Mackey , derefter Veeravalli Varadarajan  (in) udviklede disse tanker, så mange andre.

Se også

• kvantecomputer
• kvanteinformation

Bibliografi

• John von Neumann  : matematiske fundamenter for QM  ; Princeton, 1955.
• Mackey: samme; Benjamn, 1963.
• Varadarajan: geometri af Q-teorien . van Nostrand, 1968.
• Kitaev: klassisk & kvanteberegning; AMS47, 2002.
• Hirvensalo: Q computing , springerV, 2001.
• Alain Connes  : ikke-kommutativ geometri , springerV1831, 2004.

• G. Birkhoff og J. von Neumann, The Logic of Quantum Mechanics , bind 37, 1936.
• D. Cohen, En introduktion til Hilbert Space and Quantum Logic , Springer-Verlag, 1989. Dette er en grundig, men elementær og godt illustreret introduktion, der er velegnet til avancerede studerende.
• D. Finkelstein, Matter, Space and Logic , Boston Studies in the Philosophy of Science bind V, 1969
• A. Gleason, foranstaltninger over de lukkede underrum af et Hilbert-rum , tidsskrift for matematik og mekanik, 1957.
• R. Kadison, Isometries of Operator Algebras , Annals of Mathematics , bind 54 s. 325-338, 1951
• G. Ludwig, matematiske fundamenter for kvantemekanik , Springer-Verlag, 1983.
• G. Mackey, Mathematical Foundations of Quantum Mechanics , WA Benjamin, 1963 (paperback genoptryk af Dover 2004).
• J. von Neumann, Mathematical Foundations of Quantum Mechanics , Princeton University Press, 1955. Genoptrykt i paperback-form.
• R. Omnès, Understanding Quantum Mechanics , Princeton University Press, 1999. En ekstraordinær klar diskussion af nogle logiske og filosofiske spørgsmål vedrørende kvantemekanik med nøje opmærksomhed på emnets historie. Diskuterer også konsistente historier.
• C. Piron, Foundations of Quantum Physics , WA Benjamin, 1976.
• H. Putnam, Is Logic Empirical , Boston Studies in the Philosophy of Science vol. V, 1969
• Hermann Weyl , Theory of Groups and Quantum Mechanics , Dover Publications, 1950.