相关论文: Logic of Simultaneity

The recent controversy of applicability of quantum formalism to brain dynamics has been critically analysed. The prerequisites for any type of quantum formalism or quantum field theory is to investigate whether the anatomical structure of…

Quantum measurement predictions are consistent with relativity for macroscopic observations, but there is no consensus on how to explain this consistency in fundamental terms. The prevailing assumption is that the relativistic structure of…

The ontology proposed in this paper is aimed at demonstrating that it is possible to understand the counter-intuitive predictions of quantum mechanics while still retaining much of the framework underlying classical physics, the implication…

In the following we undertake to describe how macroscopic space-time (or rather, a microscopic protoform of it) is supposed to emerge as a superstructure of a web of lumps in a stochastic discrete network structure. As in preceding work…

We strengthen the case that the new logical perspective afforded by topos theory is suitable to the task of describing the physical world around us. In exploring some of the aspects of construction of a simple quantum-mechanical system in a…

Theories of quantum gravity generically presuppose or predict that the reality underlying relativistic spacetimes they are describing is significantly non-spatiotemporal. On pain of empirical incoherence, approaches to quantum gravity must…

We present a relational framework in which temporal structure is not fundamental but emerges from correlations within a globally stationary quantum state. Each subsystem includes an internal clock, and conditional states evolve effectively…

In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…

Turing machines define polynomial time (PTime) on strings but cannot deal with structures like graphs directly, and there is no known, easily computable string encoding of isomorphism classes of structures. Is there a computation model…

It is conjectured that in the origin of space-time there lies a symplectic rather than metric structure. The complex symplectic symmetry Sp(2l,C), l\ge1 instead of the pseudo-orthogonal one SO(1,d-1), d\ge4 is proposed as the space-time…

Elementary particles, i.e. the basic constituents of nature, are characterized by quantum recurrences in time. The flow of time of every physical system can be therefore decomposed in elementary cycles of time. This allows us to enforce the…

We propose a solution to the problem of time for systems with a single global Hamiltonian constraint. Our solution stems from the observation that, for these theories, conventional gauge theory methods fail to capture the full classical…

A theory of structure is formulated for systems of many structureless classical particles with stable local interactions in Euclidean space. Such systems are shown to have their structure in thermodynamic equilibrium determined exactly by a…

The problem of understanding quantum mechanics is in large measure the problem of finding appropriate ways of thinking about the spatial and temporal aspects of the physical world. The standard, substantival, set-theoretic conception of…

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound…

Contemporary research programs in fundamental physics appear to suggest that there could be two (physical) times---or none at all. This essay articulates these possibilities in the context of quantum gravity, and in particular of…

We propose a model of processing of information in the brain which has the following distinguishing features: a). It is quantum-like (QL). The brain uses the quantum rule (given by von Neumann trace formula) for calculation of averages for…

We present a first-order linear-time temporal logic for reasoning about the evolution of directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic to represent the creation, duplication, merging, and…

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…

Research in quantum gravity strongly suggests that our world in not fundamentally spatiotemporal, but that spacetime may only emerge in some sense from a non-spatiotemporal structure, as this paper illustrates in the case of causal set…