A geometrical characterization of the twin paradox and its variants

DOI10.1007/S11225-010-9253-7zbMATH Open1204.83011arXiv0807.1813OpenAlexW1984174892MaRDI QIDQ609644FDOQ609644

Authors: Gergely Székely 

Publication date: 1 December 2010

Published in: Studia Logica (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

Cited In (6)

• On the twin paradox in static spacetimes: Schwarzschild metric. I
• 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

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)