[FOM] Incompleteness and Physics: comment 2
Vaughan Pratt
pratt at cs.stanford.edu
Fri Oct 17 18:30:31 EDT 2008
Allen Hazen wrote:
> A similar proposal was made by Montague(1) to try to analyze the notion of a
> DETERMINISTIC theory: a theory is deterministic if, for any two
> mathematically standard models of the theory, isomorphism of the
> representations in the two models of the state of the physical world at one
> moment implies that they will have isomorphic physical pictures for every
> other moment of time. [...]
>
> Surely the possibility of a complete physical THEORY should not depend on
> whether the laws of nature are deterministic! [...]
>
> Leaving a problem: how should one characterize the physical completeness of
> non-deterministic theories?
What's wrong with replacing Montague's requirement of isomorphism with
bisimilarity, as standardly done in foundations of concurrency today?
Vaughan Pratt
More information about the FOM
mailing list