No Faster-Than-Light Observers

Mike Stannett 📧 and István Németi 🌐

April 28, 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.

License

BSD License

Topics

Session No_FTL_observers

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{https://isa-afp.org/entries/No_FTL_observers.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: