Related papers: Using Isabelle to verify special relativity, with …
We shall investigate the possibility of formulation of varying speed of light (VSL) in the framework of Palatini non-linear Ricci scalar and Ricci squared theories. Different speeds of light including the causal structure constant,…
We motivate and construct a mathematical theory for the separation of space and time in general relativity. The formalism only requires a single observer and an optional choice of reference frame at each instant. As the splitting is done…
It was previously shown that models with deformations of special relativity that have an energy-dependent yet observer-independent speed of light suffer from nonlocal effects that are in conflict with observation to very high precision. In…
Modification of special theory of relativity is proposed to describe the propagation of signals with superluminal velocity. Modified kinematics and Lorentz transformations of Maxwell's equations are described. A possible experiment on…
At the end of the 19th century light was regarded as an electromagnetic wave propagating in a material medium called ether. The speed c appearing in Maxwell's wave equations was the speed of light with respect to the ether. Therefore,…
In the light of recent experimental and theoretical data, we go back to the studies tackled in previous publications [1] and develop some of their consequences. Some of their main aspects will be studied in further detail. Yet this text…
Inductive theorem proving is an important long-standing challenge in computer science. In this extended abstract, we first summarize the recent developments of proof by induction for Isabelle/HOL. Then, we propose united reasoning, a novel…
Galilean Relativity and Einstein's Special and General Relativity showed that the Laws of Physics go deeper than their representations in any given reference frame. Thus covariance, or independence of Laws of Physics with respect to changes…
We review the recent experimental evidence on arbitrary values of the speed of light within physical media (interior dynamical problems); we recall that classical (operator) theories with speeds of light different than that in vacuum are…
The locality hypothesis is generally considered necessary for the study of the kinematics of non-inertial systems in special relativity. In this paper we discuss this hypothesis, showing the necessity of an improvement, in order to get a…
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF. The proof builds upon a previous mechanization of the reflection theorem. The heavy reliance on metatheory in the original proof makes the…
The established way of looking at special relativity is based on Einstein postulates: the principle of relativity and the constancy of the velocity of light. In the most general geometric approach to the theory of special relativity, the…
Within an axiomatic framework, we investigate the possibility of hypercomputation in special relativity via faster than light signals. We formally show that hypercomputation is theoretically possible in special relativity if and only if…
A general principle of non-equivalence for bodies and observers in different G potentials (GP) was derived from correspondence of the Einstein's equivalence principle either with optical physics or with gravitational experiments in which…
Following an early observation of Ignatowsky, we present a derivation of the transformation rules between inertial systems making no other assumptions than the existence of the latter, and show that generically these rules are characterized…
We reconsider a thought experiment that employs the entanglement of the gravitational field with position space quantum states as a means for faster-than-light signaling. We present a protocol that includes the excitation to a higher…
The Heisenberg position-momentum uncertainty principle shares with the equivalence principle the role of main pillar of our current description of nature. However, in its original formulation it is inconsistent with special relativity, and…
We show by direct calculation that the common Equivalence Principle explanation for why gravity must deflect light is quantitatively incorrect by a factor of three in Schwarzschild geometry. It is therefore possible, at least as a matter of…
I show that all inertial systems are not equivalent, and the Lorentz transformation is not the space-time transformation over two inertial systems moving with relative constant velocity. To do this, I consider imaginary signals travelling…
In the special theory of relativity, Lorentz invariance is extended in Minkowski spacetime from ideal inertial observers to actual observers by means of the hypothesis of locality, which postulates that accelerated observers are always…