The surveyability of mathematical proof: A historical perspective

DOI10.1007/S11229-004-6221-7zbMath1103.03004OpenAlexW1968746567MaRDI QIDQ2500803

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

philosophy of mathematicsglobal surveyabilitylocal surveyabilitysurveyability of proof

Mathematics Subject Classification ID

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

Related Items (4)

Checking Proofs ⋮ Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) ⋮ The surveyability of long proofs ⋮ Cognitive artifacts for geometric reasoning

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