Quantum logic is undecidable



Playing this video requires the latest flash player from Adobe.

Download link (right click and 'save-as') for playing in VLC or other compatible player.


Recording Details

Speaker(s): 
Scientific Areas: 
Collection/Series: 
PIRSA Number: 
16100035

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.