Supplement to The Kochen-Specker Theorem


Indeed, STAT FUNC follows immediately from FUNC. Given A, f, and |φ> as defined in FUNC, we have:

v(f(A))|φ> = f(v(A))|φ>,

where f(A) is a new observable. Now, by the statistical algorithm:

STAT FUNC: Given A, f, and φ as defined in FUNC, then, for an arbitrary real number b:
prob[v(f(A))|φ> = b] = prob[f(v(A))|φ> = b]

Return to The Kochen-Specker Theorem

Copyright © 2018 by
Carsten Held <>

This is a file in the archives of the Stanford Encyclopedia of Philosophy.
Please note that some links may no longer be functional.
[an error occurred while processing this directive]