ABSTRACT It is a truism of mathematics that differences between isomorphic number systems are irrelevant to arithmetic. This truism is deeply rooted in the modern axiomatic method and underlies most strands of arithmetical structuralism, the view that arithmetic is about some abstract number structure. In this paper, I challenge this truism by showing that isomorphic systems can differ with regard to important computational features of numbers. This confronts arithmetical structuralists with a dilemma. On the one hand, many computability‐theoretic properties are only satisfied by particular number systems, and are hence disqualified as irrelevant by structuralist accounts. On the other hand, these properties turn out to be highly relevant to arithmetical practice. Hence, as I argue, arithmetical structuralism is not a tenable view about arithmetic.
Balthasar Grabmayr (Fri,) studied this question.