Related papers: Operative Time Definition and Principal Uncertaini…
Prigogine and Stengers (1988) have pointed to the centrality of the concepts of "time and eternity" for the cosmology contained in Newtonian physics, but they have not addressed this issue beyond the domain of physics. The construction of…
"It is utterly beyond our power to measure the changes of things by time. Quite the contrary, time is an abstraction at which we arrive through the changes of things." Ernst Mach [1]. What change? Three answers to this are `any change'…
A careful study is made of the operational meaning of the time symbols appearing in the space-time Lorentz transformation. Four distinct symbols, with different physical meanings, are needed to describe reciprocal measurements involving…
W. Pauli pointed out that the existence of a self-adjoint time operator is incompatible with the semibounded character of the Hamiltonian spectrum. As a result, people have been arguing a lot about the time-energy uncertainty relation and…
We extend in a natural way the operation of Turing machines to infinite ordinal time, and investigate the resulting supertask theory of computability and decidability on the reals. The resulting computability theory leads to a notion of…
Many potentially non-terminating functions cannot be directly defined in a logic of total functions, such as HOL. A well-known solution to this is to define non-terminating functions using a clock that forces termination at a certain depth…
Temporal information conveyed by language describes how the world around us changes through time. Events, durations and times are all temporal elements that can be viewed as intervals. These intervals are sometimes temporally related in…
We present a derivation of the structure and dynamics of a ticking clock by showing that for finite systems a single natural principle serves to distinguish what we understand as ticking clocks from time-keeping systems in general. As a…
A practical way to deal with the problem of time in quantum cosmology and quantum gravity is proposed. The main tool is effective equations, which mainly restrict explicit considerations to semiclassical regimes but have the crucial…
Animals exploit time to survive in the world. Temporal information is required for higher-level cognitive abilities such as planning, decision making, communication, and effective cooperation. Since time is an inseparable part of cognition,…
One purpose -- quite a few thinkers would say the main purpose -- of seeking knowledge about the world is to enhance our ability to make good decisions. An item of knowledge that can make no conceivable difference with regard to anything we…
Recent advances in optical atomic clocks and optical time transfer have enabled new possibilities in precision metrology for both tests of fundamental physics and timing applications. Here we describe a space mission concept that would…
This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important features, such as decidability (or undecidability) results,…
Contrary to established beliefs, spacetime may not be time-orientable. By considering an experimental test of time orientability it is shown that a failure of time-orientability of a spacetime region would be indistinguishable from a…
Experience of time is one of the primordial human experiences which is deeply tied to human consciousness. But despite this intimate relation of time with human conscious experience, time has proved to be very elusive. Particularly in…
In this essay we describe a platonic metaphysics where time is a fundamental idea such that the passage of time is independent of observers and the laws of physics. Furthermore, time serves to distinguish between a real and an abstract…
In an apparently unexplored region of relativistic spacetime, a simple thought experiment demonstrates that conjoined Lorentz transformations predict a proper clock at rest will run backwards and that prediction violates the logical…
A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on modalities which allow one to specify what a process produces as a reaction to what its environment inputs.…
Existing literature on timed opacity uses specific definitions for restricted subclasses of timed automata or limited observation models. This lack of a unified definition makes it difficult to establish formal relationships and compare the…
Time has always played a crucial role in cosmology. I review some of the aspects of the present cosmological model which are more directly related to time, such as: the definition of a cosmic time; the existence of typical timescales and…