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: 93,990

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

Logic, Philosophy of Mathematics, and Their History: Essays in Honor of W. W. Tait.Erich H. Reck (ed.) - 2018 - College Publications.
Review of P. Fletcher, Truth, Proof and Infinity: A Theory of Constructive Reasoning.Fred Richman - 2000 - Philosophia Mathematica 8 (2):214-220.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1998 - Philosophia Mathematica 6 (3):65-104.
Two Draft Letters from Godel on Self-knowledge of Reason.Mark van Atten - 2006 - Philosophia Mathematica 14 (2):255-261.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
On gödel's philosophy of mathematics.Stuart Silvers - 1966 - Philosophia Mathematica (1-2):1-8.
Logic, Philosophy of Mathematics, and their History: Essays in Honor W.W. Tait.Reck Erich (ed.) - 2018 - London, UK: College Publications.
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.
Philosophy of Mathematics in the Twentieth Century: Selected Essays.John P. Burgess - 2015 - History and Philosophy of Logic 36 (1):93-95.
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
57 (#274,289)

6 months
10 (#382,663)

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.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references