Source author record

Gergely Szekely

Gergely Szekely appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

gr-qc math-ph math.LO math.MP

Catalog footprint

What is connected

2works

4topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2010arXiv

A Geometrical Characterization of the Twin Paradox and its Variants

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.

preprint2005arXiv

Twin Paradox and the logical foundation of relativity theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization SpecRel of special relativity from the literature. SpecRel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in SpecRel. As it turns out, this is practically equivalent to asking whether SpecRel is strong enough to "handle" (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to SpecRel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of SpecRel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that the Twin Paradox becomes provable in AccRel, but it is not provable without IND.