Related papers: Constructor theory of time
All current formulations of thermodynamics invoke some form of coarse-graining or ensembles as the supposed link between their own laws and the microscopic laws of motion. They deal only with ensemble-averages, expectation values,…
Physics is formulated in terms of timeless classical mathematics. A formulation on the basis of intuitionist mathematics, built on time-evolving processes, would offer a perspective that is closer to our experience of physical reality.
The distinction between a theory's kinematics and its dynamics, that is, between the space of physical states it posits and its law of evolution, is central to the conceptual framework of many physicists. A change to the kinematics of a…
We argue against current proposals concerning the non-existence of time. We point out that a large number of these proposals rely, at least implicitly, on the assumption of `closure' (or `partial closure') of the laws of Physics. I.e. the…
It is brought forward that viable theories of the physical world that have no variable at all that can play the role of time, do not exist; some notion of time is one of the very first ingredients a candidate theory should possess. Almost…
Classically, any structure for a signature $\Sigma$ may be completed to a model of a desired regular theory $T$ by means of the chase construction or small object argument. Moreover, this exhibits $\mathrm{Mod}(T)$ as weakly reflective in…
Reachability logic has been applied to $\mathbb{K}$ rewrite-rule-based language definitions as a language-generic logic of programs. To be able to verify not just code but also distributed system designs, a new rewrite-theory-generic…
It is shown that the standard formulation of quantum mechanics in terms of Hermitian Hamiltonians is overly restrictive. A consistent physical theory of quantum mechanics can be built on a complex Hamiltonian that is not Hermitian but…
A notion of time is fundamental in the study of dynamical systems. Time arises as a standalone dynamical system and also in solutions or trajectories as a special kind of map between systems. We characterize time by a universal property and…
The existence of time machines, understood as spacetime constructions exhibiting physically realised closed timelike curves (CTCs), would raise fundamental problems with causality and challenge our current understanding of classical and…
The process of identifying a time variable in time reparameterization invariant theories results in great ambiguities about the actual laws of physics described by a given theory. A theory set up to describe one set of physical laws can…
The conceptual definition and understanding of the nature of time, both qualitatively and quantitatively is of the utmost difficulty and importance, and plays a fundamental role in physics. Physical systems seem to evolve in paths of…
Current theoretical physics suggests the flow of time is an illusion: the entire universe just is, with no special meaning attached to the present time. This paper points out that this view, in essence represented by usual space-time…
Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…
We distinguish two different concepts of time that play a role in physics: \textit{geometric time} and \textit{creative time}. The former is the time of deterministic physics and merely parametrizes a given evolution. The latter is instead…
Time is one of those issues about which many thinkers and scientists have tried to pronounce their finest thoughts, but the discourse about time has remained vague and often inconsistent. In this paper we put forward a conceptual framework…
Two people may claim both to be naturalists, but have divergent conceptions of basic elements of the natural world which lead them to mean different things when they talk about laws of nature, or states, or the role of mathematics in…
Structural proof theory is praised for being a symbolic approach to reasoning and proofs, in which one can define schemas for reasoning steps and manipulate proofs as a mathematical structure. For this to be possible, proof systems must be…
Precise rules are developed in order to formalize the reasoning processes involved in standard non-relativistic quantum mechanics, with the help of analogies from classical physics. A classical or quantum description of a mechanical system…
Physical laws are a set of rules in the relationship between observations made by the experimenter. All these observations are made through a mechanism that links the external world to the experimenter's awareness, a mechanism which is not…