<div align="center">

[![BlackRoad OS](https://img.shields.io/badge/BlackRoad-OS-FF0066?style=for-the-badge&logo=github&logoColor=white)](https://github.com/blackboxprogramming)
[![Platform](https://img.shields.io/badge/Platform-blackroad.io-FF0066?style=for-the-badge)](https://blackroad.io)
[![Org](https://img.shields.io/badge/Org-simulation--theory-7700FF?style=for-the-badge)](https://github.com/blackboxprogramming/simulation-theory)
[![Status](https://img.shields.io/badge/Status-Active-FF9D00?style=for-the-badge)](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 |