Article

Studia Logica

, Volume 89, Issue 2, pp 163-186

Axiomatizing Relativistic Dynamics without Conservation Postulates

  • H. AndrékaAffiliated withAlfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences Email author 
  • , J. X. MadarászAffiliated withAlfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences
  • , I. NémetiAffiliated withAlfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences
  • , G. SzékelyAffiliated withAlfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

A part of relativistic dynamics 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 = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.

Keywords

axiomatization relativistic dynamics first-order logic equivalence of mass and energy foundation of relativity