The surveyability of mathematical proof: A historical perspective

DOI10.1007/S11229-004-6221-7MaRDI QIDQ2500803zbMATH OpenOpenAlexFDO

Authors O. Bradley Bassler

Publication date 18 August 2006

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-004-6221-7

zbMATH Keywords

global surveyabilitylocal surveyabilityphilosophy of mathematicssurveyability of proof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• The surveyability of long proofs
• Reshaping the metaphor of proof
• Reading proofs with understanding
• Theory Is Forever

Cited in

(6)

• The surveyability of long proofs
• Cognitive artifacts for geometric reasoning
• Checking proofs
• scientific article; zbMATH DE number 3961568 (Why is no real title available?)
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

This page was built for publication: The surveyability of mathematical proof: A historical perspective

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