Think only in terms of n-categories for small n....
Light cones: provability cone Within the coordinate system defined by the slice
“Faster than proof travel”: have to go outside of a given mathematical framework e.g. Goodstein needs ZFC
Foundations of mathematics
Axioms are transformations for symbolic expressions two interpretations of mw graphs: i) expression to expression (expressions are propositions) ii) nodes are propositions the act of doing mathematics is the act of coarse-graining... a mathematician is a coarse-grainner models are labels the mathematical observer is using axiomatic carving of rulial space is the multiway graphs A model of a mathematical observer... category theory is like axiomatic systems, GR is like our models of physics The foliation of an algebraic system & Cayley graphs