Axiomatizing relativistic dynamics without conservation postulates

DOI10.1007/s11225-008-9125-6zbMath1148.03028arXiv0801.4870OpenAlexW3100095533MaRDI QIDQ941737

Judit X. Madarász, Gergely Székely, Istvan Németi, Hajnalka Andréka

Publication date: 2 September 2008

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0801.4870

zbMATH Keywords

first-order logicrelativistic dynamicsaxiomatizationequivalence of mass and energyfoundation of relativity

Mathematics Subject Classification ID

Gravitational energy and conservation laws; groups of motions (83C40) Special relativity (83A05) Relativistic dynamics for problems in Hamiltonian and Lagrangian mechanics (70H40) Other applications of logic (03B80)

Related Items

Investigations of isotropy and homogeneity of spacetime in first-order logic ⋮ Axiomatic derivation of the Doppler factor and related relativistic laws ⋮ THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE ⋮ The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity ⋮ The existence of superluminal particles is consistent with relativistic dynamics ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ Motion and observation in a single-particle universe ⋮ An axiomatic foundation of relativistic spacetime ⋮ Physics and proof theory ⋮ General relativistic hypercomputing and foundation of mathematics ⋮ Universality, Invariance, and the Foundations of Computational Complexity in the Light of the Quantum Computer ⋮ A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’ ⋮ Using Isabelle/HOL to verify first-order relativity theory

Cites Work

• The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958
• A twist in the geometry of rotating black holes: seeking the cause of acausality
• Twin paradox and the logical foundation of relativity theory
• The Road to Modern Logic—An Interpretation
• Second-Order Logic and Foundations of Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item