FORMAL METHODS
3 records in this drawer, 5 of their tracings leaving the class.
Invariants you cannot name
Formal methods. — 2026-06-30. — Provisional.
On the gap between knowing that a thing is preserved and being able to write down what it is.
Where prediction stops being computation
Formal methods. — 2026-02-17. — Provisional.
A working note on the difference between a system that is hard to predict and a system whose prediction problem has no answer.
Compression as the shape of understanding
Formal methods. — 2025-11-04. — Provisional.
If understanding a system means being able to state it more briefly than it states itself, then the limits of understanding are the limits of compression.