DRAFT: On the logical foundation of physics (part 2)

The aim of this work is, first, to set the basis for a formal model of science, then, it is to show that the laws of physics are its theorems. Necessarily, all theories that are the logical product of science are theorems of our model. As this includes physics, our model is, therefore, its logical foundation. Our model is an axiomatic realization of the participatory universe envisioned by John Archibald Wheeler, in which the observer's practice of science is associated with proving reality. As our model is constructive of the mathematical structure isomorphic to nature, it deprecates Karl Popper's definition of science based on falsifiability. The formal practice of science consists of constructing a message (in the sense of Shannon's theory of information) of experiments (the elements of the message) constrained by the requirement that the elements are verifiable by the statistical priors of the message. In this context, we define the priors as Nature and we qualify the message as scientific. Nature is thus understood as a general proof checker for experiments. We show that the construction of a scientific message bounds nature (the priors) to a cosmology entirely emergent from the entropy of the scientific message. Finally, we conclude that the participatory-universe is emergent from the ideal practice of science