> Turing machines are arbitrary and rather unmathematical.
Thus proving the point that a field that studies them cannot be considered a branch of mathematics.
Thus proving the point that a field that studies them cannot be considered a branch of mathematics.