The following pages link to (Q3367316):
Displaying 13 items.
- 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)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- An axiomatic foundation of relativistic spacetime (Q514583) (← links)
- Evidence, explanation and enhanced indispensability (Q516221) (← links)
- Equivalent explanations and mathematical realism. Reply to ``Evidence, explanation, and enhanced indispensability'' (Q516223) (← links)
- A formal construction of the spacetime manifold (Q1029818) (← links)
- Intrinsic, extrinsic, and the constitutive a priori (Q2072028) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Computing the appearance of physical reality (Q2249006) (← links)
