Registry · Remark IV.R82 tau-effective not_applicable

IV.R82 — Comparison with lattice QCD

The relationship between tau and orthodox QFT is analogous to lattice QCD vs. continuum QCD: both provide rigorous finite-stage results, but the continuum/orthodox limit is taken by extrapolation, not by rigorous proof. The analogy is precise.

Book IV Part 5 Ch. 41

Lean Formalization

Module:

Symbol: