First-Order Logic Foundation of Relativity Theories

Publication Year:
Usage 391
Downloads 391
Repository URL:
X. Madarasz, Judit; Nemeti, Istvan; Szekely, Gergely
preprint description
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.