首页/论文/1005.0960

arXiv 1005.09602010-05gr-qcmath-phmath.LOmath.MP

从狭义相对论到广义相对论的逻辑之路

A logic road from special relativity to general relativity

Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

发表信息：: Synthese Volume 186, Number 3 (2012), 633-649
DOI：: 10.1007/s11229-011-9914-8

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文给出了一个一阶逻辑中的狭义相对论的简化公理系统。从这个公理系统中，我们自然地分两步“导出”一个广义相对论的公理系统。我们还将看到，狭义相对论的公理是如何转变为广义相对论的公理的。我们希望通过这种方式使非专业人士更容易理解广义相对论。

英文摘要：

We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

相对论的一阶逻辑基础

First-Order Logic Foundation of Relativity Theories

本文介绍了逻辑学、时空理论、相对论--包括黑洞物理、相对论计算机、新宇宙学等革命性领域--相互联系的一个令人兴奋的新研究方向的动机和前景。我们想邀请逻辑学家读者参与到这个新世纪的伟大事业中来。除了一般的观点和动机，我们目前在这个方向的初步结果。

2006-04-10gr-qcmath-phmath.LO

相对论加速观测器的一阶逻辑研究

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

本文主要研究Andréka，Madarász和Németi提出的狭义相对论的一阶逻辑公理化的推广。这些扩展包括对加速观测者、相对论动力学和广义相对论的扩展;然而，它的主要主题是对加速观测者的扩展（AccRel）。一个令人惊讶的结果是，如果我们想让我们的理论包含某些实验事实，比如孪生子悖论，那么对加速观察者的自然扩展是不够的。即使我们把实数的整个一阶理论加到这个自然的扩展上，它仍然不足以暗示孪生悖论。然而，这并不意味着这个任务不能在一阶逻辑中进行，因为通过近似实数的二阶逻辑公理，我们引入了一阶公理模式来解决这个问题。AccRel理论很好地填补了狭义相对论和广义相对论之间的空白，并且只需要一个自然的推广步骤就可以实现广义相对论的一阶逻辑公理化，我们还证明AccRel理论足够强大，可以预言引力效应使时间变慢.我们的总体目标是在纯一阶逻辑中使用简单，可理解和透明的基本假设（公理）公理化相对论;证明令人惊讶的预测从几个令人信服的公理中得出相对论的（定理）;用一阶逻辑中的明确公理取代相对论中的隐含假设（在精神的一阶逻辑基础的数学和塔斯基的公理化的几何）;和调查之间的关系的公理和定理。

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

德西特相对论：通向量子引力的新道路？

de Sitter Relativity: a New Road to Quantum Gravity?

庞加莱群是伽利略群在高速运动学中的推广。de Sitter群被假定为更进一步，将庞加莱群推广为支配高能运动学的群。换句话说，普通的狭义相对论在这里被德西特相对论所取代。在这个理论中，宇宙学常数不再是一个自由参数，而可以用其他量来确定。当应用于整个宇宙时，它可以预测宇宙学常数的值，并解释宇宙的符合。当应用到超高能光子的传播，它给出了一个很好的估计，在河外伽玛射线耀斑观测到的时间延迟。因此，它可以被认为是解决量子引力问题的一种新范式。

2008-11-12gr-qchep-th

维也纳圆与相对论的逻辑分析

Vienna Circle and Logical Analysis of Relativity Theory

