The following pages link to Computational Structuralism† (Q5692825):
Displayed 7 items.
- Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694) (← links)
- Mathematical determinacy and the transferability of aboutness (Q2460192) (← links)
- The epistemic significance of numerals (Q2695028) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- Computability, Finiteness and the Standard Model of Arithmetic (Q3295828) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- WHAT CAN A CATEGORICITY THEOREM TELL US? (Q5402238) (← links)