Radical anti-realism, Wittgenstein and the length of proofs

Mathieu Marion

pp. 419-432

in: Jesper Kallestrup, Duncan Pritchard (eds), The philosophy of Crispin Wright, Synthese 171 (3), 2009.

Abstract

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.

Cited authors

Wittgenstein Ludwig

Wright Crispin