`apparentViolations`

definition

show as: view math explainer →

module: IndisputableMonolith.QFT.NoetherTheorem
domain: QFT
line: 278 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.QFT.NoetherTheorem on GitHub at line 278.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 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.