Comment by tom_mellior

> Turing machines are arbitrary and rather unmathematical.

Thus proving the point that a field that studies them cannot be considered a branch of mathematics.