The following pages link to (Q4896357):
Displaying 10 items.
- Pluralism and proofs (Q488374) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- Proofs and retributions, or: why Sarah can't take limits (Q2013325) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography (Q2391944) (← links)
- (Q2757284) (← links)
- (Q2762145) (← links)
- (Q4946218) (← links)
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice (Q5862344) (← links)
- Does logical pluralism imply, or suggest, truth pluralism, or vice versa? (Q6088953) (← links)