在本文中，我们介绍了一些我们学校的成果，在该地区建立相对论（RT）作为一个层次的理论在逻辑意义上。我们使用普通的一阶逻辑（FOL）作为数学的数学基础（FOM），我们建立在FOM中获得的经验。我们学校的主要目标如下：我们希望将理论建立在简单，明确的公理和明确的含义上。任何读者都应该完全理解这些公理所表达的内容，读者可以决定他是否喜欢每一个公理，理论应该以一种直截了当的、合乎逻辑的方式从这些公理中建立起来。我们想对这一理论的逻辑结构进行分析。我们调查哪些公理需要RT的预测。我们希望RT逻辑上更透明，更容易理解，更容易改变，模块化，更容易教。我们希望获得更深入的了解RT。我们的工作可以被认为是一个案例研究表明，维也纳圈（VC）的方法来做科学是可行的和富有成效的，当使用的见解和工具的数理逻辑收购，因为它的形成年在VC活动的非常时间。我们认为，逻辑实证主义是基于对数理逻辑在深入阐述时所能做到的事情的洞察和预期。以VC为代表的逻辑实证主义影响并参与了现代数理逻辑的诞生。VC的成员是勇敢的先行者和开拓者。

2011-01-31gr-qcmath.LO

从经典广义相对论推导量子力学的逻辑

The Logic of Quantum Mechanics Derived from Classical General Relativity

首次从经典广义相对论推导量子力学逻辑，通过将粒子建模为含闭合类时曲线的4-geon，证明测量命题满足正交模格而非布尔逻辑。

1997-06-09gr-qchep-thquant-ph

庞加莱与相对论：1905年巴勒莫回忆录的逻辑

Poincare and relativity: the logic of the 1905 Palermo Memoir

我们强调了四点，这已被忽视或低估了之前，并允许更好地理解“Sur la dynamique de l 'electron”：（i）使用庞加莱的积极洛伦兹变换（助推）;（ii）的必要性，力学所需的一组条件l=1消除膨胀;（iii）的关键作用的行动（电磁或不）和它的不变性;（四）作为例子或反例的电子模型的数学地位。

2010-01-23gr-qcphysics.hist-ph

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

一致离散化是通向量子引力的一条道路

Consistent discretizations as a road to quantum gravity

本文简要介绍了经典和量子广义相对论的“一致离散化”方法。我们展示了一个经典的简单的例子来说明这种方法，并总结了当前的经典和量子应用。我们还讨论了建设一个定义良好的量子理论，特别是如何构建一个量子连续极限的影响。

2005-12-11gr-qc

从CERN到GRAN-SASSO实验室地球内部通向广义相对论度规的道路及其对中微子旅行的影响

The road toward a general relativistic metric inside the Earth and its effect on neutrino travel from CERN to GRAN-SASSO Laboratory

在第一次尝试描述广义相对论对地球内部中微子运动的影响时，我们忽略了地球自转、地球椭圆率和地表地形的变化，而把注意力集中在地球物理模型如PREM对地球内部密度的描述上。假设地球不旋转，广义相对论效应对中微子从CERN到GRAN-SASSO的传播产生了$δt=4.1863 \, picosecond$的延迟。

2012-05-04gr-qchep-ph

最小的重力

Gravity in the smallest

综合微分几何（英语：Synthetic Differential Geometry，SDG）是微分几何的一个范畴版本，它基于用无穷小来丰富实数线，并将经典逻辑弱化为直觉主义逻辑。我们表明，SDG提供了一个有效的数学工具，制定广义相对论在无限小的域。这样的域由围绕流形$M$的点$x$的单子建模，定义为$M$中与$x$相差无穷小值的点的集合。单子有足够丰富的数学结构，允许所有几何量的存在，从而在“最小”处构造广义相对论。我们专注于连接和曲率。我们还评论了在这种情况下的协方差原理和等效原理。将单子与“普朗克阈值之下”发生的事情相鉴别，可以为我们寻找量子引力理论开辟新的可能性。

2017-06-12gr-qcmath-phmath.MP

使用Isabelle验证狭义相对论，并应用于超计算理论

Using Isabelle to verify special relativity, with application to hypercomputation theory

