Computational Structuralism†

DOI10.1093/PHILMAT/NKI021MaRDI QIDQ5692825zbMATH OpenOpenAlexFDO

Authors Volker Halbach, Leon Horsten

Publication date 28 September 2005

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nki021

zbMATH Keywords

models of arithmeticstructuralismTennenbaum's theorem

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Vom Zählen zu den Zahlen: on the relation between computation and arithmetical structuralism
• Some Results and Problems in The Modal Set Theory MST
• Computability, finiteness and the standard model of arithmetic
• Models and computability
• Numbers and their structure. Mathematical and philosophical studies in the ambience of the ideas of natural and real numbers and their non-standard models

Cited in

(13)

• Computational empiricism
• Reasoning about arbitrary natural numbers from a Carnapian perspective
• Mathematical determinacy and the transferability of aboutness
• The epistemic significance of numerals
• Can Church's thesis be viewed as a Carnapian explication?
• Computability, finiteness and the standard model of arithmetic
• The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
• Models and computability
• scientific article; zbMATH DE number 2079697 (Why is no real title available?)
• Vom Zählen zu den Zahlen: on the relation between computation and arithmetical structuralism
• What can a categoricity theorem tell us?
• Discovery Science
• Another look at reflection

This page was built for publication: Computational Structuralism†

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5692825)