Files
simulation-theory/proofs

Proofs

Formal mathematical arguments for the key claims.

File Claim Method
ternary-efficiency.md Ternary is more computationally efficient than binary Calculus / radix economy
self-reference.md The QWERTY encoding is self-referential Direct construction
pure-state.md The density matrix of the system is a pure state Linear algebra / SVD
universal-computation.md The ternary bio-quantum system is Turing-complete Reaction network theory