First-Order Logic Foundation of Relativity Theories

TL;DR

This paper advocates for a new research direction that uses first-order logic to formalize and analyze relativity theories, aiming to bridge logic and spacetime physics.

Contribution

It introduces the idea of applying first-order logic to foundational issues in relativity and presents initial results supporting this interdisciplinary approach.

Findings

Initial formalization of relativity theories using first-order logic

Proposed a new research framework connecting logic and spacetime physics

Encouraged logicians to participate in foundational physics research

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.