Repository | Journal | Volume | Articles
(2006) Synthese 148 (1).
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.
Publication details
DOI: 10.1007/s11229-004-6221-7
Full citation:
Bassler, O. (2006). The surveyability of mathematical proof: a historical perspective. Synthese 148 (1), pp. 99-133.
This document is unfortunately not available for download at the moment.