Registry · Definition VI.D77 tau-effective not_formalized

VI.D77 — Abiogenesis Timescale Bound

Upper bound T_abio <= n_{1/2} * ceil(ln(N/T)) on orbit steps to threshold crossing, where n_{1/2} ~ 1.66 is defect half-life and T = 8 is distinction threshold.

Book VI Part 2 Ch. 14

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module:

Symbol: