A logic road from special relativity to general relativity

A logic road from special relativity to general relativity

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 hop...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Synthese (Dordrecht) 2012-06, Vol.186 (3), p.633-649
Hauptverfasser: Andréka, Hajnal, Madarász, Judit X., Németi, István, Székely, Gergely
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Axioms
Education
Epistemology
General relativity
Investigations
Language
Logic
Logical theorems
Mathematics
Metaphysics
Natural language
Philosophy
Philosophy of Language
Philosophy of Science
Photons
Physical theory
Physics
Relativity
Semantics
Spacetime
Special relativity
Theory of relativity
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0039-7857
1573-0964
DOI:10.1007/s11229-011-9914-8