The following pages link to (Q3629622):
Displaying 7 items.
- Is mathematics problem solving or theorem proving? (Q2013412) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- What is dialectical philosophy of mathematics? (Q2765253) (← links)
- What can philosophers learn from mathematicians? (Q2894606) (← links)
- How Persuaded Are You? A Typology of Responses (Q2950033) (← links)
- (Q4395603) (← links)
- Do We Need Mathematical Facts? (Q4983363) (← links)