Registry · Lemma VI.L17 tau-effective not_formalized

VI.L17 — Silicon Realization

No structural obstruction to non-biological consciousness; each CC1-CC3 can in principle be satisfied by non-carbon systems; possibility proof, not prediction.

Book VI Part 8 Ch. 51

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: