Stream: Archive Mirror: Isabelle Users Mailing List

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

Email Gateway (Aug 22 2022 at 13:14):

From: Tobias Nipkow <nipkow@in.tum.de>
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!
smime.p7s

Last updated: Nov 21 2024 at 12:39 UTC