Registry · Definition VI.D91 tau-effective not_formalized

VI.D91 — Neural Hayflick Bound

H_i = R_max(i)/r_i per level; overall cognitive bound H_neural = min(H_1,...,H_4); geometric decay rate (1-iota_tau)^n governs baseline.

Book VI Part 6 Ch. 40

Dependency Graph

Depends on (2)

VI.P16 VI.D87

Depended on by (2)

VI.T54 VI.P24

Lean Formalization

Module:

Symbol: