A logic road from special relativity to general relativity
From MaRDI portal
Publication:383001
DOI10.1007/s11229-011-9914-8zbMath1275.03069arXiv1005.0960MaRDI 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
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE, In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics, DISTANCES BETWEEN FORMAL THEORIES, THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE, Foundations of applied mathematics. I, A logic road from special relativity to general relativity, Axiomatization and models of scientific theories, 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, Investigations of isotropy and homogeneity of spacetime in first-order logic, Using Isabelle/HOL to verify first-order relativity theory, The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity, A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’
Cites Work