Pith. sign in
module module moderate

IndisputableMonolith.Physics.ParticlePhysicsGenerationsFromRS

show as:
view Lean formalization →

The module derives three fermion generations with four particles each from Recognition Science, equating their total of twelve to the edges of a three-dimensional cube. Physicists seeking geometric accounts of Standard Model structure would cite these identifications. The module consists of definitions for generation types followed by direct equalities to the spatial dimension result.

claimThere are three generations of fermions with four particles each, for a total of twelve fermions equal to the twelve edges of the unit cube in $\mathbb{R}^3$.

background

The module operates inside the Recognition Science framework after the forcing chain has fixed spatial dimensions at three. It introduces the FermionGeneration type to group the four standard fermions and the GenerationCert to certify the assignment. The module documentation highlights the direct numerical match 12 = 12 between total fermions and cube edges.

proof idea

This module contains a sequence of definitions for counts and types followed by short equality theorems. Each theorem is a one-line wrapper that substitutes the dimension result D = 3 and enumerates the fermion species per generation.

why it matters in Recognition Science

The module supplies the particle-physics content that realizes the D = 3 step of the forcing chain inside the Recognition Science monolith. It feeds the geometric interpretation of fermion content and the cube-edge identification into larger claims about the structure of the Standard Model.

scope and limits

declarations in this module (12)