Computational Structuralism†
From MaRDI portal
Publication:5692825
DOI10.1093/philmat/nki021zbMath1078.03007OpenAlexW2806413172MaRDI QIDQ5692825
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
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Related Items (7)
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 ⋮ Mathematical determinacy and the transferability of aboutness ⋮ WHAT CAN A CATEGORICITY THEOREM TELL US? ⋮ Reasoning about arbitrary natural numbers from a Carnapian perspective
This page was built for publication: Computational Structuralism†