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)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkj011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
On constructive interpretation of predicative mathematics.Charles Parsons - 1990 - New York: Garland.
Phenomenology, Logic, and the Philosophy of Mathematics.Richard Tieszen - 2005 - New York: Cambridge University Press.
Gödel and philosophical idealism.Charles Parsons - 2010 - Philosophia Mathematica 18 (2):166-192.
Two Draft Letters from Godel on Self-knowledge of Reason.Mark van Atten - 2006 - Philosophia Mathematica 14 (2):255-261.
REVIEWS-Phenomenology, logic, and the philosophy of mathematics.R. Tieszen & Kai Hauser - 2007 - Bulletin of Symbolic Logic 13 (3):365-367.
Richard Tieszen, After Gödel. Platonism and Rationalism in Mathematics and Logic.: Oxford University Press, Oxford, 2011. [REVIEW]Stefania Centrone - 2014 - Husserl Studies 30 (2):153-162.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1998 - Philosophia Mathematica 6 (3):65-104.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Collected Works. Vol. IV: Correspondence A-G. Vol. V: Correspondence H-Z.Kurt Gödel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Tijdschrift Voor Filosofie 66 (1):165-166.
Systems of explicit mathematics with non-constructive μ-operator. Part I.Solomon Feferman & Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 65 (3):243-263.
Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown
Systems of explicit mathematics with non-constructive μ-operator. Part II.Solomon Feferman & Gerhard Jäger - 1996 - Annals of Pure and Applied Logic 79 (1):37-52.
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.

Analytics

Added to PP
2010-02-19

Downloads
128 (#144,735)

6 months
10 (#304,201)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

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):153-207.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references