Abstract

While there exists in the wild a process to derive the laws of physics ---namely, the practice of science--- such does not currently benefit from a purely formal construction. This lack necessarily leads to obscurities in the development of physics. It is our present purpose to formalize the process within a purely mathematical background that will eliminate these obscurities. The first step in the program will be to eliminate all ambiguities from our language. To do so, we will express arbitrary experiments using Turing complete languages and halting programs. A listing of such experiments is recursively enumerable and, if understood as an incremental contribution to knowledge, then serves as a formulation of mathematics that models the practice of science entirely. In turn this formulation leads to a definition of the observer as the probability space over all experiments in nature, and physics as the solution to an optimization problem on the production of a message from said space; interpreted, physics defines a circumscription on the participation of the observer in nature. Finally, we discuss our model of the observer and the relation to physics, in the context of a comprehensive theory of reality.