Twin Paradox and the logical foundation of relativity theory

Details Twin Paradox and the logical foundation of relativity theory Twin Paradox and the logical foundation of relativity theory

2005-04-25

arxiv.org/abs/gr-qc/0504118v3

Found.Phys. 36 (2006) 681-714

Astronomy and Astrophysics

Astrophysics

General Relativity and Quantum Cosmology

24 pages, 6 figures

Scientific paper

10.1007/s10701-005-9041-9

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.

Affiliated with

Also associated with

No associations

Rating

Twin Paradox and the logical foundation of relativity theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Twin Paradox and the logical foundation of relativity theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Twin Paradox and the logical foundation of relativity theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-468309