Fig. 2: Applying reasoning rules to the Learned Prediction Experiment.
From: Reply to: Quantum mechanical rules for observed observers and the consistency of quantum theory
If we omit Wigner’s measurement, the analysis of this experiment is straightforward. For example, if Bob observes Y = 1, he can use reasoning rule (Q) to infer the prediction P = "I am certain that X = 1.” Upon receiving and reading P, Alice may say “I am certain that Bob is certain that X = 1.” Using (C) Alice immediately arrives at \({P}^{{\prime} }=\)"I am certain that X = 1.” Finally, (S) demands that the outcome of Alice’s measurement must indeed match her prediction \({P}^{{\prime} }\).
