`summary`

definition

show as: view math explainer →

module: IndisputableMonolith.Thermodynamics.PhaseTransitions
domain: Thermodynamics
line: 241 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Thermodynamics.PhaseTransitions on GitHub at line 241.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 238    4. **Second order**: Minima merge, fluctuations diverge
 239    5. **Critical point**: Topology change
 240    6. **Nucleation**: Thermal crossing of barriers -/
 241def summary : List String := [
 242  "Phases = J-cost minima",
 243  "First order = jump between minima",
 244  "Second order = merging minima",
 245  "Critical = topology change",
 246  "Nucleation = barrier crossing"
 247]
 248
 249/-! ## Falsification Criteria -/
 250
 251/-- The derivation would be falsified if:
 252    1. Phase transitions have no J-cost interpretation
 253    2. Critical behavior contradicts J-cost predictions
 254    3. Nucleation doesn't follow J-cost barriers -/
 255structure PhaseTransitionFalsifier where
 256  no_jcost_interpretation : Prop
 257  critical_contradiction : Prop
 258  nucleation_mismatch : Prop
 259  falsified : no_jcost_interpretation ∧ critical_contradiction → False
 260
 261end PhaseTransitions
 262end Thermodynamics
 263end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.