PhilSci Archive

A logic road from special to general relativity

Andréka, Hajnal and Madarász, Judit X. and Németi, István and Székely, Gergely (2010) A logic road from special to general relativity. [Preprint]

WarningThere is a more recent version of this item available.
Full text not available from this repository.

Abstract

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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Andréka, Hajnal
Madarász, Judit X.
Németi, István
Székely, Gergely
Keywords: first-order logic, axiomatization, foundation of relativity theory
Subjects: Specific Sciences > Physics > Relativity Theory
Depositing User: Gergely Székely
Date Deposited: 07 May 2010
Last Modified: 15 Aug 2013 19:32
Item ID: 5337
Subjects: Specific Sciences > Physics > Relativity Theory
Date: May 2010
URI: https://philsci-archive.pitt.edu/id/eprint/5337

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item