Structure and Computation
Bibliographic Data
| ID | 21364049 |
|---|---|
| Authors | Balthasar Grabmayr (0000-0003-3326-8030, Department of Philosophy University of Tübingen Tübingen Germany, corresponding author) |
| Year | 2025 |
| Publication date | 2025-12-05 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Noûs (JOURNAL) |
| Journal identifiers | ISSN: 0029-4624 • E-ISSN: 1468-0068 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/nous.70023 |
| OpenAlex | W4417070470 |
| Language | EN |
| References cited | 31 |
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
Algebra over a field · Arithmetic function · Axiom · Computation · Structuralism (philosophy of science) · Computability, Logic, AI Algorithms · Logic, programming, and type systems · Philosophy and Theoretical Science
| Highly cited | No |
|---|