STAT FUNC from FUNC: A Supplement to The Kochen-Specker Theorem (Stanford Encyclopedia of Philosophy/Summer 2004 Edition)

This is a file in the archives of the Stanford Encyclopedia of Philosophy.

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)) = 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]

Carsten Held
carsten.held@uni-erfurt.de