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.
[img]
Preview
 PDF
Download (204Kb) | Preview

    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
    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: 23 Jan 2011 08:40
    Item ID: 5337
    URI: http://philsci-archive.pitt.edu/id/eprint/5337

    Available Versions of this Item

    Actions (login required)

    		 View Item

    Document Downloads