Twin paradox and the logical foundation of relativity theory

DOI10.1007/s10701-005-9041-9zbMath1117.83304arXivgr-qc/0504118MaRDI 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

zbMATH Keywords

first-order logic; axiomatization; relativity theory; twin paradox; accelerated observers; foundation of relativity theory

Mathematics Subject Classification ID

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, On the axiomatizability of some first-order spatio-temporal theories, An axiomatic foundation of relativistic spacetime, Evidence, explanation and enhanced indispensability, 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, Using Isabelle/HOL to verify first-order relativity theory, Changing a Semantics: Opportunism or Courage?

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