A geometrical characterization of the twin paradox and its variants

DOI10.1007/S11225-010-9253-7MaRDI QIDQ609644zbMATH OpenOpenAlexFDO

Authors Gergely Székely

Publication date 1 December 2010

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

axiomatizationspecial relativitylogical foundationstwin paradoxgeometrical characterization

Mathematics Subject Classification ID

Equations of motion in general relativity and gravitational theory (83C10) Special relativity (83A05) Other applications of logic (03B80)

Abstract: The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is also studied.

Recommendations

• On the geometric nature of the twin paradox in curved spacetimes
• The local and global geometrical aspects of the twin paradox in static spacetimes. I: Three spherically symmetric spacetimes
• Space-time trigonometry and formalization of the ``twin paradox for uniform and accelerated motions
• The twin paradox and space topology
• The twin paradox in static spacetimes and Jacobi fields
• The local and global geometrical aspects of the twin paradox in static spacetimes. II: Reissner-Nordström and ultrastatic metrics
• Formalization of the ``twin paradox for non-uniformly accelerated motions
• A computational approach to the twin paradox in curved spacetime
• scientific article; zbMATH DE number 5044293

Cites work

• scientific article; zbMATH DE number 3140324 (Why is no real title available?)
• scientific article; zbMATH DE number 3638649 (Why is no real title available?)
• scientific article; zbMATH DE number 1112206 (Why is no real title available?)
• scientific article; zbMATH DE number 3429688 (Why is no real title available?)
• A formal construction of the spacetime manifold
• Alexandrov-Zeeman type theorems expressed in terms of definability
• An axiomatic system for Minkowski space–time
• Axiomatic relativity theory
• First-order logic: (philosophical) pro and contra
• Foundations of special relativity: Kinematic axioms for Minkowski space- time
• Logical axiomatizations of space-time. Samples from the literature
• Model theory.
• On the origins of Hilbert's sixth problem: physics and the empiricist approach to axiomatization
• Orthogonality and spacetime geometry
• Second-Order Logic and Foundations of Mathematics
• Some open problems in the philosophy of space and time
• Twin paradox and the logical foundation of relativity theory
• Verisimilitude Redefined

Cited in

(8)

• On the twin paradox in static spacetimes: Schwarzschild metric. I
• The twin paradox in a Loedel diagram
• Twin paradox and the logical foundation of relativity theory
• Space-time trigonometry and formalization of the ``twin paradox for uniform and accelerated motions
• Decidability, undecidability, and Gödel's incompleteness in relativity theories
• On the ingredients of the twin paradox
• Formalization of the ``twin paradox for non-uniformly accelerated motions
• A computational approach to the twin paradox in curved spacetime

This page was built for publication: A geometrical characterization of the twin paradox and its variants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609644)