Synthese

, Volume 186, Issue 3, pp 633–649

A logic road from special relativity to general relativity

  • Hajnal Andréka
  • Judit X. Madarász
  • István Németi
  • Gergely Székely
Article

DOI: 10.1007/s11229-011-9914-8

Cite this article as:
Andréka, H., Madarász, J.X., Németi, I. et al. Synthese (2012) 186: 633. 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.

Keywords

Relativity theoryLogical foundationsAxiomatization

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  • Hajnal Andréka
    • 1
  • Judit X. Madarász
    • 1
  • István Németi
    • 1
  • Gergely Székely
    • 1
  1. 1.Alfréd Rényi Institute of Mathematics of the Hungarian Academy of SciencesBudapestHungary