#### 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
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]

Copyright © 2000 by

**Carsten Held**

*cheld@uni-freiburg.de*
Return to The Kochen-Specker Theorem

*First posted: September 10, 2000*

*Last modified: September 10, 2000*