The Logic of Quantum Mechanics
1936/10/01 by Garrett Birkhoff, John Von Neumann, John von Neumann · 73 citations
Physics and Astronomy · Computer Science · #Quantum Mechanics and Applications #Logic, Reasoning, and Knowledge
paper · doi:10.2307/1968621
Abstract
One of the aspects of quantum theory which has attracted the most general attention, is the novelty of the logical notions which it presupposes. It asserts that even a complete mathematical description of a physical system S does not in general enable one to predict with certainty the result of an experiment on S, and that in particular one can never predict with certainty both the position and the momentum of S, (Heisenberg’s Uncertainty Principle). It further asserts that most pairs of observations are incompatible, and cannot be made on S, simultaneously (Principle of Non-commutativity of Observations).
Cited by
- Quantum Mechanics Based on Real Numbers: A Consistent Description
- A Philosopher Looks at Quantum Mechanics (Again)
- Non-signalling Theories and Generalized Probability
- New scattering features of quaternionic point interaction in non-Hermitian quantum mechanics
- A state-space approach to quantum permutations
- The Logic of Dynamical Systems Is Relevant
- Explanation, Evolution and Subjective Probability in Everett Quantum Mechanics with Positive Preclusion
- Slice regular Besov spaces of hyperholomorphic functions and composition operators
- Is there life beyond Quantum Mechanics?
- Categorical Foundations of Quantum Logics and Their Truth Values Structures
- An algebraic theory of infinite classical lattices III: Theory of single measurements
- No master (key) No (measurement) problem
- Quantum mechanics without measurements
- A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations
- Functions of the infinitesimal generator of a strongly continuous\n quaternionic group
- Decoherence, einselection, and the quantum origins of the classical
- The Algebra of the Pseudo-Observables I: Why Quantum Mechanics is the ultimate description of Reality
- Reformulating and Reconstructing Quantum Theory
- Do quantum propositions obey the principle of excluded middle?
- Quantum theory and functional analysis
- Computational Complexity and the Nature of Quantum Mechanics
- Weakening the Born Rule - Towards a Stateless Formulation of Quantum Mechanics
- Complementary Observables and Non-Boolean Logic Outside Quantum Physics
- Bohrification of local nets of observables
- Mathematical foundations of quantum mechanics: An advanced short course
- The Minimal Modal Interpretation of Quantum Theory
- Holistic type extension for classical propositional logic in quantum computation
- Hilbert Space Quantum Mechanics Is Noncontextual
- On the Nature of Continuous Physical Quantities in Classical and Quantum Mechanics
- Eutactic quantum codes
- Quantum Mechanics interpreted in Quantum Real Numbers
- Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
- Logical Interpretation of a Reversible Measurement in Quantum Computing
- To What Type of Logic Does the "Tetralemma" Belong?
- Probabilities from entanglement, Born’s rule<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mrow><mml:msub><mml:mi>p</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msup><mml:mrow><mml:mo>∣</mml:mo><mml:msub><mml:mi>ψ</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo>∣</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow></mml:math>from envariance
- The Nine Lives of Schroedinger's Cat
- A Topos for Algebraic Quantum Theory
- Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
- Equal cost of computation for truth and falsity of experimental quantum propositions necessitates quantum parallel computing
- Logic Column 18: Alternative Logics: A Book Review
- Dynamic Logic of Quantum Field Theory
- Measuring Measuring
- Orthologics for Cones
- Meaning updating of density matrices
- Bohrification: From classical concepts to commutative algebras
- On the assumptions underlying KS-like contradictions
- Effectuses in Categorical Quantum Foundations
- Quantum logic [wikipedia]
- Detecting event-related recurrences by symbolic analysis: applications to human language processing. [europepmc]
- Quantum-like behavior without quantum physics I : Kinematics of neural-like systems. [europepmc]
- The complex and quaternionic quantum bit from relativity of simultaneity on an interferometer. [europepmc]
- Cognitive Structures of Space-Time. [europepmc]
- Developments in Quantum Probability and the Copenhagen Approach. [europepmc]
- Probabilities and Epistemic Operations in the Logics of Quantum Computation. [europepmc]
- Closing the Door on Quantum Nonlocality. [europepmc]
- Logical Structures Underlying Quantum Computing. [europepmc]
- Adapting Logic to Physics: The Quantum-Like Eigenlogic Program. [europepmc]
- What Is So Special about Quantum Clicks? [europepmc]
- Evolution of Classical and Quantum States in the Groupoid Picture of Quantum Mechanics. [europepmc]
- Foundations of the Quaternion Quantum Mechanics. [europepmc]
- Kolmogorovian versus Non-Kolmogorovian Probabilities in Contextual Theories. [europepmc]
- Generalized Greenberger-Horne-Zeilinger Arguments from Quantum Logical Analysis. [europepmc]
- Quantum Epistemology and Falsification. [europepmc]
- Transitivity and homogeneity of orthosets and inner-product spaces over subfields of R. [europepmc]
- Extending Kolmogorov's Axioms for a Generalized Probability Theory on Collections of Contexts. [europepmc]
- On the Complete Description of Entangled Systems Part II: The (Meta)Physical Status and Semantic Aspects. [europepmc]
- A third transition in science? [europepmc]
- Quantum Circuit Components for Cognitive Decision-Making. [europepmc]
- Open Systems, Quantum Probability, and Logic for Quantum-like Modeling in Biology, Cognition, and Decision-Making. [europepmc]
- Rényi Entropy, Signed Probabilities, and the Qubit. [europepmc]
- 'The agency of observation not to be neglected': complementarity, causality and the arrow of events in quantum and quantum-like theories. [europepmc]
- A New Logic, a New Information Measure, and a New Information-Based Approach to Interpreting Quantum Mechanics. [europepmc]
- Symbolic model checking quantum circuits in Maude. [europepmc]
Related