A logic road from special relativity to general relativity
From MaRDI portal
Publication:383001
DOI10.1007/s11229-011-9914-8zbMath1275.03069arXiv1005.0960OpenAlexW2080138426MaRDI QIDQ383001
Gergely Székely, Judit X. Madarász, Hajnalka Andréka, Istvan Németi
Publication date: 25 November 2013
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1005.0960
Related Items (19)
Investigations of isotropy and homogeneity of spacetime in first-order logic ⋮ A logic road from special relativity to general relativity ⋮ THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE ⋮ Foundations of applied mathematics. I ⋮ Axiomatization and models of scientific theories ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity ⋮ The existence of superluminal particles is consistent with relativistic dynamics ⋮ On the epistemological significance of the Hungarian project ⋮ Proof verification and proof discovery for relativity ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ Motion and observation in a single-particle universe ⋮ The machine as data: a computational view of emergence and definability ⋮ An axiomatic foundation of relativistic spacetime ⋮ Evidence, explanation and enhanced indispensability ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’ ⋮ In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics ⋮ Using Isabelle/HOL to verify first-order relativity theory
Cites Work
This page was built for publication: A logic road from special relativity to general relativity
