Registry · Remark V.R263 tau-effective not_applicable

V.R263 — Comparison with lattice QFT

Lattice QFT replaces the continuum with a discrete lattice of spacing a, making loop integrals finite, then takes the continuum limit a to 0. The tau profinite tower resembles a lattice at each level but differs fundamentally: there is no continuum limit to take. The profinite completion replaces the continuum limit entirely.

Book V Part 7 Ch. 60

Lean Formalization

Module: