Twin paradox and the logical foundation of relativity theory
From MaRDI portal
Publication:2505242
DOI10.1007/s10701-005-9041-9zbMath1117.83304arXivgr-qc/0504118OpenAlexW2094169464MaRDI QIDQ2505242
Gergely Székely, Judit X. Madarász, Istvan Németi
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 logicaxiomatizationrelativity theorytwin paradoxaccelerated observersfoundation of relativity theory
Special relativity (83A05) Classical first-order logic (03B10) Equations of motion in general relativity and gravitational theory (83C10)
Related Items (11)
Changing a Semantics: Opportunism or Courage? ⋮ 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 ⋮ Axiomatizing relativistic dynamics without conservation postulates ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ An axiomatic foundation of relativistic spacetime ⋮ Evidence, explanation and enhanced indispensability ⋮ General relativistic hypercomputing and foundation of mathematics ⋮ A formal construction of the spacetime manifold ⋮ Using Isabelle/HOL to verify first-order relativity theory
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
This page was built for publication: Twin paradox and the logical foundation of relativity theory