`alphaInvPrediction`

definition

show as: view math explainer →

module: IndisputableMonolith.Pipelines
domain: Pipelines
line: 44 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Pipelines on GitHub at line 44.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

deltaKappa IndisputableMonolith.Pipelines

formal source

  41/-- The predicted dimensionless inverse fine-structure constant
  42α^{-1} = 4π·11 − (ln φ + δ_κ).
  43This is a pure expression-level definition (no numerics here). -/
  44noncomputable def alphaInvPrediction : ℝ := 4 * Real.pi * 11 - (Real.log phi + deltaKappa)
  45
  46end Curvature
  47
  48end Pipelines
  49end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.