First-order logic foundation of relativity theories (2006)
| Venue: | In New Logics for the XXIst Century II, Mathematical Problems from Applied Logics, volume 5 of International Mathematical Series |
| Citations: | 7 - 7 self |
BibTeX
@INPROCEEDINGS{Madarász06first-orderlogic,
author = {Judit X. Madarász and István Németi and Gergely Székely},
title = {First-order logic foundation of relativity theories},
booktitle = {In New Logics for the XXIst Century II, Mathematical Problems from Applied Logics, volume 5 of International Mathematical Series},
year = {2006},
publisher = {Springer}
}
OpenURL
Abstract
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.







