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.
  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{},
            Formal proof development},
  ISSN    = {2150-914x},
License: BSD License