相关论文: Proof of Conway's Lost Cosmological Theorem

The causal structure of cognition can be simulated but not implemented computationally, just as the causal structure of a comet can be simulated but not implemented computationally. The only thing that allows us even to imagine otherwise is…

We review the existence, formation and properties of cosmic strings in string theory, the wide variety of observational techniques that are being employed to detect them, and the constraints that current observations impose on string theory…

Modal quantum theory (MQT) is a simplified cousin of ordinary Hilbert space quantum theory. We show that two important theorems of actual quantum theory, the Kochen-Specker theorem excluding non-contextual hidden variables and the…

We propose an approach to explaining why naive large quantum fluctuations are not the right estimate for the cosmological constant. We argue that the universe is in a superposition of many vacua, in such a way that the resulting…

We prove a vanishing theorem for the twisted de Rham cohomology of a compact manifold.

The hypothesis is proposed that under the approximation that the quantum equations of motion reduce to the classical ones, the quantum vacuum also reduces to the classical vacuum--the empty space. The vacuum energy of QED is studied under…

We provide a sound and relatively complete Hoare-like proof system for reasoning about partial correctness of recursive procedures in presence of local variables and the call-by-value parameter mechanism, and in which the correctness proofs…

Recently Cator & Landsman made a comparison between Bell's Theorem and Conway & Kochen's Strong Free Will Theorem. Their overall conclusion was that the latter is stronger in that it uses fewer assumptions, but also that it has two…

Active motion is a concept in complex systems theory and was successfully applied to various problems in nonlinear dynamics. Explicit studies for gravitational potentials were missing so far. We interpret the Friedmann equations with…

About Conway's surreal numbers: A letter to a friend (written in French). In memoriam John Horton Conway.

Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson's early work. A powerful representation theorem characterizes those logics by choice functions that satisfy a weakening of…

Many theories are formulated as constrained systems. We provide a mechanism that explains the origin of physical states of a constrained system by a process of selection of noiseless subsystems when the system is coupled to an external…

We demonstrate that creation of dark-matter particles at a constant rate implies the existence of a cosmological term that decays linearly with the Hubble rate. We discuss the cosmological model that arises in this context and test it…

A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean and projective interpretations of the sequents are defined…

The Kochen-Specker theorem demonstrates that it is not possible to reproduce the predictions of quantum theory in terms of a hidden variable model where the hidden variables assign a value to every projector deterministically and…

We introduce the notion of background independent quantum field theory. The distinguishing feature of this theory is that the dynamics can be formulated without recourse to a background metric structure. We show in a simple model how the…

A new cosmological theory is proposed in the theoretical framework of modified gravity theories which is based on a tachyonic field non-minimally coupled with a specific topological invariant constructed with third order contractions of the…

Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prover is finding a suitable sequence of proof steps that will…

The case is simple: there is no compelling theoretical argument against a cosmological constant and LambdaCDM is the only CDM model that is consistent with all present observations. LambdaCDM has two noteworthy features: it can be falsified…

Without invoking a perturbative expansion, we define the cosmological curvature perturbation, and consider its behaviour assuming that the universe is smooth over a sufficiently large comoving scale. The equations are simple, resembling…