mirror of
https://github.com/blackboxprogramming/simulation-theory.git
synced 2026-03-17 05:57:19 -05:00
9cf8d52432
Co-authored-by: blackboxprogramming <118287761+blackboxprogramming@users.noreply.github.com>
20 lines
1.1 KiB
Markdown
20 lines
1.1 KiB
Markdown
<div align="center">
|
|
|
|
[](https://github.com/blackboxprogramming)
|
|
[](https://blackroad.io)
|
|
[](https://github.com/blackboxprogramming/simulation-theory)
|
|
[](https://status.blackroad.io)
|
|
|
|
</div>
|
|
|
|
# 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 |
|