Logical pre- and post-selection paradoxes are proofs of contextuality.

Matthew F. Pusey Matthew S. Leifer

Published in: QPL (2015)

Keyphrases

theorem proving
real time

neural network
data structure

theorem prover
natural deduction

logical reasoning