simulation-theory/proofs

Proofs

Formal mathematical arguments for the key claims.

📖 All proofs use standard mathematical methods. For background on the underlying research, see REFERENCES.md.

File	Claim	Method
ternary-efficiency.md	Ternary is more computationally efficient than binary	Calculus / radix economy (Knuth, 1980)
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 (von Neumann, 1932)
universal-computation.md	The ternary bio-quantum system is Turing-complete	Reaction network theory (Turing, 1936)