Axiomatizing relativistic dynamics without conservation postulates

Abstract

A part of relativistic dynamics (or mechanics) is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous $E=m{c}^2$. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.

21 pages, 7 figures

References in corpus (3)

• A twist in the geometry of rotating black holes: seeking the cause of acausality
• Twin Paradox and the logical foundation of relativity theory
• Relativistic dynamics without conservation laws

Cited by in corpus (8)

• The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity
• Using Isabelle to verify special relativity, with application to hypercomputation theory
• Why Do the Relativistic Masses and Momenta of Faster-than-Light Particles Decrease as their Speeds Increase?
• Vienna Circle and Logical Analysis of Relativity Theory
• A note on "Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox"
• On Why-Questions in Physics
• The Existence of Superluminal Particles is Consistent with Relativistic Dynamics
• Three Different Formalisations of Einstein's Relativity Principle