相关论文: Constructor theory of time

In the paper, elements of the system theory of time are presented, mathematical models for time are constructed, and various properties are deduced from the main principles of the system theory of time. This theory is a far-reaching…

Temporal logic provided an appealing approach to specifying properties of operating systems and other "reactive" software by allowing propositions to be qualified by "when" they must be true. This paper shows how to get the same effect,…

Logic is playing an increasingly important role in the engineering of real-time, hybrid, and cyber-physical systems, but mostly in the form of posterior verification and high-level analysis. The core methodology in the design of real-world…

In this article we study the nature of time in Mechanics. The fundamental principle, according to which a mechanical system evolves governed by a second order differential equation, implies the existence of an absolute time-duration in the…

Physical systems are characterized by their structure and dynamics. But the physical laws only express relations, and their symmetries allow any possible relational structure to be also possible in a different parametrization or basis of…

A characteristical property of a classical physical theory is that the observables are real functions taking an exact outcome on every (pure) state; in a quantum theory, at the contrary, a given observable on a given state can take several…

It is postulated there is not a precise static instant in time underlying a dynamical physical process at which the relative position of a body in relative motion or a specific physical magnitude would theoretically be precisely determined.…

The theory of regularity is a philosophical perspective in which laws of nature are just descriptions, that is to say, laws of nature do not govern the world. Moreover, according to the theory of regularity, the number of laws of nature…

Traversals of data structures are ubiquitous in programming. Consequently, it is important to be able to characterise those structures that are traversable and understand their algebraic properties. Traversable functors have been…

The paper defends the thesis that analysis of time meaning in a context of philosophy of physical and mathematical natural sciences and philosophical anthropology allows to clear basis of human being and to construct special model of…

We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory for timed automata with I/O distinction, which supports…

This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications. Contracts are regarded as formal characterizations…

The formulation of quantum mechanics within the framework of entropic dynamics includes several new elements. In this paper we concentrate on one of them: the implications for the theory of time. Entropic time is introduced as a…

This contribution argues that the notion of time used in the scientific modeling of reality deprives time of its real nature. Difficulties from logic paradoxes to mathematical incompleteness and numerical uncertainty ensue. How can the…

It is possible to completely explain all aspects of quantum mechanics by expressing the relations between physical properties in terms of complex conditional probabilities (Phys. Rev. A 89, 042115(2014)). These fully deterministic…

We briefly review two concepts of time - the usual time associated with "being" and more recent ideas, answering to the description of "becoming". The approximation involved in the former is examined. Finally we argue that it is…

A new interpretation of quantum mechanics, similar to the Copenhagen interpretation, is developed from time-symmetry arguments and commonly held principles concerning time and causality. These principles, which are grounded in ideas outside…

Popular wisdom amongst theoretical physicists says that the continuum structure of spacetime is probably not elementary, but rather emergent. While many arguments to support that view arise from speculative ideas, the argument can also be…

The problem of time is a deep paradox in our physical description of the world. According to Aristotle's relational theory, time is a measure of change and does not exist on its own. In contrast, quantum mechanics, just like Newtonian…

Time is absolute in standard quantum theory and dynamical in general relativity. The combination of both theories into a theory of quantum gravity leads therefore to a "problem of time". In my essay I shall investigate those consequences…