----------------------
S16h. Modeling reality
----------------------
In describing reality from a physics point of view,
the person modeling a system of interest makes certain
choices. These consist in choosing a mathematical model
of the system, and setting up a correspondence between
informal objects related to the system and formal objects
in the mathematical model.
More specifically, an assertion about reality is modelled
as a mathematical assertion about mathematical objects in the
mathematical model that carry the same names as those
in the reality they are supposed to model.