A logic road from special relativity to general relativity
pp. 633-649
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.
Publication details
Published in:
Smets Sonja, van Benthem Johan (2012) Logic meets physics. Synthese 186 (3).
Pages: 633-649
DOI: 10.1007/s11229-011-9914-8
Full citation:
Andréka Hajnal, Németi István, Székely Gergely, Madarász Judit (2012) „A logic road from special relativity to general relativity“. Synthese 186 (3), 633–649.