Axiomatizing relativistic dynamics without conservation postulates
Mathematical Physics
2012-11-20 v2 General Relativity and Quantum Cosmology
Logic
math.MP
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 . The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.
Cite
@article{arxiv.0801.4870,
title = {Axiomatizing relativistic dynamics without conservation postulates},
author = {H. Andreka and J. X. Madarasz and I. Nemeti and G. Szekely},
journal= {arXiv preprint arXiv:0801.4870},
year = {2012}
}
Comments
21 pages, 7 figures