`PhaseTransitionFalsifier`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Thermodynamics.PhaseTransitions on GitHub at line 255.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 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.