pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.Chemistry.GlassTransition

show as:
view Lean formalization →

This module applies Recognition Science to glass transition chemistry by centering definitions on the eight-beat period. It introduces fragility, glass_univ, the Kauzmann ratio, and classifiers such as isStrongGlass using the time quantum from Constants. Condensed matter physicists would cite these when linking RS time scales to relaxation dynamics in supercooled liquids. The module is definitional, establishing bounds and predicates without complex derivations.

claimThe eight-beat period equals $8τ_0$ with $τ_0$ the RS time quantum. Fragility quantifies deviation from Arrhenius relaxation via the $J$-cost. The Kauzmann ratio $r_K$ satisfies $0 < r_K < 1$, with glass_univ as the universal glass parameter and predicates distinguishing strong versus fragile glasses.

background

Recognition Science supplies the fundamental time quantum $τ_0 = 1$ tick from the Constants module. The GlassTransition module uses this to define the eight-beat period as the base time scale for periodic chemical phenomena, consistent with the eight-tick octave in the forcing chain. It then introduces the fragility parameter, the universal glass quantity glass_univ, and the Kauzmann ratio that compares configurational entropy at the glass transition to the melting point. The module doc states that the 8-beat period is fundamental.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module extends the eight-tick octave (T7) from the UnifiedForcingChain into chemistry, supplying RS-native expressions for relaxationTime and glass metrics. It feeds applications of the Recognition Composition Law and phi-ladder to condensed-matter observables, though no direct used_by edges are recorded. The definitions close the interface between the time quantum and observable glass-transition quantities.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (13)