[FOM] The Strong Free Will Theorem
Vaughan Pratt
pratt at cs.stanford.edu
Tue Jan 27 18:58:01 EST 2009
Simon Kochen wrote:
> There can be no precise
> use of the word "theorem" in phyics until Hilbert's problem of
> formalizing physics is realized.
This disclaimer begs the interesting question, what is physics
ultimately for? If to describe the physical universe precisely then
the disclaimer might be reasonable pending any such exact description.
But if its task is to model identifiable facets of the physical universe
in useful ways, then all such models having a mathematical character
will have theorems in the precise sense Conway and Kochen have in mind
for their theorem.
Those who accept the latter view of physics (my hand shoots up here)
should feel no need for such a disclaimer.
I don't understand the former view.
Vaughan Pratt
More information about the FOM
mailing list