scientific article; zbMATH DE number 1748585

MaRDI QIDQ4530470zbMATH OpenFDO

Authors John Alan Robinson

Publication date 15 October 2002

zbMATH Keywords

Bertrand's conjectureexplanationsproofs

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Proof theory in general (including proof-theoretic semantics) (03F03) Factorization; primality (11A51)

Recommendations

• Why proof? What is a proof?
• scientific article; zbMATH DE number 2113545
• QED: Phenomenology of proofs
• Proofs and guarantees
• Motivated proofs: what they are, why they matter and how to write them

Cited in

(11)

• Proofs and guarantees
• Knowledge-based proof planning
• From Euclidean geometry to knots and nets
• The calculus of natural calculation
• Direct proofs of Lindenbaum conditionals
• Reliability of mathematical inference
• Aspects of Mathematical Explanation: Symmetry, Unity, and Salience
• Mathematical inference and logical inference
• Plans and planning in mathematical proofs
• Motivated proofs: what they are, why they matter and how to write them
• Values in caring for proof

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530470)