Twin paradox and the logical foundation of relativity theory

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

zbMATH Keywords

first-order logicaxiomatizationrelativity theorytwin paradoxaccelerated observersfoundation of relativity theory

Mathematics Subject Classification ID

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