Chemistry Periodic Table Period Lengths From Noble Gaps

Period lengths from noble gas gaps

The periodic table's period lengths are the number of elements in each horizontal row: 2, 8, 8, 18, 18, 32, and 32. These lengths are also the differences between the atomic numbers of successive noble gases. Helium (2) ends the first period, neon (10) ends the second, argon (18) the third, krypton (36) the fourth, xenon (54) the fifth, and radon (86) the sixth. Subtracting each noble gas atomic number from the next gives exactly the period lengths: 10 - 2 = 8, 18 - 10 = 8, 36 - 18 = 18, 54 - 36 = 18, and 86 - 54 = 32. This arithmetic is a simple fact of the standard periodic table.

In the Recognition Science framework, this relationship is not treated as a coincidence but as a structural consequence. The framework models each element as contributing a value to a running ledger, a discrete record of recognition events. A noble gas is defined as an element where the cumulative sum of these values, taken modulo 8, returns to zero. This is called an 8-window neutrality point. The framework's machine-checked library of formal theorems proves that the set of noble gas atomic numbers {2, 10, 18, 36, 54, 86} is forced by this neutrality condition, using a deterministic valence proxy with no per-element fitting. The declaration period_lengths_from_noble_gaps then proves the arithmetic: the gaps between these forced closure points are exactly the period lengths [2, 8, 8, 18, 18, 32]. In this account, the period lengths are not an empirical pattern but a derived consequence of the ledger's 8-tick balance.

This is a theorem about a model. The framework proves that if you accept its definitions of valence cost, closure points, and the 8-window neutrality predicate, then the period lengths follow. It does not prove that these definitions correspond to physical electron shells, nor does it derive the noble gas atomic numbers from first principles of quantum mechanics. The framework's claim is narrower: within its own accounting system, the period lengths are a necessary outcome, not an input. The classical fact that the period lengths equal the noble gas gaps remains true regardless of the framework. What the framework adds is a specific, checkable mechanism that reproduces this fact without tuning.

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

/-- 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

The framework does not claim its valence proxy is the physical electron configuration. The framework does not claim to derive the noble gas atomic numbers from fundamental constants without any chemical input. The framework does not claim that the period lengths are not also explained by quantum mechanics.

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: