Registry · Definition VI.D40 tau-effective planned

VI.D40 — BSD Motivic Structure of the Genetic Code

20 amino acids = rational points; degeneracy = analytic error landscape; code is BSD-optimal: minimizes error cost subject to 20-aa constraint.

Book VI Part 4 Ch. 27

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: