相关论文: Conway's cosmological theorem and automata theory

Semiclassical techniques have proven to be a very powerful method to extract physical effects from different quantum theories. Therefore, it is expected that in the near future they will play a very prominent role in the context of quantum…

In this letter we will revise the steps followed by A. Einstein when he first wrote on cosmology from the point of view of the general theory of relativity. We will argue that his insightful line of thought leading to the introduction of…

The asynchronous computability theorem (ACT) uses concepts from combinatorial topology to characterize which tasks have wait-free solutions in read-write memory. A task can be expressed as a relation between two chromatic simplicial…

We introduce a set of eight universal Rules of Inference by which computer programs with known properties (axioms) are transformed into new programs with known properties (theorems). Axioms are presented to formalize a segment of Number…

Endeavoring to formulate an exhaustive solution to the measurement problem in view of the theory of decoherence leads to a better understanding of the status of the collapse and of the emergence of classicality, thanks to a precise…

Developing tools to automatically detect check-worthy claims in political debates and speeches can greatly help moderators of debates, journalists, and fact-checkers. While previous work on this problem has focused exclusively on the text…

Conway's Game of Life is the best-known cellular automaton. It is a classic model of emergence and self-organization, it is Turing-complete, and it can simulate a universal constructor. The Game of Life belongs to the set of semi-totalistic…

Quantum cosmology describes universe as a relativistic object with an evolution defined by an equation for the energy density corresponding to the least action principle: (Taganov, 2008). In quantum cosmology this equation plays the same…

In this sequence of papers, noncommutative analysis is used to give a consistent axiomatic approach to a unified conceptual foundation of classical and quantum physics. The present Part I defines the concepts of observables, states and…

Under the assumption that every material object can ultimately be described by quantum theory, we ask how a probe system evolves in a device prepared and kept in a superposition state of values of its classical parameter. We find that,…

Even when completely and consistently formulated, a fundamental theory of physics and cosmological boundary conditions may not give unambiguous and unique predictions for the universe we observe; indeed inflation, string/M theory, and…

Shortly the vacuum component of the Universe from the geometry point of view and from the point of view of the standard model of physics of elementary particles is discussed. Some arguments are given to the calculated value of the…

Cosmology has come a long way from being based on a small number of observations to being a data-driven precision science. We discuss the questions "What is observable?", "What in the Universe is knowable?" and "What are the fundamental…

According to Feynman, the universe consists of two parts - the system in which we are interested and the rest of the universe which our measurement process does not reach. Feynman then formulates the density matrix in terms of the…

Humans prove theorems by relying on substantial high-level reasoning and problem-specific insights. Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as…

The cosmological constant problem can be understood as the failure of the decoupling principle behind effective field theory, so that some quantities in the low-energy theory are extremely sensitive to the high-energy properties. While this…

Reachability Logic is a formalism that can be used, among others, for expressing partial-correctness properties of transition systems. In this paper we present three proof systems for this formalism, all of which are sound and complete and…

Large scale structure surveys will likely become the next leading cosmological probe. In our universe, matter perturbations are large on short distances and small at long scales, i.e. strongly coupled in the UV and weakly coupled in the IR.…

Quantum theory combines density matrices, Born probabilities, tensor-product composites, positive-operator-valued measures (POVMs), and quantum channels. In a finite-dimensional causal operational theory, we prove that two postulates…

Determinism is established in quantum mechanics by tracing the probabilities in the Born rules back to the absolute (overall) phase constants of the wave functions and recognizing these phase constants as pseudorandom numbers. The reduction…