Gödel's Correspondence on Proof Theory and Constructive Mathematics †Charles Parsons read part of an early draft of this review and made important corrections and suggestions

Philosophia Mathematica 14 (1):76-111 (2006)

Authors
William W. Tait
University of Chicago
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkj011
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,914
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.
Unfolding Finitist Arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2-3):153-207.

View all 6 citations / Add more citations

Similar books and articles

Gödel and Philosophical Idealism.Charles Parsons - 2010 - Philosophia Mathematica 18 (2):166-192.
Two Draft Letters From Godel on Self-Knowledge of Reason.M. van Atten - 2006 - Philosophia Mathematica 14 (2):255-261.
The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.

Analytics

Added to PP index
2010-02-19

Total views
83 ( #98,348 of 2,266,258 )

Recent downloads (6 months)
6 ( #226,157 of 2,266,258 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature