Chemistry Periodic Table From Phi Ladder Shell Capacity 2

The second shell's capacity

The second electron shell of an atom, the one that follows the innermost shell, holds exactly eight electrons. This is the 2n² rule with n = 2: the capacity equals 2 × 2² = 8. It explains why the second row of the periodic table, from lithium to neon, contains eight elements. The rule was established empirically in the early 20th century through spectroscopy and the development of the Bohr model, and it remains a standard fact in every chemistry textbook.

The capacity of 8 for the second shell is not an arbitrary number. It follows from the quantum mechanical structure of atoms, where each shell with principal quantum number n can accommodate 2n² electrons. For n = 1, the capacity is 2; for n = 2, it is 8; for n = 3, it is 18; for n = 4, it is 32. These values match the lengths of the periods in the periodic table: 2, 8, 8, 18, 18, 32, 32. The pattern reflects how electron subshells (s, p, d, f) fill in order.

In Recognition Science, the framework's machine-checked library of formal theorems records this fact as a proved statement. The declaration shellCapacity_2 states that the shell capacity function, defined as 2n², evaluates to 8 when n = 2. The proof is a direct computation, verified by the library's kernel with no unproved assumptions. The same library also records the capacities for the first, third, and fourth shells, along with a certificate structure that bundles these four values together with the count of five electron block types (s, p, d, f, and the predicted g).

What the declaration does not do is derive the 2n² rule from deeper principles. It takes the definition of shell capacity as given and computes its value at n = 2. The framework does not claim that the golden ratio or any phi-ladder structure produces the number 8 directly. The connection to the phi-ladder appears only in the period lengths of the periodic table, not in the shell capacities themselves. The five block types do relate to the framework's configurational dimension D = 5, but that is a separate claim from the shell capacity of 8.

theorem shellCapacity_2 : shellCapacity 2 = 8 := by decide

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

theorem shellCapacity_1 : shellCapacity 1 = 2 := 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

What this page does not claim

The declaration does not derive the 2n² rule from the golden ratio or any phi-ladder structure. The shell capacity of 8 is not claimed to be a consequence of the five block types. The framework does not claim to explain why the second shell specifically holds 8 electrons beyond the definition of shell capacity.

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: