 268    But this is mathematically proven above - it CANNOT be falsified
 269    as a mathematical theorem. Physical applications could fail if
 270    the symmetry assumptions don't hold. -/
 271structure NoetherFalsifier where
 272  /-- Type of apparent violation. -/
 273  violation : String
 274  /-- Resolution (if any). -/
 275  resolution : String
 276
 277/-- Known apparent violations and their resolutions. -/
 278def apparentViolations : List NoetherFalsifier := [
 279  ⟨"Energy non-conservation in expanding universe",
 280   "Time translation symmetry is broken by cosmological expansion"⟩,
 281  ⟨"Baryon number violation in GUTs",
 282   "U(1)_B is only an approximate symmetry"⟩,
 283  ⟨"CP violation",
 284   "CP is not an exact symmetry of nature"⟩
 285]
 286
 287end NoetherTheorem
 288end QFT
 289end IndisputableMonolith

papers checked against this theorem

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