Axiomatizing relativistic dynamics without conservation postulates
Andréka, Hajnal and Madarász X., Judit and Németi, István and Székely, Gergely (2008) Axiomatizing relativistic dynamics without conservation postulates.
Full text available as: |
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=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: | relativity, dynamics, first-order logic, axiomatization, conservation postulates, geometrical proofs |
|---|---|
| Subjects: | Specific Sciences: Mathematics Specific Sciences: Physics: Relativity Theory |
| ID Code: | 3861 |
| Deposited By: | Székely, Gergely |
| Deposited On: | 01 Febuary 2008 |
| Additional Information: | to appear in Studia Logica |