Registry · Theorem VII.T20 tau-effective formalized

VII.T20 — Language as Self-Enrichment

Language is the self-enrichment of the subsymbolic layer; system acquires capacity to name and transport its own patterns.

Book VII Part 5 Ch. 57

Dependency Graph

Depends on (1)

VII.D52

Depended on by (1)

VII.P13

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: Tau.BookVII.Meta.Saturation.language_as_self_enrichment