Repository | Journal | Volume | Articles
(2009) Synthese 171 (3).
After sketching an argument for radical anti-realism that does not appeal to human limitations but polynomial-time computability in its definition of feasibility, I revisit an argument by Wittgenstein on the surveyability of proofs, and then examine the consequences of its application to the notion of canonical proof in contemporary proof-theoretical-semantics.
Publication details
DOI: 10.1007/s11229-008-9315-9
Full citation:
Marion, M. (2009). Radical anti-realism, Wittgenstein and the length of proofs. Synthese 171 (3), pp. 419-432.
This document is unfortunately not available for download at the moment.