Manuscript En06-A@1 · En06-A.tex · proposition · e04c9892
Proposition: Antitelephone under a separate device interface
Device closure remains separate and withdrawn in its strong form › A genuinely relativistic conditional exclusion · lines 2075–2101 · proof included or linked
En06-A@1#prop:antitelephone
Suppose a physical device class has scalable lossless bit signals of speed in each admitting inertial frame, is Lorentz covariant including translated reflected return devices, and permits timelike waiting and the resulting wired compositions. It cannot also satisfy well-founded causal executability.
Proof. Send from to . Choose with
Such exists because . A reflected return signal of speed in the -boosted frame meets the original spatial-origin worldline at
This follows by solving its line of slope against the origin worldline . Wait from to , closing the dependency chain. Executability excludes the directed cycle.
Displayed formulas in this passage
unlabeled · line 2087
unlabeled · line 2093