Chemistry Electron Affinity Bromine In Halogen List

The halogen list

Bromine is a halogen, the group of elements that sit one electron short of a filled electron shell. In the periodic table, the halogens are fluorine (9), chlorine (17), bromine (35), iodine (53), and astatine (85). Their chemistry is defined by that missing electron: adding one electron releases a large amount of energy, which is why halogens have the highest electron affinity of their periods, the energy released when an atom gains an electron.

The Recognition Science framework models this pattern with a simple count: the distance from an element's atomic number to the next noble gas closure, the point where a shell is full. For bromine, that distance is 1, meaning it needs exactly one electron to complete its shell. This count is the framework's proxy for electron affinity, and the framework predicts that a smaller distance corresponds to a larger energy release.

In Recognition Science, the machine-checked library of formal theorems contains a declaration, bromine_in_halogen_list, which proves that the atomic number 35 belongs to the list [9, 17, 35, 53, 85]. The proof is a direct computation, checking that 35 is an entry in that list. This is a theorem, not a hypothesis: it is a verified fact about the framework's own definitions.

What this theorem does not claim is more important than what it does. It does not measure bromine's electron affinity in electronvolts, and it does not assert that bromine's measured electron affinity is the highest among all elements. The framework's model is a structural pattern, a prediction about ordering and sign, not a numerical prediction of the measured energy. The actual measured value of bromine's electron affinity, about 3.36 electronvolts, is a separate empirical fact that the framework's model does not derive.

The declaration also does not claim that the framework's proxy is the only way to think about electron affinity. It is a definitional choice within the framework, a way to encode the halogen pattern in a discrete count. The theorem that bromine is in the list is a consequence of that choice, not an independent discovery about chemistry.

The value of this theorem is that it anchors the framework's electron affinity model to a concrete element. It shows that the framework's definitions produce the expected halogen list, and it provides a foundation for the framework's broader claims about periodicity. A reader who wants to understand what the framework says about bromine can start here: the framework recognizes bromine as a halogen, and that recognition is a proved fact, not an assumption.

/-- Bromine is a halogen (in list). -/
theorem bromine_in_halogen_list : 35 ∈ halogenZ := by native_decide

What this page does not claim

This theorem does not measure bromine's electron affinity in electronvolts. This theorem does not assert that bromine has the highest measured electron affinity among all elements. This theorem does not claim that the framework's proxy is the only valid way to model electron affinity.

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