Notes
Chapter 12: The Principle of Computational Equivalence
Section 9: Implications for Mathematics and Its Foundations
Rules [for multiway systems examples]
The examples shown here (roughly in order of increasing complexity) correspond respectively to cases (a), (k), (b), (q), (p), (r), (o), (d) on page 798.