materialsScienceCert
plain-language theorem explainer
Recognition Science maps five material classes to configuration dimension D=5 and the octahedral symmetry group of order 48 to the eight-tick octave 2^3. A materials physicist would cite the certificate when verifying the canonical counts that link crystal symmetries to spatial dimension D=3. The definition is a one-line wrapper that assembles two direct-computation lemmas for the class cardinality and group order.
Claim. The materials science certificate is the structure asserting that the set of material classes has cardinality 5 and that the octahedral group order equals $6$ times $2^3$.
background
In the Recognition Science framework, five canonical material classes (metals, ceramics, polymers, composites, semiconductors) equal the configuration dimension D=5. Crystal symmetry groups map to Q3 sublattices with |Q3|=8 atoms, which equals 2^D for D=3 spatial dimensions. The cubic crystal system adopts the octahedral group Oh of order 48, written as 6 times 8 or 6 times 2^3.
proof idea
The definition is a one-line wrapper that applies the theorem establishing the material class cardinality equals 5 and the theorem establishing the octahedral group order equals 6 times 2^3 to fill the two fields of the certificate structure.
why it matters
This definition packages the two key counts that realize the materials science section of the Recognition Science derivation, linking the five classes to D=5 and the Oh group to the eight-tick octave. It completes the local module by direct assembly of the upstream equalities without open questions or scaffolding. The construction supports the broader claim that RS derives material classes from the forcing chain T0 to T8.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.