The theory of computing occupies common ground among competing mathematical philosophies (Formalism,...