HistoryOfScienceCert
plain-language theorem explainer
This structure certifies that the enumerated set of scientific paradigm shifts has cardinality exactly five. Sociologists mapping Kuhnian revolutions onto Recognition Science would cite it to record the alignment between historical upgrades and J-threshold crossings. The declaration is a direct structure definition that packages the finite cardinality statement without further reduction.
Claim. Let $S$ be the finite set of scientific paradigm shifts consisting of the Copernican, Newtonian, Einsteinian, quantum, and biological revolutions. The structure asserts that the cardinality of $S$ equals 5.
background
The module frames the history of science through Recognition Science by equating Thomas Kuhn's paradigm shifts to upgrades in recognition framework capacity, where each shift occurs when J-cost exceeds the threshold J(φ). Normal science remains within a fixed framework below this threshold, while revolutions restructure the framework upon crossing it. The module sets the number of such shifts to the configuration dimension 5.
proof idea
The declaration is a structure definition whose single field directly states the cardinality condition on the finite type of paradigm shifts. No lemmas or tactics are invoked; the body is empty and the claim is introduced by definition.
why it matters
This definition supplies the certification record consumed by historyOfScienceCert to assert the five-shift count. It fills the sociology module's claim that paradigm shifts equal recognition framework upgrades and aligns the enumerated count with configuration dimension D=5. It leaves open the derivation of these specific shifts from the T0-T8 forcing chain or the Recognition Composition Law.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.