Related papers: Using Isabelle to verify special relativity, with …
We present the theory of special relativity here through the lens of differential geometry. In particular, we explicitly avoid any reference to hypotheses of the form "The laws of physics take the same form in all inertial reference frames"…
One of two postulates that are base for special relativity is that the laws of physics are invariant in all inertial systems, which has as a consequence that it is impossible for an observer to detect his motion through space. It will be…
The question of whether it is possible or not to surpass the speed of light is already centennial. The special theory of relativity took the existence of a speed limit as a principle, the light postulate, which has proven to be enormously…
We give a critical analysis of the conceptual foundations of special relativity. We formulate a simple operational criterion for distinguishing between noninertial and inertial frames which is introduced prior to geometry. We associate the…
Within an axiomatic framework of kinematics, we prove that the existence of faster than light particles is logically independent of Einstein's special theory of relativity. Consequently, it is consistent with the kinematics of special…
First, we extend the special relativity into the superluminal case and put forward a superluminal theory of kinematics, in which we show that the temporal coordinate need exchanging with one of the spatial coordinates in a superluminal…
In a previous work we have shown that the null result of the Michelson-Morley experiment in vacuum is deeply connected with the notion of time. The same is true for the the postulate of constancy of the two-way speed of light in vacuum in…
The theory of special relativity can be generalized by means of a new principle called Conservation of Information. This allows a derivation of the constancy of the velocity of light with respect to moving frames, and, consequently, of…
Besides two fundamental postulates, (i) the principle of relativity and (ii) the constancy of the one-way speed of light in all inertial frames of reference, the special theory of relativity uses the assumption about the Euclidean structure…
The strange visual appearance of objects is one of the puzzling predictions of Einstein's relativity. This is mainly due to the distinction between measuring and seeing, where the former is described by the Lorentz Transformation and the…
Selleri's paradox, based on an analysis of rotating frames, appears to show that the speed of light in an inertial system is not normally isotropic. This in turn seems at odds with the second postulate of special relativity requiring a…
Within the framework of test-experiments, an original pointing set-up based on speed-induced deflection of a light-beam and using a high-resolution opto-electronic array as a position detector, is proposed. The device would provide a new…
Special Relativity is a cornerstone of modern physical theory. While a standard coordinate model is well-known and widely taught today, several alternative systems of axioms exist. This paper reports on the formalisation of one such system…
Constancy of the speed of light together with the Hubble law lead in a doctrine of expanding universe to a conclusion that universe evolution is not only an expansion of space but also a deceleration of the course of physical time (Taganov,…
This work explores a classical mechanical theory under two further assumptions: (a) there is a universal dry friction force (Aristotelian mechanics), and (b) the variation of the mass of a body due to wear is proportional to the work done…
Isabelle is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as functions) and builds proofs by combining rules. These operations constitute a meta-logic (or `logical framework') in…
An interactive theorem prover, Isabelle, is under development. In LCF, each inference rule is represented by one function for forwards proof and another (a tactic) for backwards proof. In Isabelle, each inference rule is represented by a…
Some experiments, performed at Berkeley, Cologne, Florence, Vienna, Orsay, Rennes, etc., led to the claim that something seems to travel with a group velocity larger than the speed c of light in vacuum. Various other experimental results…
Though many experiments appear to have confirmed the light speed invariance postulate of special relativity theory, this postulate is actually unverified. This paper resolves this issue by first showing the manner in which an illusion of…
Besides the two fundamental postulates, (i) the principle of relativity and (ii) the constancy of the one-way velocity of light in all inertial frames of reference, the special theory of relativity employs another assumption. This…