Files
simulation-theory/proofs/README.md
Alexa Amundson f1aaa7bc6e add repo structure: proofs/ equations/ qwerty/ figures/ notebooks/
- qwerty/constants.md: master reference table, 100+ constants §1-§178
- qwerty/equalities.md: all major QWERTY equalities by theme
- equations/blackroad-equations.md: all 19 BlackRoad equations
- equations/consciousness.md: Psi_care, Phi_universal, CECE update rule
- equations/quantum.md: qutrit, Weyl pair, density matrix, SVD
- equations/universal.md: Three Tests, Euler-Lagrange, fine-structure
- proofs/ternary-efficiency.md: ln(3)/3 > ln(2)/2
- proofs/self-reference.md: the QWERTY encoding is self-referential
- proofs/pure-state.md: density matrix rank=1, SVD=SELF
- figures/durer-square.md: magic square with 2000 substitution
- figures/trinary-table.md: TAND TMUL TNEG TXOR truth tables
- figures/qutrit-operators.md: Weyl X/Z, Gell-Mann matrices
- figures/keyboard.md: QWERTY encoding layout
- notebooks/README.md: page-by-page index of all 24 notebook pages

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-02-22 17:54:51 -06:00

11 lines
614 B
Markdown

# Proofs
Formal mathematical arguments for the key claims.
| File | Claim | Method |
|------|-------|--------|
| [`ternary-efficiency.md`](./ternary-efficiency.md) | Ternary is more computationally efficient than binary | Calculus / radix economy |
| [`self-reference.md`](./self-reference.md) | The QWERTY encoding is self-referential | Direct construction |
| [`pure-state.md`](./pure-state.md) | The density matrix of the system is a pure state | Linear algebra / SVD |
| [`universal-computation.md`](./universal-computation.md) | The ternary bio-quantum system is Turing-complete | Reaction network theory |