Black Holes, Time Travel, and the Limits of Exotic Physics

New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗

Series: NEMS on Physics (4-part) · Parts 1–3: Born Rule · Standard Model · Arrow of Time · Part 4: Exotic Physics

Science fiction loves exotic physics: time travel, wormholes, black-hole computers that solve undecidable problems, quantum entanglement as a telephone. Machine-checked theorems now prove that every one of these proposals fails — not because they are empirically ruled out, but because each requires a universe with an outside. Closure is the tightest constraint on exotic proposals ever formally established.

Why Closure Rules Out More Than You’d Expect

Each exotic physics proposal shares a common structure: it posits some mechanism that would, if realized, give an agent inside the universe access to something that exceeds what the universe’s internal resources can provide. A time machine would give access to records that haven’t been made yet — or allow overwriting records that have. A black-hole hypercomputer would give access to the answers to undecidable questions. A quantum telephone would give access to information that is currently distributed non-locally without a causal channel.

In each case, the proposal implicitly requires an outside — a reservoir of additional resources, answers, or record-truth that the universe cannot generate internally. The no-free-bits principle (Paper 27) formalizes this: in a PSC universe, any determinacy contribution that does not arise internally is a free bit, and free bits are structurally forbidden. This single principle is the engine behind all four results in this article.

Result 1: Record-Overwriting Time Travel Is Blocked

Time travel scenarios that involve closed timelike curves (CTCs) and backward causation fall into two classes: those where you can change the past (overwriting records) and those where you can only observe it self-consistently (Novikov self-consistency).

Paper 37 proves: overwriting stable records forces non-categoricity — it creates multiple incompatible world-types from a single state. Under PSC, selection among these world-types cannot be total-effective. The class of CTC scenarios where an agent goes back and changes a record is not just paradoxical in the Grandfather Paradox sense — it is structurally incoherent under PSC. It would require importing a selection mechanism from outside to decide which of the incompatible record-worlds is actual.

Self-consistent CTCs (where you go back but only do what you were already going to do) are not ruled out in the same way — they don’t overwrite records, they constrain them. But even there, the selection among consistent loop configurations requires an adjudicative mechanism that is not total-effective under the diagonal barrier.

Lean anchor: Chronology.record_overwrite_forces_noncategoricity.

Result 2: Black Holes Cannot Be Hypercomputers

A persistent speculation in the philosophy of physics: could a black hole be used as a hypercomputer? The idea is that as matter falls into a Schwarzschild black hole, it could in principle perform infinitely many computations before crossing the event horizon (from the infaller’s perspective, there is finite proper time to the singularity, but an infinite amount of coordinate time could elapse outside). Could this be exploited to solve undecidable problems?

Paper 38 proves: no internal total-effective black-hole decoder can decide a diagonal-capable predicate on the outcome space. The argument: if such a decoder existed, it would constitute a total-effective internal decision procedure for a diagonal-capable predicate on record fragments — exactly what the diagonal barrier (Papers 09, 29) proves impossible. A black hole that solves the halting problem would be an internal total-effective decider for record-truth on the ASR fragment. The diagonal barrier rules this out.

The black-hole information paradox is reframed: it is not about information being “destroyed” (PSC forbids information loss outside the universe’s closure). It is about observer-relative records — different observers (infaller vs. external) have different but closure-consistent record fragments. The paradox dissolves into a statement about complementarity under closure.

Lean anchor: BlackHoleInfo.no_total_effective_bh_decoder.

Result 3: Quantum Entanglement Cannot Be a Telephone

Quantum entanglement is real. EPR correlations are real. Two entangled particles, measured far apart, show correlations that cannot be explained by any local hidden variable theory. Bell’s inequalities confirm this. But — and this is crucial — no faster-than-light signaling is possible using entanglement. This is the no-communication theorem of standard quantum mechanics.

Papers 45–47 give a PSC-native proof of why. The global semantic glue of the universe is determined by the global map of fragments to local views (Paper 45). No total-effective local procedure can decide nontrivial extensional global facts about this map (Paper 46 — the Causal Nonlocality result). Paper 47 therefore proves: no internal total-effective procedure can serve as a “spooky-to-signal compiler” — a device that converts EPR correlations into controllable FTL signals.

The point is not just that such a device doesn’t happen to exist. The point is that it would be an internal total-effective decider for a nontrivial extensional predicate of the globally glued semantics — which the diagonal barrier rules out. FTL signaling via entanglement is structurally forbidden in the same way the halting problem is undecidable.

Lean anchor: NoSpookyToSignal.no_signaling_compiler.

Result 4: Holography Without Free Bits

Holography — the idea (from string theory and quantum gravity) that a higher-dimensional bulk theory is equivalent to a lower-dimensional boundary theory — is often interpreted as implying that the boundary contains all the information of the bulk. But this raises a puzzle: if you can reconstruct the bulk from the boundary, is the bulk redundant? And does this reconstruction require importing information from outside the universe?

Paper 48 proves a set of theorem-grade constraints on holography under PSC:

Boundary can determine bulk up to observational equivalence — via a surjective world-type map. This is the admissible form of holography.
Deciding non-invariant bulk predicates from boundary world-types violates audit soundness — the extra decoding bits would be free bits, violating PSC.
Internal total-effective bulk reconstruction of diagonal-capable predicates is impossible — this is the holographic barrier: “holography ≠ internal halting oracle.”
Holography claims fall into a taxonomy H0–H4 — ranging from categorical bulk equivalence to partial and selector-augmented reconstruction. PSC constrains which categories are admissible.

The key insight: genuine holographic equivalence (world-type level) is PSC-compatible. But holography interpreted as a reconstruction oracle for diagonal-capable predicates is not. The distinction between “equivalent description” and “oracle for undecidable questions” is formal and precise.

Lean anchor: Holography.no_free_bits_reconstruction.

The Common Thread

All four results share the same structure: an exotic proposal implicitly requires either (a) importing an external resource (free bits) that PSC forbids, or (b) a total-effective internal solution to a diagonal-capable predicate that the diagonal barrier rules out. These are the only two ways to exceed what a self-contained universe can provide internally. The exotic proposals fail because they need one or the other, and neither is available.

Closure is not a conservative principle that restricts physics to the boring. It is the single most powerful structural constraint on what the universe can contain — and it rules out exactly the proposals that have always seemed too good to be true.

The Papers and Proofs

Lean proof library: novaspivack/nems-lean · Full research index: novaspivack.com/research ↗

Nova Spivack

Explorer