Text this: Arithmetic, proof theory, and computational complexity