Registry · Remark V.R132 tau-effective not_applicable

V.R132 — Casimir does not prove mode summation

Casimir does not prove mode summation: the mode-sum and boundary derivations give the same numerical answer (standard QFT result); the Casimir effect does not distinguish between interpretations and is evidence for boundary energy, not for the reality of zero-point sums.

Book V Part 3 Ch. 25

Lean Formalization

Module: