Quantum logic is undecidable
Tobias Fritz
Topics & Concepts
MathematicsUndecidable problemHypergraphLinear subspaceOrthogonalityDiscrete mathematicsHilbert spaceQuantum logicSatisfiabilityCorollaryAlgebra over a fieldSignature (topology)Categorical quantum mechanicsPOVMQuantum algorithmPure mathematicsQuantumDecidabilityAtomic formulaQuantum stateBoolean satisfiability problemHermitian matrixInverseQuantum informationGroup (periodic table)Advanced Operator Algebra ResearchHomotopy and Cohomology in Algebraic TopologyGeometric and Algebraic Topology