Cosmology Horizon Problem Horizon Falsifier

The falsifier

The horizon problem asks why the cosmic microwave background, the oldest light in the universe, has the same temperature in every direction to about one part in a hundred thousand. In standard Big Bang cosmology, patches of sky separated by more than about a degree could never have exchanged light signals by the time that light was emitted. Yet the whole sky shares one temperature. The usual answer is cosmic inflation, a brief exponential expansion that stretched a single small region to cosmic size. The Recognition Science framework offers a complementary explanation: a universal eight-tick clock, intrinsic to the ledger, synchronizes all regions without light-speed communication.

The HorizonFalsifier declaration in the framework's machine-checked library of formal theorems does not prove that this explanation is correct. It formalizes the conditions under which the explanation would be wrong. The structure holds three propositions: that the observed cosmic microwave background anomalies have mundane explanations, that no phi-structure appears in inflationary parameters, and that a purely local solution to the horizon problem exists. The declaration then states that if all three hold, a contradiction follows. In plain language, the framework commits to the claim that at least one of these three must be false for its account to stand.

This is a falsification criterion, not a prediction of new data. The declaration does not say which of the three propositions is false, nor does it derive the value of any cosmological parameter. It says only that the conjunction of all three would contradict the framework's assumptions. The structure is a logical guardrail: it tells a reader what evidence would count against the explanation, which is a different and weaker thing than showing the evidence will not appear.

The declaration also does not claim that the anomalies themselves are real. The framework's list of observational evidence, which includes the low quadrupole and the so-called axis of evil, is a set of candidate phenomena that might match its predictions. The falsifier does not assert that these anomalies exist. It only says that if they are explained away, and if no phi-structure appears, and if a local solution works, then the framework's horizon explanation fails. The power of the declaration is that it makes the framework vulnerable to a specific, named set of outcomes, which is what separates a testable account from an unfalsifiable one.

What the declaration changes for a reader is the shape of the debate. Instead of asking whether the framework's explanation is true, one can ask whether its falsification conditions have been met. That is a concrete question, answerable by observation. The declaration does not settle the horizon problem. It sharpens it.

/-- The RS explanation would be falsified if:
    1. CMB anomalies have mundane explanations
    2. No φ-structure in inflationary parameters
    3. Horizon problem solution requires only local physics -/
structure HorizonFalsifier where
  anomalies_mundane : Prop
  no_phi_in_inflation : Prop
  purely_local_solution : Prop
  falsified : anomalies_mundane ∧ no_phi_in_inflation ∧ purely_local_solution → False

/-- The RS explanation would be falsified if:
    1. CMB anomalies have mundane explanations
    2. No φ-structure in inflationary parameters
    3. Horizon problem solution requires only local physics -/
structure HorizonFalsifier where
  anomalies_mundane : Prop
  no_phi_in_inflation : Prop
  purely_local_solution : Prop
  falsified : anomalies_mundane ∧ no_phi_in_inflation ∧ purely_local_solution → False

/-- The RS explanation would be falsified if:
    1. CMB anomalies have mundane explanations
    2. No φ-structure in inflationary parameters
    3. Horizon problem solution requires only local physics -/
structure HorizonFalsifier where
  anomalies_mundane : Prop
  no_phi_in_inflation : Prop
  purely_local_solution : Prop
  falsified : anomalies_mundane ∧ no_phi_in_inflation ∧ purely_local_solution → False

What this page does not claim

The declaration does not prove that the framework's horizon explanation is correct. The declaration does not assert that the listed CMB anomalies are real. The declaration does not derive any cosmological parameter value.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Cosmology/HorizonProblem.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: