Physics Nuclear Magic Numbers From Rs

Nuclear magic numbers

Nuclear magic numbers are the counts of protons or neutrons that make an atomic nucleus especially stable. The standard set is 2, 8, 20, 28, 50, 82, and 126. A nucleus with one of these numbers of nucleons resists decay and deformation more than its neighbors, a pattern explained by the nuclear shell model, where each magic number closes a shell of allowed quantum states. The shell model, developed in the late 1940s by Maria Goeppert Mayer and Hans Jensen, won the 1963 Nobel Prize in Physics.

In Recognition Science, the framework models these numbers as gaps in the shell-model energy spectrum at minima of its cost function, the forced price of recognition in a discrete ledger of events. The framework's key claim is that the magic number 8 equals 2 raised to the third power, and 2 equals 2 raised to the first power. These match the framework's eight-tick recognition cycle at three spatial dimensions, and its minimum magic number. The other magic numbers, 20, 28, 50, 82, and 126, are identified with ratios involving the golden ratio and a quantity called gap45, but these identifications are not formalized as theorems.

The machine-checked library of formal theorems proves that the set of seven magic numbers contains 8 and 2, and that 8 equals 2 cubed and 2 equals 2 to the first power. These are simple arithmetic facts, verified by computation, not derivations of the full magic number sequence from first principles. The framework's contribution is the interpretation: the number 8, already special in nuclear physics, is the same period that its forcing chain derives for recognition cycles in three dimensions.

What this establishes in plain language is a connection between nuclear stability and a counting cycle. The framework does not predict new magic numbers, and it does not explain why 20, 28, 50, 82, or 126 appear. It shows that two of the seven known numbers, the smallest and the one tied to spatial dimension, are powers of two that its own structure requires.

/-- 8 = 2^3 = 8-tick period at D=3. -/
theorem magic_8_eq_2cubed : (8 : ℕ) = 2 ^ 3 := by decide

/-- 2 = 2^1 = minimum magic. -/
theorem magic_2_eq_2pow1 : (2 : ℕ) = 2 ^ 1 := by decide

/-- All magic numbers are in the list. -/
theorem magic_numbers_contain_8 : 8 ∈ magicNumbers := by decide

theorem magic_numbers_contain_2 : 2 ∈ magicNumbers := by decide

/-- Nuclear magic numbers. -/
def magicNumbers : Finset ℕ := {2, 8, 20, 28, 50, 82, 126}

What this page does not claim

The framework derives the full sequence of seven magic numbers from first principles. The identifications of 20, 28, 50, 82, and 126 with golden-ratio expressions are formal theorems. The framework predicts any new magic number beyond the known seven.

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/Physics/NuclearMagicNumbersFromRS.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: