PIRSA:16100035

# Quantum logic is undecidable

### APA

Fritz, T. (2016). Quantum logic is undecidable. Perimeter Institute. https://pirsa.org/16100035

### MLA

Fritz, Tobias. Quantum logic is undecidable. Perimeter Institute, Oct. 25, 2016, https://pirsa.org/16100035

### BibTex

@misc{ pirsa_PIRSA:16100035, doi = {10.48660/16100035}, url = {https://pirsa.org/16100035}, author = {Fritz, Tobias}, keywords = {Quantum Foundations}, language = {en}, title = {Quantum logic is undecidable}, publisher = {Perimeter Institute}, year = {2016}, month = {oct}, note = {PIRSA:16100035 see, \url{https://pirsa.org}} }

Tobias Fritz Universität Innsbruck

## Abstract

I will explain and prove the statement of the title. The proof relies on a recent result of Slofstra in combinatorial group theory and the hypergraph approach to contextuality.

Based on http://arxiv.org/abs/1607.05870.