Tag
Entries tagged impossibility proofs.
1 entry
an invariant is a quantity or property a process cannot alter, and finding one settles what is reachable without tracing every step.
7 min
