Registry · Proposition VII.P28 tau-effective formalized

VII.P28 — Extended Mind as Carrier Extension

Carrier domain extends to external substrates satisfying integration conditions; Clark-Chalmers thesis formalized.

Book VII Part 9 Ch. 117

Dependency Graph

Depends on (1)

VII.T39

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.extended_mind_as_carrier_extension