We have decided to discontinue the publication of preprints on our preprint server as of 1 March 2024. The publication culture within mathematics has changed so much due to the rise of repositories such as ArXiV (www.arxiv.org) that we are encouraging all institute members to make their preprints available there. An institute's repository in its previous form is, therefore, unnecessary. The preprints published to date will remain available here, but we will not add any new preprints here.
MiS Preprint
50/2016
Quantum logic is undecidable
Tobias Fritz
Abstract
We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0)$, where '$\perp$' is orthogonality. Our main result is that already its purely implicational fragment is undecidable: there is no algorithm to decide whether an implication between equations in the language of orthomodular lattices is valid in all complex Hilbert spaces. This is a simple corollary of a recent result of Slofstra in combinatorial group theory, and follows upon reinterpreting that result in terms of the hypergraph approach to contextuality.
