`summary`

definition

show as: view math explainer →

module: IndisputableMonolith.QFT.VacuumFluctuations
domain: QFT
line: 249 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.QFT.VacuumFluctuations on GitHub at line 249.

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

 246    4. **Casimir effect**: Measurable consequence
 247    5. **8-tick interference**: Explains small Λ
 248    6. **Virtual particles**: Transient ledger entries -/
 249def summary : List String := [
 250  "τ₀ discreteness forces fluctuations",
 251  "Uncertainty → minimum energy",
 252  "Zero-point energy per mode",
 253  "Casimir effect is measurable",
 254  "8-tick interference → small Λ",
 255  "Virtual particles = ledger fluctuations"
 256]
 257
 258/-! ## Falsification Criteria -/
 259
 260/-- The derivation would be falsified if:
 261    1. Casimir effect not observed
 262    2. Vacuum fluctuations don't exist
 263    3. τ₀ discreteness is wrong -/
 264structure VacuumFluctuationsFalsifier where
 265  no_casimir : Prop
 266  no_fluctuations : Prop
 267  tau0_wrong : Prop
 268  falsified : no_casimir ∨ no_fluctuations → False
 269
 270end VacuumFluctuations
 271end QFT
 272end IndisputableMonolith

papers checked against this theorem

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