Stanford Encyclopedia of Philosophy

Supplement to The Kochen-Specker Theorem

STAT FUNC from FUNC

Indeed, STAT FUNC follows immediately from FUNC. Given A, f, and vector phi as defined in FUNC, we have:
v(f(A))vector phi = f(v(A))vector phi,
where f(A) is a new observable. Now, by the statistical algorithm:
STAT FUNC: Given A, f, and vector phi as defined in FUNC, then, for an arbitrary real number b:
prob[v(f(A))vector phi = b] = prob[f(v(A))vector phi = b]

Return to The Kochen-Specker Theorem