Registry · Definition III.D61 tau-effective formalized

III.D61 — Proto-Code

E₁ object with discrete carrier, self-verification, but no decoder; necessary but not sufficient for computation

Book III Part 6 Ch. 46

Dependency Graph

Depends on (2)

III.D57 III.D58

Depended on by (3)

III.D62 III.P26 III.T40

Lean Formalization

Module: TauLib.BookIII.Arithmetic.ProtoCodes

Symbol: proto_code_check