Hilbert's Programme

Journal of Symbolic Logic 27 (2):228-229 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964134

Links

PhilArchive



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

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

Review: Georg Kreisel, Hilbert's Programme. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):228-229.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Kreisel Georg. Hilbert's programme. Englisch, mit englischem und deutschem Résumé. Ebd., S. 142–168; auch ebd., S. 346–372. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):228-229.
Hilbert and the internal logic of mathematics.Yvon Gauthier - 1994 - Synthese 101 (1):1 - 14.
The pragmatism of Hilbert's programme.Volker Peckhaus - 2003 - Synthese 137 (1-2):141 - 156.
Hilbert's programme and gödel's theorems.Karl-Georg Niebergall & Matthias Schirn - 2002 - Dialectica 56 (4):347–370.
Metamathematics and philosophy.Jan Wolenski - 1983 - Bulletin of the Section of Logic 12 (4):221-225.
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.
Constructive existence claims.Michael Detlefsen - 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. 1998--307.
De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege.Pierre Cassou-Noguès - 2005 - Philosophia Scientiae 9 (2):205-223.
Hilbert Programme and Applied Proof Theory.Yvon Gauthier - 2011 - Logique Et Analyse 54 (213):49.
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.
Finitism: An Essay on Hilbert's Programme.David Watson Galloway - 1991 - Dissertation, Massachusetts Institute of Technology
Leibniz's and Kant's Philosophical Ideas and the Development of Hilbert's Programme.Roman Murawski - 2002 - Logique Et Analyse 45.
Hilbert’s Programme and Ordinal Analysis.Wolfram Pohlers - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 291-322.

Analytics

Added to PP
2017-02-21

Downloads
12 (#1,088,509)

6 months
4 (#796,002)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references