Registry · Remark IV.R151 tau-effective formalized

IV.R151 — Non-ontic entities list

Non-ontic entities (computational devices useful in orthodox calculations but not representing tau^3 objects): wave function psi as independent object (it is a character distribution, not a thing), virtual particles (internal Feynman diagram lines), path integral measure, renormalization group flow, and gravitons as particles.

Book IV Part 6 Ch. 51

Lean Formalization

Module: TauLib.BookIV.Particles.SpectrumComplete

Symbol: Tau.BookIV.Particles.NononticEntitiesList