Gödel on intuition and on Hilbert's finitism

In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic (2010)
  Copy   BIBTEX


There are some puzzles about G¨ odel’s published and unpublished remarks concerning finitism that have led some commentators to believe that his conception of it was unstable, that he oscillated back and forth between different accounts of it. I want to discuss these puzzles and argue that, on the contrary, G¨ odel’s writings represent a smooth evolution, with just one rather small double-reversal, of his view of finitism. He used the term “finit” (in German) or “finitary” or “finitistic” primarily to refer to Hilbert’s conception of finitary mathematics. On two occasions (only, as far as I know), the lecture notes for his lecture at Zilsel’s [G¨ odel, 1938a] and the lecture notes for a lecture at Yale [G¨ odel, *1941], he used it in a way that he knew—in the second case, explicitly—went beyond what Hilbert meant. Early in his career, he believed that finitism (in Hilbert’s sense) is openended, in the sense that no correct formal system can be known to formalize all finitist proofs and, in particular, all possible finitist proofs of consistency of first-order number theory, P A; but starting in the Dialectica paper..



    Upload a copy of this work     Papers currently archived: 93,127

External links

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

Through your library

Similar books and articles

Gödel on intuition and on Hilbert's finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic.
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.
Kant and Finitism.W. W. Tait - 2016 - Journal of Philosophy 113 (5/6):261-273.
Mathematical Intuition and Hilbert’s “Minimal” Philosophy.Vitali Tselishchev - 2018 - Proceedings of the XXIII World Congress of Philosophy 56:53-57.


Added to PP

15 (#976,359)

6 months
128 (#33,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory.Vasil Penchev - 2020 - Information Theory and Research eJournal 1 (15):1-13.
‘Metamathematics’ in Transition.Matthias Wille - 2011 - History and Philosophy of Logic 32 (4):333 - 358.
The Quantum Strategy of Completeness: On the Self-Foundation of Mathematics.Vasil Penchev - 2020 - Cultural Anthropology eJournal (Elsevier: SSRN) 5 (136):1-12.
Representation and Reality by Language: How to make a home quantum computer?Vasil Penchev - 2020 - Philosophy of Science eJournal (Elsevier: SSRN) 13 (34):1-14.

View all 7 citations / Add more citations

References found in this work

Kant and the exact sciences.Michael Friedman - 1992 - Cambridge: Harvard University Press.
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
What is Cantor's Continuum Problem?Kurt Gödel - 1983 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2nd Edition). Cambridge: Cambridge University Press. pp. 470-485.

View all 14 references / Add more references