Twin paradox and the logical foundation of relativity theory
From MaRDI portal
Publication:2505242
DOI10.1007/s10701-005-9041-9zbMath1117.83304arXivgr-qc/0504118MaRDI QIDQ2505242
Istvan Németi, Judit X. Madarász, Gergely Székely
Publication date: 4 October 2006
Published in: Foundations of Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/gr-qc/0504118
first-order logic; axiomatization; relativity theory; twin paradox; accelerated observers; foundation of relativity theory
83A05: Special relativity
03B10: Classical first-order logic
83C10: Equations of motion in general relativity and gravitational theory
Related Items
A logic road from special relativity to general relativity, A geometrical characterization of the twin paradox and its variants, Axiomatic derivation of the Doppler factor and related relativistic laws, General relativistic hypercomputing and foundation of mathematics, Axiomatizing relativistic dynamics without conservation postulates, A formal construction of the spacetime manifold
Cites Work
- Model theory
- The Road to Modern Logic—An Interpretation
- Second-Order Logic and Foundations of Mathematics
- Deciding Arithmetic Using SAD Computers
- General Relativity
- Non-Turing computations via Malament--Hogarth space-times
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item