- 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.William W. Tait - 2006 - Philosophia Mathematica 14 (1):76-111.details
|
|
Philosophy of mathematics: selected readings.Paul Benacerraf & Hilary Putnam (eds.) - 1983 - New York: Cambridge University Press.details
|
|
Hilbert and Bernays on Metamathematics.P. Mancosu - 1998 - In ¸ Itemancosu1998. Oxford University Press. pp. 149--188.details
|
|
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.details
|
|
Hilbert's Finitism and the Notion of Infinity.Karl-Georg Niebergall & Matthias Schirn - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.details
|
|
Finitism and intuitive knowledge.Charles Parsons - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 249--270.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Kurt Godel. Collected Works. Volume IV: Selected Correspondence AG; Volume V: Selected Correspondence HZ.W. W. Tait - 2006 - Philosophia Mathematica 14 (1):76.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Computability, Proof, and Open-Texture.Stewart Shapiro - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 420-455.details
|
|
On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.details
|
|
Absolute generality.Agustín Rayo & Gabriel Uzquiano (eds.) - 2006 - New York: Oxford University Press.details
|
|
X*—Mathematical Intuition.Charles Parsons - 1980 - Proceedings of the Aristotelian Society 80 (1):145-168.details
|
|
Reason and intuition.Charles Parsons - 2000 - Synthese 125 (3):299-315.details
|
|
On some difficulties concerning intuition and intuitive knowledge.Charles Parsons - 1993 - Mind 102 (406):233-246.details
|
|
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.details
|
|
Parsons on mathematical intuition.James Page - 1993 - Mind 102 (406):223-232.details
|
|
Collected Papers.Colin McGinn - 1988 - Philosophical Review 97 (2):278.details
|
|
The adventure of reason: interplay between philosophy of mathematics and mathematical logic, 1900-1940.Paolo Mancosu - 2010 - New York: Oxford University Press.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
Benacerraf's dilemma revisited.Bob Hale & Crispin Wright - 2002 - European Journal of Philosophy 10 (1):101–129.details
|
|
Function Theory in an Axiom-free Equation Calculus.R. L. Goodstein - 1946 - Journal of Symbolic Logic 11 (1):24-26.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.details
|
|
Two (or three) notions of finitism.Mihai Ganea - 2010 - Review of Symbolic Logic 3 (1):119-144.details
|
|
Seeing sequences.David Galloway - 1999 - Philosophy and Phenomenological Research 59 (1):93-112.details
|
|
Seeing Sequences.David Galloway - 1999 - Philosophy and Phenomenological Research 59 (1):93-112.details
|
|
On ontology and realism in mathematics.Haim Gaifman - 2012 - Review of Symbolic Logic 5 (3):480-512.details
|
|
A Defence of Arbitrary Objects.Kit Fine & Neil Tennant - 1983 - Aristotelian Society Supplementary Volume 57 (1):55 - 89.details
|
|
Hilbert's Program.M. Detlefsen - 1992 - Noûs 26 (4):513-514.details
|
|
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.details
|
|
Benacerraf's Dilemma Revisited.Crispin Wright Bob Hale - 2002 - European Journal of Philosophy 10 (1):101-129.details
|
|
Die Widerspruchsfreiheit der Allgemeinen Mengenlehre.Wilhelm Ackerman - 1937 - Journal of Symbolic Logic 2 (4):167-167.details
|
|
Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.details
|
|
From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.details
|
|
The philosophy of mathematics.Wilbur Dyre Hart (ed.) - 1996 - New York: Oxford University Press.details
|
|
The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History.William Walker Tait - 2004 - Oxford, England: Oup Usa.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1999 - Springer Verlag.details
|
|
Mathematical Thought and its Objects.Charles Parsons - 2007 - New York: Cambridge University Press.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.details
|
|
What Finitism Could Not Be.Matthias Schirn & Karl-Georg Niebergall - 2003 - Critica 35 (103):43-68.details
|
|
Grundlagen der Mathematik. Band I. [REVIEW]Rudolf Carnap - 1939 - Journal of Unified Science (Erkenntnis) 8 (1):184-187.details
|
|
Remarks on finitism.William Tait - manuscriptdetails
|
|
Mathematische Existenz.Oskar Becker - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:154-155.details
|
|
Parsons on mathematical intuition and obviousness.Michael D. Resnik - 2000 - In Gila Sher & Richard L. Tieszen (eds.), Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press. pp. 219--231.details
|
|