[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