No Faster-Than-Light Observers

Mike Stannett 📧 and István Németi 🌐

April 28, 2016

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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


Session No_FTL_observers