The surveyability of long proofs

DOI10.1007/S10699-008-9145-8MaRDI QIDQ2271073zbMATH OpenOpenAlexFDO

Authors Edwin Coleman

Publication date 6 August 2009

Published in Foundations of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10699-008-9145-8

zbMATH Keywords

mathematical practicemathematical proofsurveyabilitywritten discourse

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Recommendations

• Highly complex proofs and implications of such proofs
• Mathematical knowledge: Motley and complexity of proof
• The justification of mathematical statements
• The surveyability of mathematical proof: A historical perspective
• Proof and the virtues of shared enquiry

Cites work

• Every planar map is four colorable. II: Reducibility
• How to Write a Proof
• scientific article; zbMATH DE number 3124817 (Why is no real title available?)
• scientific article; zbMATH DE number 3821647 (Why is no real title available?)
• scientific article; zbMATH DE number 699681 (Why is no real title available?)
• scientific article; zbMATH DE number 1117975 (Why is no real title available?)
• Modular elliptic curves and Fermat's Last Theorem
• Quadratic Reciprocity in a Finite Group
• The surveyability of mathematical proof: A historical perspective
• What is good mathematics?

Cited in

(3)

• The surveyability of mathematical proof: A historical perspective
• Highly complex proofs and implications of such proofs
• Mathematical knowledge: Motley and complexity of proof

This page was built for publication: The surveyability of long proofs

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