Models of Zermelo Frankel set theory as carriers for the mathematics of physics. I

Publisher Website
Google Scholar
Abstract
This paper is a first attempt to explore the relationship between physics and mathematics ’’in the large.’’ In particular, the use of different Zermelo Frankel model universes of sets (ZFC models) as carriers for the mathematics of quantum mechanics is discussed. It is proved that given a standard transitive ZFC model M, if, inside M, B (H M ) is the algebra of all bounded linear operators over a Hilbert spaceH M , there exists, outside M, a Hilbert spaceH and an algebraB (H), along with isometric monomorphisms U M and V M from H M into H and from B (H M ) into B (H). U M and V M are used to relate quantum mechanics based on M to quantum mechanics based on the usual ZFC model. It is then shown that, contrary to what one would expect, all ZFC models may not be equivalent as carriers for the mathematics of physics. In particular, it is proved that if one requires that an outcome sequence, associated with an infinite repetition of measuring a question observable on a system prepared in some state, be random, and if a strong definition of randomness is used, then the minimal standard ZFC model cannot be a carrier for the mathematics of quantum mechanics.