No Faster-Than-Light Observers

 

Title: No Faster-Than-Light Observers
Authors: Mike Stannett (m /dot/ stannett /at/ sheffield /dot/ ac /dot/ uk) and István Németi
Submission date: 2016-04-28
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.
BibTeX:
@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   = apr,
  year    = 2016,
  note    = {\url{http://isa-afp.org/entries/No_FTL_observers.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
License: BSD License