Switch to: References

Add citations

You must login to add citations.
  1. Radical Anti-Realism, Wittgenstein and the Length of Proofs.Mathieu Marion - 2009 - Synthese 171 (3):419 - 432.
    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.
    Direct download (5 more)  
    Export citation  
    Bookmark   2 citations