Pages that link to "Item:Q5221858"
From MaRDI portal
The following pages link to Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics (Q5221858):
Displaying 20 items.
- How to think about informal proofs (Q383052) (← links)
- Informal proofs and mathematical rigour (Q603900) (← links)
- Confronting ideals of proof with the ways of proving of the research mathematician (Q603906) (← links)
- Some methodological aspects of Getaldić's mathematical works (Q798633) (← links)
- Despite physicists, proof is essential in mathematics (Q1297034) (← links)
- The phenomenology of mathematical proof (Q1297037) (← links)
- Mathematical knowledge and the problem of proof (Q1323503) (← links)
- Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31--November 1, 1997 (Q1613672) (← links)
- Proofs and guarantees (Q1702532) (← links)
- Is mathematics problem solving or theorem proving? (Q2013412) (← links)
- Acceptable gaps in mathematical proofs (Q2053999) (← links)
- Why do informal proofs conform to formal norms? (Q2271071) (← links)
- Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278) (← links)
- The surveyability of mathematical proof: A historical perspective (Q2500803) (← links)
- On Formal Proofs (Q3654812) (← links)
- (Q3728870) (← links)
- Remarks on the History and Philosophy of Mathematics (Q3757890) (← links)
- (Q4674792) (← links)
- Reshaping the metaphor of proof (Q5204811) (← links)
- Proof in mathematics and in logic (Q5224673) (← links)