A logic road from special relativity to general relativity
arXiv:1005.0960 · doi:10.1007/s11229-011-9914-8
Abstract
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
References in corpus (5)
- Twin Paradox and the logical foundation of relativity theory
- Special Relativity in Reduced Power Algebras
- Vienna Circle and Logical Analysis of Relativity Theory
- First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers
- Two Essays on the Archimedean versus Non-Archimedean Debate
Cited by in corpus (19)
- Distances between formal theories
- On Logical Analysis of Relativity Theories
- Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory
- Using Isabelle to verify special relativity, with application to hypercomputation theory
- The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity
- A note on "Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox"
- The Archimedean trap: Why traditional reinforcement learning will probably not yield AGI
- Faster than light motion does not imply time travel
- Existence of Faster Than Light Signals Implies Hypercomputation Already in Special Relativity
- The Existence of Superluminal Particles is Consistent with Relativistic Dynamics
- What properties of numbers are needed to model accelerated observers in relativity?
- An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds
- A logical treatment of special relativity, with and without faster-than-light observers
- Three Different Formalisations of Einstein's Relativity Principle
- On the Categoricity of Quantum Mechanics
- Groups of Worldview Transformations Implied by Isotropy of Space
- On some Symmetry Axioms in Relativity Theories
- We must know -- We shall know
- Computation and Spacetime Structure