BHThermodynamicsFalsifier
plain-language theorem explainer
This structure encodes the three observational conditions that would falsify the Recognition Science derivation of black hole thermodynamics. A physicist confronting holographic entropy bounds or Hawking radiation spectra with data would cite it to test consistency. The definition packages the propositions into a single record asserting that their disjunction cannot hold.
Claim. The black hole thermodynamics derivation fails if entropy scales with volume rather than horizon area, if Hawking temperature deviates from the standard formula, or if information is lost at the horizon. Formally the structure requires that the disjunction of these three propositions implies falsehood.
background
The module derives Bekenstein-Hawking entropy as $S_{BH} = k_B A / (4 l_P^2)$ from ledger capacity at the horizon and Hawking temperature $T_H = ħ c^3 / (8π G M k_B)$ from the recognition scale at the boundary. In Recognition Science the horizon area directly measures information capacity while temperature follows from the τ₀-scale. The module doc-comment states the target is to derive these results from the framework and lists the holographic bound as a core outcome.
proof idea
The declaration is a structure definition that directly records the three falsifying propositions together with the implication that their disjunction yields falsehood.
why it matters
This definition supplies the explicit falsifiability criterion for the QG-001 and QG-002 results on black hole thermodynamics. It ties the derivation to the paper proposition deriving thermodynamics from information theory. Within the Recognition framework it ensures the area law and temperature formula remain open to direct observational challenge.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.