VacuumFluctuationsFalsifier
plain-language theorem explainer
The VacuumFluctuationsFalsifier structure encodes the experimental conditions that would refute the Recognition Science derivation of vacuum fluctuations from τ₀ discreteness. A physicist testing Casimir force measurements or zero-point energy would cite it to check consistency with the τ₀-based account. It is introduced as a plain record type that packages three independent propositions with an implication establishing their joint inconsistency.
Claim. A falsifier consists of propositions asserting the absence of the Casimir effect, the non-existence of vacuum fluctuations, and the incorrectness of the discreteness scale τ₀, together with the implication that the first two propositions jointly imply falsehood.
background
In the module QFT.VacuumFluctuations the derivation starts from the claim that time is discrete at the fundamental scale τ₀. The uncertainty relation ΔE·Δt ≥ ℏ/2 then forces energy fluctuations at intervals Δt = τ₀; these are identified with the zero-point energy E = ℏω/2 per mode and with virtual particle-antiparticle pairs. The Casimir effect between conducting plates is listed as the observable signature of the same mechanism.
proof idea
The declaration is a structure definition that directly assembles the three propositions and the contradiction implication into a single record type. No lemmas are applied; the construction is purely definitional.
why it matters
This definition supplies an explicit falsifiability criterion for the Recognition Science derivation of vacuum fluctuations from τ₀ discreteness, as stated in the module target of deriving zero-point energy from temporal discreteness. It marks the empirical boundary of the QFT-010 claim without depending on upstream results or feeding downstream theorems.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.