Proof Theory Is Not a Branch of Mathematics

Girdle's theorems have been hailed as the first new theorems of logic for two thousand years. But they are about what can cannot be proved, and proof is a physical process. Theory of abstract computation has no bearing on what mathematicians or any one else can or cannot calculate in reality. Proof theories about how to insure that those processes correctly mimic the abstract entities they are intended to mimic.