English
Related papers

Related papers: Using Isabelle to verify special relativity, with …

200 papers

We demonstrate the definition of basic observables from physical operations, the key to overcome hidden stumbling blocks and apparent paradoxes from unscrutinized (classical) formalisms. We develop Helmholtz program of basic measurements…

General Relativity and Quantum Cosmology · Physics 2015-12-04 Bruno Hartmann

These lectures deal with the problem of inductive inference, that is, the problem of reasoning under conditions of incomplete information. Is there a general method for handling uncertainty? Or, at least, are there rules that could in…

Data Analysis, Statistics and Probability · Physics 2016-09-08 Ariel Caticha

It is proved by means of the dynamical effects of special relativity that velocity caused by accelerating process is not a relative concept. The influence of accelerating process should be considered in space-time theory. Besides the…

General Physics · Physics 2007-05-23 Mei Xiaochun

Besides the defining space-time symmetries (homogeneity and isotropy) of inertial frames, the derivation of Lorentz transformation requires postulating the principle of relativity and the existence of a finite speed limit. In this article,…

Classical Physics · Physics 2017-05-12 Somajit Dey

In this contribution the question of the isotropy of the one-way speed of light from an experimental perspective is addressed. In particular, we analyze two experimental methods commonly used in its determination. The analysis is aimed at…

Classical Physics · Physics 2011-05-24 Israel Perez

Special Relativity (SR) kinematics is derived from very intuitive assumptions. Contrary to standard Einstein's derivation, no light signal is used in the construction nor it is assumed to exist. Instead we postulate the existence of two…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Marek Pawlowski

This thesis is mainly about extensions of the first-order logic axiomatization of special relativity introduced by Andr\'eka, Madar\'asz and N\'emeti. These extensions include extension to accelerated observers, relativistic dynamics and…

General Relativity and Quantum Cosmology · Physics 2010-05-07 Gergely Székely

As is well-known, Newton's gravitational theory can be formulated as a four-dimensional space-time theory and follows as singular limit from Einstein's theory, if the velocity of light tends to the infinity. Here 'singular' stands for the…

General Relativity and Quantum Cosmology · Physics 2016-08-31 G. Dautcourt

Special relativity includes a concealed mechanism for reducing time-dilation effects in two mutually-receding objects. Forwarding their signals via one or more intermediate physical relay stages (a "probe chain") allows enhanced…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Eric Baird

Seeing the many examples in the literature of causality violations based on faster-than- light (FTL) signals one naturally thinks that FTL motion leads inevitably to the possibility of time travel. We show that this logical inference is…

General Relativity and Quantum Cosmology · Physics 2014-07-10 H. Andréka , J. X. Madarász , I. Németi , M. Stannett , G. Székely

We compare the results obtained by interpreting some fundamental relativistic experiments from the point of view of two alternative theories: Einstein's special relativity theory and the Lorentz-Poincare theory admitting the existence of a…

General Physics · Physics 2008-12-02 Bernhard Rothenstein , Stefan Popescu , George J. Spix

An overlooked straightforward application of velocity reciprocity to a triplet of inertial frames in collinear motion identifies the ratio of their cyclic relative velocities' sum to the negative product as a cosmic invariant, whose inverse…

General Physics · Physics 2020-04-14 Brian Coleman

I show that physical devices that perform observation, prediction, or recollection share an underlying mathematical structure. I call devices with that structure "inference devices". I present a set of existence and impossibility results…

Statistical Mechanics · Physics 2008-11-26 David H. Wolpert

The no-supervenience theorem limits the capacity of physicalist theories to provide a comprehensive account of human consciousness. The proof of the theorem is difficult to formalize because it relies on both alethic and epistemic notions…

Neurons and Cognition · Quantitative Biology 2024-11-13 Cathy M Reason

We tackle the problem of the accelerating universe by reconsidering the most general form of the metric when the speed of light is allowed to evolve with time in a homogeneous and isotropic universe. A new varying speed of light (VSL) model…

General Relativity and Quantum Cosmology · Physics 2007-07-17 Corrado Appignani

It has been observed recently by Giovanni Amelino-Camelia \cite{gac1, gac2} that the hypothesis of existence of a minimal observer-independent (Planck) length scale is hard to reconcile with special relativity. As a remedy he postulated to…

High Energy Physics - Theory · Physics 2009-11-07 Jerzy Kowalski-Glikman

Recently, [3], it was shown that Special Relativity is in fact based on one single physical axiom which is that of Reciprocity. Originally, Einstein, [1], established Special Relativity on two physical axioms, namely, the Galilean…

General Physics · Physics 2010-06-17 Elemer E. Rosinger

We elucidate how different theoretical assumptions bring about radically different interpretations of the same experimental result. We do this by analyzing special relativity as it was originally formulated. Then, we examine the…

History and Philosophy of Physics · Physics 2024-09-09 Alejandro Cassini , Leonardo Levinas

In this work, we study the magnetic effects of gravity in the framework of special relativity. Imposing covariance of the gravitational force with respect to the Lorentz transformations, we show from a thought experiment that a…

General Physics · Physics 2018-05-01 R. S. Vieira , H. B. Brentan

In this work, Einstein's view of geometry as physical geometry is taken into account in the analysis of diverse issues related to the notions of inertial motion and inertial reference frame. Einstein's physical geometry enables a…

History and Philosophy of Physics · Physics 2014-04-29 Mario Bacelar Valente