Abstract
This paper rejoins the debate surrounding Thomas Tymockzko’s paper on the surveyability of proof, first published in the Journal of Philosophy, and makes the claim that by attending to certain broad features of modern conceptions of proof we may understand ways in which the debate surrounding the surveyability of proof has heretofore remained unduly circumscribed. Motivated by these historical reflections, I suggest a distinction between local and global surveyability which I believe has the promise to open up significant new advances in the philosophy of mathematics.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bassler, O.B. The Surveyability of Mathematical Proof: A Historical Perspective. Synthese 148, 99–133 (2006). https://doi.org/10.1007/s11229-004-6221-7
Issue Date:
DOI: https://doi.org/10.1007/s11229-004-6221-7