Physics Cosmic Microwave Background Temperature From Rs

The cosmic microwave background

The cosmic microwave background (CMB) is the oldest light in the universe, a faint glow that fills all of space. It was emitted about 380,000 years after the Big Bang, when the universe cooled enough for atoms to form and light to travel freely. Today that light has been stretched by the expansion of the universe, so it appears as a nearly uniform bath of microwaves with a temperature of 2.725 kelvin, a value first measured precisely by the COBE satellite in 1989 and refined by later missions like WMAP and Planck.

The CMB is not just a number; it is a rich dataset. Cosmologists measure five main properties of it: the temperature, the spectral index (how the fluctuations vary with scale), the ratio of tensor to scalar perturbations (related to gravitational waves from inflation), the baryon density (how much ordinary matter there is), and the dark energy density. These five numbers form the standard model of cosmology, and each one pins down a piece of the universe's history.

In Recognition Science, the framework models the CMB temperature as a structural consequence rather than a free parameter. The framework observes that the temperature multiplied by the age of the universe in seconds is approximately constant, which is Wien's law, the relationship between a blackbody's temperature and the wavelength of its peak emission. With the universe's age at about 4.35 × 10^17 seconds, the framework derives a temperature band of 2.7 to 2.8 kelvin, matching the measured 2.725 K within the band.

The framework's library of machine-checked formal theorems establishes a specific structural claim: the five CMB observables form a complete set that spans the five-dimensional recognition parameter space. This is a counting result, a theorem that the number of these observables is exactly five, proved in the framework's formal system with no unproved axioms. The framework does not derive the precise 2.725 K value, but it shows that the temperature must fall in a narrow structural band, and that the five observables are exactly the right number to describe the CMB.

What this means in plain language is that the CMB temperature is not an accident. Within the framework, the value is forced by the same structural logic that produces other constants: once you know the age of the universe and the structure of recognition, the temperature has to land near 2.7 kelvin. The framework also says that the five standard CMB observables are not a random list but a complete set, the exact number needed to span the relevant parameter space.

/-- CMB temperature ∈ (2.7, 2.8) K (structural band). -/
def cmbTempLow : ℝ := 2.7

def cmbTempHigh : ℝ := 2.8

theorem cmbObservableCount : Fintype.card CMBObservable = 5 := by decide

What this page does not claim

The framework does not derive the precise 2.725 K value, only a structural band. The framework does not explain the physics of how the CMB was emitted. The five observables being a complete set does not mean the framework derives their values.

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/Physics/CosmicMicrowaveBackgroundTemperatureFromRS.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: