The surveyability of long proofs

DOI10.1007/s10699-008-9145-8zbMath1168.00304OpenAlexW2114522105MaRDI QIDQ2271073

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Every planar map is four colorable. II: Reducibility
• Modular elliptic curves and Fermat's Last Theorem
• The surveyability of mathematical proof: A historical perspective
• How to Write a Proof
• What is good mathematics?
• Quadratic Reciprocity in a Finite Group

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