A logic road from special to general relativity

Publication Year:
Usage 240
Downloads 240
Social Media 1
Tweets 1
Repository URL:
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
Most Recent Tweet View All Tweets
preprint description
We present a streamlined axiom system of special relativity in firs-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.