Chemistry Periodic Table

The periodic table as a ledger

The periodic table organizes the chemical elements by atomic number, arranging them into rows and columns so that elements with similar properties align. Its structure is famously regular: the periods have lengths 2, 8, 8, 18, 18, 32, and 32, and the noble gases sit at atomic numbers 2, 10, 18, 36, 54, and 86. These numbers are not arbitrary; they reflect the filling of electron shells, a fact established by quantum mechanics in the twentieth century.

Recognition Science offers a different lens. It treats the periodic table as a ledger, a discrete record of events, where each element contributes a "valence imbalance" to a running sum. The key claim is that noble gases are exactly those elements where this cumulative sum returns to zero modulo 8, a condition called 8-window neutrality. This is the chemical manifestation of an eight-tick recognition cycle, a fundamental pattern the framework derives from its cost function.

The framework's machine-checked library of formal theorems defines a deterministic valence proxy: for each element, it computes a signed valence cost based on the distance to the nearest noble gas. It then proves that the set {2, 10, 18, 36, 54, 86} is forced by the requirement that shell closures occur at these neutrality points, with no per-element tuning. The theorems helium_is_noble, neon_is_noble, and so on, each verify one of these closures, and shell_sum_to_noble shows that the cumulative shell closures exactly match the noble gas list.

In Recognition Science, then, the periodic table's structure is not a coincidence but a consequence of the same eight-tick cycle that shapes other physical constants. The framework models the period lengths as gaps between these forced closures, and the block offsets (s, p, d, f) are fixed, not fitted. This is a derivation, not a prediction: the noble gas positions are proved from the neutrality condition, though the physical bridge from recognition to electron shells remains open.

/-- Predicted (dimensionful) band energy for atomic number `Z`.
    This is a fit‑free display using the universal coherence tick. -/
def bandEnergy (Z : ℕ) [BlockOffsets] : ℝ :=
  IndisputableMonolith.Constants.E_coh * bandMultiplier Z

/- Eight‑window neutrality predicate (rest if the sum is zero in aligned windows).
     In practice, the neutrality test is applied to a fit‑free valence‑cost proxy. -/
def neutralAt (f : ℕ → ℝ) (Z0 : ℕ) : Prop :=
  window8Sum f Z0 = 0

/-- The canonical noble gas atomic numbers (first 6 periods + Oganesson). -/
def nobleGasZ : List ℕ := [2, 10, 18, 36, 54, 86]

/-- The shell capacities sum to noble gas atomic numbers. -/
theorem shell_sum_to_noble :
    (List.range 6).map (fun i => cumulativeShellClosure i) = nobleGasZ := by
  native_decide

/-- The noble gas differences recover the period lengths. -/
theorem period_lengths_from_noble_gaps :
    [2, 10 - 2, 18 - 10, 36 - 18, 54 - 36, 86 - 54] = [2, 8, 8, 18, 18, 32] := by
  native_decide

What this page does not claim

This does not claim that the framework derives the full periodic table or all chemical properties. This does not claim that the physical recognition-to-linking bridge is closed; it remains open. This does not claim that the noble gas positions are measured or predicted in the empirical sense; they are derived within the framework's model.

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/Chemistry/PeriodicTable.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: