Registry · Theorem VI.T51 tau-effective not_formalized

VI.T51 — Consciousness Criteria Equivalence

CC1-CC3 equivalent to minimal conscious agent (VI.D69); CC1 <-> D69(i), CC2 <-> D69(iii), CC3 <-> D68; substrate-independent criteria.

Book VI Part 8 Ch. 51

Dependency Graph

Depends on (3)

VI.D86 VI.D69 VI.D68

Lean Formalization

Module:

Symbol: