No Faster-Than-Light Observers

Mike Stannett 📧 and István Németi 🌐

April 28, 2016


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


Theories of No_FTL_observers