Αποστολή με SMS: Arithmetic, proof theory, and computational complexity