PhD Thesis First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers
نویسندگان
چکیده
منابع مشابه
Twin Paradox and the Logical Foundation of Relativity Theory
We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is co...
متن کاملTwin Paradox and the Logic Foundation of Space-time
We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is co...
متن کاملLogical Axiomatizations of Space- Time. Samples from the Literature
We study relativity theory as a theory in the sense of mathematical logic. We use first-order logic (FOL) as a framework to do so. We aim at an “analysis of the logical structure of relativity theories”. First we build up (the kinematics of) special relativity in FOL, then analyze it, and then we experiment with generalizations in the direction of general relativity. The present paper gives sam...
متن کاملLogical analysis of special relativity theory
Here we outline an approach to a logical analysis of relativity theory conducted purely in first order logic (for methodological reasons). Here we concentrate on special relativity, but in a more extensive work referred to here as [2], some steps are made in the direction of generalizing the present approach towards general relativity. In [2] we build up variants of relativity theory as “compet...
متن کاملNonlocality of Accelerated Systems
Einstein’s general relativity provides a satisfactory description of gravitation at the classical level [1]; however, a theory of gravitation valid at the quantum level has been elusive. One way out of this situation would be to return to the physical foundations of general relativity and identify, from a physical standpoint, the main obstacle to quantization. The result of such an analysis [2-...
متن کامل