Pages that link to "Item:Q383001"

The following pages link to A logic road from special relativity to general relativity (Q383001):

Displaying 19 items.

• A logic road from special relativity to general relativity (Q383001) (← links)
• Axiomatization and models of scientific theories (Q429827) (← links)
• The existence of superluminal particles is consistent with relativistic dynamics (Q472799) (← links)
• On the epistemological significance of the Hungarian project (Q514553) (← links)
• Proof verification and proof discovery for relativity (Q514557) (← links)
• Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
• Motion and observation in a single-particle universe (Q514565) (← links)
• The machine as data: a computational view of emergence and definability (Q514566) (← links)
• An axiomatic foundation of relativistic spacetime (Q514583) (← links)
• Evidence, explanation and enhanced indispensability (Q516221) (← links)
• Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
• Using Isabelle/HOL to verify first-order relativity theory (Q2351148) (← links)
• The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity (Q2447104) (← links)
• A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’ (Q2831253) (← links)
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
• In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics (Q5015981) (← links)
• DISTANCES BETWEEN FORMAL THEORIES (Q5117596) (← links)
• THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE (Q5357328) (← links)
• Foundations of applied mathematics. I (Q6142492) (← links)