Chemistry Periodic Table From Phi Ladder Electron Block

Electron blocks

The periodic table organizes elements by electron configuration. Chemists group the elements into blocks according to which atomic subshell the outermost electrons occupy: the s-block (2 elements per period), p-block (6), d-block (10), and f-block (14). A fifth g-block is predicted but has no naturally occurring elements. The total capacity across all blocks is 2 + 6 + 10 + 14 = 32, which equals 2⁵.

In the Recognition Science framework, the machine-checked library of formal theorems defines an object called ElectronBlock to encode exactly these five block types. The declaration is an inductive type with five constructors: s, p, d, f, and g_predicted. The library proves, by direct case analysis, that the number of such blocks is five. This is a theorem in the sense that the proof is checked by a computer kernel with no gaps or assumptions beyond the standard logical axioms.

The same file also defines shell capacities. The capacity of the nth electron shell is given by the formula 2n², so the first four shells hold 2, 8, 18, and 32 electrons respectively. These are the familiar capacities taught in introductory chemistry. The library proves each of these four values by direct computation, and bundles them together with the five-block count into a single certificate structure.

What the declaration does not claim is important. The existence of five block types is a definitional choice, not a derivation from the phi-ladder scaling that appears elsewhere in the framework. The shell capacities 2n² are also stated as definitions, not derived from any deeper principle. The framework does not claim that the periodic table's structure emerges from the golden ratio; the connection to the phi-ladder is that the number of blocks (5) and the total capacity (32) happen to match powers of 2 and 5, but this is an observation, not a forcing result.

The practical upshot is modest but real: the framework provides a formally verified account of two standard facts about the periodic table. A student or researcher can rely on the library's certificate that there are exactly five block types and that shell capacities follow 2n². The framework does not explain why these facts hold, nor does it predict new elements or block types beyond the standard five.

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

/-- Shell capacities: 2n². -/
def shellCapacity (n : ℕ) : ℕ := 2 * n ^ 2

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

What this page does not claim

The framework does not derive the periodic table's structure from the golden ratio. The five-block count is a definitional choice, not a theorem about nature. No claim is made about the physical existence of g-block elements.

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: