Balthasar Grabmayr
Biographic Data
| ID | 9516784 |
|---|---|
| NAME | Balthasar Grabmayr |
| GIVEN NAMES | Balthasar |
| FAMILY NAME | Grabmayr |
| SIGNATURE | GRABMAYR B |
| AFFILIATIONS | Department of Philosophy University of Tübingen Tübingen Germany |
| ORCID | 0000-0003-3326-8030 |
| VERIFIED | Yes |
| TOTAL WORKS | 1 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 1 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2025 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 0 |
Structure and Computation
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 confr…
No prominent works on this page.
Structure and Computation
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 confr…
Algebra over a field (1 work) · Arithmetic function (1 work) · Axiom (1 work) · Computability, Logic, AI Algorithms (1 work) · Computation (1 work) · Logic, programming, and type systems (1 work) · Philosophy and Theoretical Science (1 work) · Structuralism (philosophy of science) (1 work)