No Faster-Than-Light Observers Mike Stannett and IstvÃn NÃmetiWe 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.
http://www.isa-afp.org/entries/No_FTL_observers.shtml This is a first, namely the first Mathematical Physics entry. Thanks for that, Mike!
Description: S/MIME Cryptographic Signature