Constructor theory of time

Constructor theory asserts that the laws of physics are expressible as specifications of which transformations of physical systems can or cannot be brought about with unbounded accuracy by devices capable of operating in a cycle ('constructors'). Hence, in particular, such specifications cannot refer to time. Thus, laws expressed in constructor-theoretic form automatically avoid the anomalous properties of time in traditional formulations of fundamental theories. But that raises the problem of how they can nevertheless give meaning to duration and dynamics, and thereby be compatible with traditionally formulated laws. Here we show how.