PhilSci Archive

First-Order Logic Foundation of Relativity Theories

X. Madarasz, Judit and Nemeti, Istvan and Szekely, Gergely (2006) First-Order Logic Foundation of Relativity Theories. [Preprint]

Download (321Kb) | Preview


    Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.

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

    Item Type: Preprint
    Additional Information: In: New Logics for the XXIst Century II, Mathematical Problems from Applied Logics, International Mathematical Series Vol 5, Springer, (2006)
    Keywords: general relativity, gravitational time dilation, first-order logic, axiomatization, foundation of relativity theory
    Subjects: Specific Sciences > Physics > Relativity Theory
    Depositing User: Gergely Székely
    Date Deposited: 09 May 2006
    Last Modified: 07 Oct 2010 11:14
    Item ID: 2726

    Actions (login required)

    View Item

    Document Downloads