Skip to main content
SpringerLink
Log in

HILBERT VINDICATED?

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

REFERENCES

  • Benacerraf, Paul and Hilary Putnam (eds): 1983, Philosophy of Mathematics, 2nd ed., Cambridge University Press.

  • Beth, Evert: 1955, 'Semantic Entailment and Formal Derivability', Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, N.R., Vol.18, No.13, pp. 309–342.

    Google Scholar 

  • Curry, Haskell B.: 1954, 'Remarks on the Definition and Nature of Mathematics', Dialectica 8, 228–33; reprinted in Benacerraf and Putnam, 1983, pp. 202- 206.

    Google Scholar 

  • Dauben, J.W.: 1979, Georg Cantor, Harvard University Press, Cambridge, Massachusetts.

    Google Scholar 

  • Detlefsen, Michael: 1986, Hilbert's Program, D. Reidel, Dordrecht.

    Google Scholar 

  • Frege, Gottlob: 1976, in G. Gabriel et al. (eds.),Wissenschaftliche Briefwechsel, F. Meiner, Hamburg.

    Google Scholar 

  • Goldfarb, Warren: 1979, 'Logic in the Twenties: The Nature of the Quantifier', Journal of Symbolic Logic 44, 351–68.

    Google Scholar 

  • Henkin, Leon: 1949, 'The Completeness of the First-Order Functional Calculus', Journal of Symbolic Logic 14, 159–66.

    Google Scholar 

  • Hilbert, David: 1899, Grundlagen der Geometrie, originally in Festschrift zu Feier der Enthüllung des Gauss-Weber-Denkmals, Teubner, Leipzig. Several later revised editions, including second, 1903, seventh, 1930, tenth, 1968.

  • Hilbert, David: 1990 'Mathematische Probleme', Nachrichten der Kgl. Gesellschaft der Wissenschaften zu Gö ttingen, Math.-phys. Klasse 3, 253–297.

    Google Scholar 

  • Hilbert, David: 1912, 'Begründung der kinetischen Gastheorie', Mathematische Annalen 72, 562–77.

    Google Scholar 

  • Hilbert, David: 1918, 'Axiomatisches Denken', Mathematische Annalen 78, 405–15.

    Google Scholar 

  • Hilbert, David: 1922, 'Neubegründung der Mathematik' ('A New Foundation for Mathematics') Abhandlungen aus dem Mathematischen Seminar der Hamburg Universität 1, 157–177.

    Google Scholar 

  • Hilbert, David: 1923, 'Die Logische Grundlagen der Mathematik', Mathematische Annalen 88, 151–165.

    Google Scholar 

  • Hilbert, David: 1926, 'Über das unendliche', Mathematische Annalen 95, 161–190, in P. Benacerraf and H. Putnam (trans./eds.), Philosophy of Mathematics: Selected Readings, 2nd ed., Cambridge University Press, 1983, pp.183- 201, esp. pp.190- 191.

  • Hilbert, David: 1935, Gesammelte Abhandlungen, Vol. 3, Springer-Verlag, Berlin.

    Google Scholar 

  • Hilbert, David: 1972 (1912), 'Foundations of the Kinetic Theory of Gases', in Stephen Brush (ed.), Kinetic Theory, Pergamon Press, New York, pp. 89–101. (English translation of the 1912 original.)

    Google Scholar 

  • Hilbert, David and Paul Bernays: 1934- 1939, Grundlagen der Mathematik, Springer-Verlag, Berlin.

    Google Scholar 

  • Hintikka, Jaakko: 1955, 'Form and Content in Quantification Theory', Acta Philosopica Fennica 8, 11–55.

    Google Scholar 

  • Hintikka, Jaakko: 1973, Logic, Language-Games and Information, Clarendon Press, Oxford.

    Google Scholar 

  • Hintikka, Jaakko: 1995, 'What is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic', in K. Gavroglu et al. (eds.), Physics, Philosophy and the Scientific Community, Kluwer, Dordrecht, pp. 301–326.

    Google Scholar 

  • Hintikka, Jaakko: 1996, The Principles of Mathematics Revisited, Cambridge University Press.

  • Kreisel, Georg: 1958, 'Hilbert's Programme', Dialectica 12, 346—72; reprinted with revisions in Benacerraf and Putnam, 1983, pp. 207- 238.

    Google Scholar 

  • Leisenring, A.C.: 1969,“-Symbol, MacDonald Technical & Scientific, London.

    Google Scholar 

  • Peckhaus, Volker: 1990, Hilbertprogramm und Kritische Philosophie, Vandenhoeck & Ruprecht, Göttingen.

    Google Scholar 

  • Poincaré, Henri: 1902, 'Review of Hilbert's Grundlagen der Geometrie', original French in Bulletin des Sciences Mathématiques 26, 249–272; English translation in Philip Ehrlich (ed.), Real Numbers, Generalizations of the Reals, and Theories of Continua, Kluwer, Dordrecht, 1994, pp. 147- 168.

    Google Scholar 

  • Russell, Bertrand: 1938, The Principles of Mathematics, 2nd ed. (1st ed. 1903), George Allen & Unwin, London.

    Google Scholar 

  • Sinac¸eur, Hourya: 1993, 'Du formalisme à la constructivité: Le finitisme', Revue Internationale de Philosophie 47, 251–83.

    Google Scholar 

  • Tarski, Alfred: 1956, Logic, Semantics, Metamathematics, Clarendon Press, Oxford.

    Google Scholar 

  • Toepell, M.-M.: 1986a, Über die Entstehung von David Hilbert's'Grundlagen der Geometrie', Vandenhoeck & Ruprecht, Göttingen.

    Google Scholar 

  • Toepell, M.-M.: 1986b, 'On the Origins of David Hilbert's “Grundlagen der Geometrie”', Archive for the History of Exact Sciences 35, 329–44.

    Google Scholar 

  • Torretti, Roberto: 1978, Philosophy of Mathematics from Riemann to Poincaré, D. Reidel, Dordrecht.

    Google Scholar 

  • Walkoe, W. Jr.: 1970, 'Finite Partially Ordered Quantification', Journal of Symbolic Logic 35, 535–55.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Boston University, Boston, MA, 02215, USA

    JAAKKO Hintikka

Authors
  1. JAAKKO Hintikka
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hintikka, J. HILBERT VINDICATED?. Synthese 110, 15–36 (1997). https://doi.org/10.1023/A:1004915006179

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004915006179

Search

Navigation