[isabelle] New AFP entry: No Faster-Than-Light Observers



No Faster-Than-Light Observers
Mike Stannett and IstvÃn NÃmeti

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.

http://www.isa-afp.org/entries/No_FTL_observers.shtml


This is a first, namely the first Mathematical Physics entry.
Thanks for that, Mike!

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.