A logic road from special relativity to general relativity
Hajnal Andr\'eka, Judit X. Madar\'asz, Istv\'an N\'emeti, Gergely, Sz\'ekely
TL;DR
This paper develops a logical framework that derives general relativity from special relativity using a minimal axiom system, aiming to make the complex theory more accessible.
Contribution
It introduces a streamlined first-order logic axiom system for special relativity and derives a corresponding system for general relativity in two natural steps.
Findings
Axioms of special relativity are transformed into those of general relativity.
The derivation process clarifies the logical relationship between the two theories.
The approach simplifies understanding of general relativity for non-specialists.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.