2008/01/31 by H. Andréka, H. Andreka, J. X. Madarász +5 · 23 citations
Mathematics · Physics and Astronomy · #Advanced Mathematical Theories #Axiom #Classical physics #Connection (principal bundle) #Dynamics (music) #Mathematics and Applications #Momentum (technical analysis) #Relativistic dynamics #Relativity and Gravitational Theory #Rest (music) #Simple (philosophy) #gr-qc #math-ph #math.LO #math.MP
paper · pdf · doi:10.1007/s11225-008-9125-6
published in Studia Logica 89(2), 163-186 (Springer Science+Business Media) · 21 pages, 7 figures
openalex publication_date 2008/07/01 · arxiv created 2008/07/25 · arxiv updated 2012/11/20 · openalex created_date 2016/06/24 · openalex updated_date 2026/08/05
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=mc2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.