Email Gateway (Mar 27 2023 at 16:38): Email Gateway (Mar 27 2023 at 16:38):From: Tobias Nipkow <nipkow@in.tum.de>
No Faster-Than-Light Observers (GenRel)
Mike Stannett, Edward Higgins, Hajnal Andreka, Judit Madarasz, István Németi and
Gergely Szekely
We have previously verified, in the first order theory SpecRel of Special
Relativity, that inertial observers cannot travel faster than light. We now
prove the corresponding result for GenRel, the first-order theory of General
Relativity. Specifically, we prove that whenever an observer m encounters
another observer k (so that m and k are both present at some spacetime location
x), k will necessarily be observed by m to be traveling at less than light speed.
https://www.isa-afp.org/entries/No_FTL_observers_Gen_Rel.html
Enjoy!
Last updated: Apr 24 2024 at 04:17 UTC