No Faster-Than-Light Observers

Mike Stannett and István Németi

28 April 2016

Abstract

We provide a formal proof within First Order Relativity Theory that no observer can travel faster than the speed of light. Originally reported in Stannett & Németi (2014) "Using Isabelle/HOL to verify first-order relativity theory", Journal of Automated Reasoning 52(4), pp. 361-378.
BSD License

Topics

Related Entries

Theories

Cite

×
@article{No_FTL_observers-AFP,
  author  = {Mike Stannett and István Németi},
  title   = {No Faster-Than-Light Observers},
  journal = {Archive of Formal Proofs},
  month   = April,
  year    = 2016,
  note    = {\url{http://isa-afp.org/entries/No_FTL_observers.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download