Registry · Theorem
VI.T45
tau-effective
not_formalized
VI.T45 — Timescale From Half-Life
Abiogenesis timescale bound follows from geometric decay: n_0 <= n_{1/2} * ceil(log_2(N/T)); logarithmic in initial defect count.
Book VI
Part 2
Ch. 14