Chemistry Periodic Table From Phi Ladder

The periodic table's phi-ladder pattern

The periodic table arranges elements by atomic number, and its rows, called periods, hold 2, 8, 8, 18, 18, 32, and 32 elements. A simpler pattern governs the electron shells that fill within each period: the first shell holds 2 electrons, the second 8, the third 18, and the fourth 32. These capacities follow the formula 2n², where n is the shell number, so 2, 8, 18, and 32 appear as the squares of 1, 2, 3, and 4, doubled. This 2n² rule is a standard result in atomic physics, discovered through spectroscopy in the early 20th century, and it explains why the periodic table has its characteristic block structure.

The table's blocks, named s, p, d, and f, hold 2, 6, 10, and 14 elements respectively, and together they total 32, which equals 2 to the fifth power. A fifth block, called g, is predicted to hold 18 elements but has not been observed because no known atom is heavy enough to populate it. These five block types are what the framework calls a recognition structure, a discrete record of events, and their count of five is a starting point rather than a derived result.

In Recognition Science, the framework models the period lengths themselves as stepping along powers of the golden ratio. The golden ratio φ, about 1.618, satisfies φ² = φ + 1, and its powers appear in the period sequence: 2, 8, 8, 18, 18, 32, 32. The framework's machine-checked library of formal theorems proves that the shell capacities are exactly 2, 8, 18, and 32, and that the electron block count is exactly five, with no unproved assumptions in those proofs. What the library does not prove is that these numbers must follow from the golden ratio; the connection is a modeled identification, not a forced theorem.

The practical consequence is a compact certificate for the periodic table's arithmetic skeleton. The framework packages the five block types and the four shell capacities into a single structure, a formal object that records these facts together. This lets a reader verify in one place that the table's basic counts are consistent, without needing to recompute them by hand. The framework's contribution is to show that these familiar numbers can be stated and checked in a formal system, and to flag which parts of the phi-ladder story are proved and which are chosen.

theorem shellCapacity_1 : shellCapacity 1 = 2 := by decide

theorem shellCapacity_2 : shellCapacity 2 = 8 := by decide

theorem shellCapacity_3 : shellCapacity 3 = 18 := by decide

theorem shellCapacity_4 : shellCapacity 4 = 32 := by decide

theorem electronBlockCount : Fintype.card ElectronBlock = 5 := by decide

structure PeriodicTableCert where
  five_blocks : Fintype.card ElectronBlock = 5
  s1_cap : shellCapacity 1 = 2
  s2_cap : shellCapacity 2 = 8
  s3_cap : shellCapacity 3 = 18
  s4_cap : shellCapacity 4 = 32

What this page does not claim

The golden ratio forces the shell capacities or period lengths as a theorem. The g-block has been observed in any element. The framework derives the 2n² rule from first principles.

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/PeriodicTableFromPhiLadder.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: