arXiv 1306.60042013-06-25math.LOmath-phmath.MP

A logical treatment of special relativity, with and without faster-than-light observers

Benjamin Hoffman

英文摘要：

There are three goals of this thesis. First: to present a concise yet accessible description of basic mathematical logic and model theory. Second: to develop an axiomatization of special relativity using only two undefined predicates. Ideally, these axioms should be empirically verifiable and supported by a large body of evidence. Finally: to weaken this axiomatization so as to allow for the existence of faster-than-light observers, which are normally excluded from the theory of special relativity. The modifications to the axiom system should be as slight as possible, and should be motivated by the question: what features of the original axiom system preclude the existence of faster-than-light observers?

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer

We consider the logical assertions of a hypothetical observer who is inside a quantum computer and performs a reversible quantum measurement, obtaining a symmetric couple of new axioms, valid only inside the quantum computer. The result is that, in this logical framework, symmetry and paraconsistency hold.

2004-07-07math-phmath.LOmath.MP

On Logical Analysis of Relativity Theories

The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories.

2011-05-04gr-qcmath-phmath.LO

A Logical Analysis of the Time-Warp Effect of General Relativity

Several versions of the Gravitational Time Dilation effect of General Relativity are formulated by the use of Einstein's Equivalence Principle. It is shown that all of them are logical consequence of a first-order axiom system of Special Relativity extended to accelerated observers.

2007-09-17gr-qcmath-phmath.LO

What properties of numbers are needed to model accelerated observers in relativity?

We investigate the possible structures of numbers (as physical quantities) over which accelerated observers can be modeled in special relativity. We present a general axiomatic theory of accelerated observers which has a model over every real closed field. We also show that, if we would like to model certain accelerated observers, then not every real closed field is suitable, e.g., uniformly accelerated observers cannot be modeled over the field of real algebraic numbers. Consequently, the class of fields over which uniform acceleration can be investigated is not axiomatizable in the language …

2012-09-29gr-qcmath-phmath.LO

First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers

This thesis is mainly about extensions of the first-order logic axiomatization of special relativity introduced by Andréka, Madarász and Németi. These extensions include extension to accelerated observers, relativistic dynamics and general relativity; however, its main subject is the extension to accelerated observers (AccRel). One surprising result is that natural extension to accelerated observers is not enough if we want our theory to imply certain experimental facts, such as the twin paradox. Even if we add the whole first-order theory of real numbers to this natural extension, it is still…

2010-05-06gr-qcmath-phmath.LO

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 complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in SpecRel. As it tur…

2005-08-25gr-qcmath-phmath.LO

更多相关论文收起更多论文

一阶逻辑中经典运动学与相对论运动学的比较

Comparing Classical and Relativistic Kinematics in First-Order Logic

该研究在一阶逻辑框架下，通过翻译函数、定义等价性证明，揭示经典运动学与相对论运动学的关联：后者是摒弃“以太”假设并重新定义时空概念的认知转变结果。

2017-07-13math-phmath.LOmath.MP

Vienna Circle and Logical Analysis of Relativity Theory

In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightf…

2011-01-31gr-qcmath.LO