布达佩斯雷尼数学研究所的逻辑学家花了几年时间发展了完全基于一阶逻辑的相对论（狭义、广义和其他变体），并通过利用宇宙学现象支持物理上的可判定性，以解决形式上不可判定的问题，如停止问题和集合论的一致性。匈牙利的理论非常广泛，它们的相关证明在直觉上非常令人满意，但这也带来了自己的风险，因为直觉有时会产生误导。作为一个联合项目的一部分，谢菲尔德的研究人员最近开始生成匈牙利证明的严格机器验证版本，以证明他们工作的可靠性。在本文中，我们解释了该项目的背景，并证明了定理的伊莎贝尔证明“没有惯性观察者可以比光速更快”。这种物理理论和物理可计算性的方法有几个好处：（a）我们可以肯定我们的直觉没有把我们引入歧途（或者如果有，我们可以确定这发生在哪里）;（b）我们可以确定在每个定理的证明中具体需要哪些公理，以及这些公理可以被削弱到什么程度（我们预先做的假设越少，结果就越强）;（c）我们可以确定在处理物理而不是数学理论时是否需要新的形式证明技术和策略。

2013-01-18cs.LOgr-qc

三维惯性变换的一种推导

A Derivation of Three-Dimensional Inertial Transformations

推导的惯性系之间的转换由Mandarin和Sexl被推广到三维任意方向的速度。假定长度收缩和时间膨胀具有相对论性值，得到一组运动学上等价于狭义相对论的变换。“时钟假说”允许推导扩展到加速系统。一个理论的惯性变换保持绝对的一致性被证明是唯一一个逻辑上符合加速运动。讨论了这些变换的代数性质。关键词：狭义相对论、同步、单向光速、以太、时钟假说。

1997-07-02gr-qc

具有扭曲的非对易引力的自对偶道路：一个新的分析

Self-dual road to noncommutative gravity with twist: a new analysis

在广义相对论作用泛函中，非对易引力场方程可以用扭曲变形的外积代替所有外积得到，并要求扭曲2-形式为零，全联络1-形式的Lorentz李代数值部分为自对偶.另外两个条件，表示一对2-形式的自对偶发生在全曲率2-形式，也强加。这导致了一个系统的解决策略，在这里首次展示，其中首先评估连接1-形式的所有部分，因此全曲率2-形式，并最终在γ-矩阵的基础上扩展时，四分体1-形式的所有部分。通过假设渐近展开，其中持有高达一阶的非交换性矩阵在附近的消失值的非交换性，我们发现一个家庭的自对偶解决方案的字段方程。这是通过首先求解经典弯曲时空中1-形式的非齐次波动方程产生的（它本身是自对偶的，并求解真空爱因斯坦方程），服从洛伦兹规范条件。特别是，当经典的未变形几何是卡斯纳时空时，上述方案完全可以从这样的卡斯纳模型中的标量波动方程的解计算出来。

2014-11-23gr-qchep-th

万有引力之谜

The Riddle of Gravitation

毫无疑问，狭义相对论和广义相对论都吸引了人们的想象力。狭义相对论的反直觉性质及其深刻的哲学含义，广义相对论的离奇而令人眼花缭乱的预言：时空的曲率，黑洞的奇异特性，引力波令人困惑的前景，作为激光器和脉冲发生器的天体的发现，宇宙的膨胀和（可能的）收缩.都是惊人的现象本文对狭义相对论和广义相对论进行了哲学上的非技术性的论述，并对一些最新的物理理论进行了阐述。然后，我们给出了一个大纲的公理化方法相对论由于安德烈卡和Nemeti，这两个理论的逻辑结构上的光。接下来是一些令人困惑的结果的博览会所建立的安德烈卡和Nemeti关于基础的数学使用的概念相对论计算机。接下来我们对量子理论的意义和哲学含义进行了概述，并以爱因斯坦和玻尔之间的一场假想的辩论结束本文，这场辩论反映了爱因斯坦和玻尔对量子世界的哲学观点。这篇论文写得有点不传统，脚注太多了。为了不给读者带来所有细节的负担，我们收集了更先进的材料脚注。我们认为，这使文件更易于阅读和理解。论文全文更多地是面向专家的。

2011-12-04gr-qcmath.DGphysics.hist-ph