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]

[img]
Preview
PDF
First-Order_Logic_Foundation_of_Relativity_Theories.pdf

Download (329kB)

Abstract

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:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
X. Madarasz, Judit
Nemeti, Istvan
Szekely, Gergely
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 15:14
Item ID: 2726
Subjects: Specific Sciences > Physics > Relativity Theory
Date: April 2006
URI: https://philsci-archive.pitt.edu/id/eprint/2726

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item