Hilbert's programme and gödel's theorems

&
Dialectica 56 (4):347–370 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/j.1746-8361.2002.tb00250.x

Links

PhilArchive



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

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

Hilbert's Programme and Gödel's Theorems.Matthias Schirn Karl‐Georg Niebergall - 2002 - Dialectica 56 (4):347-370.
Metatheory.Alasdair Urouhart - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 305–318.
The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993.Matthias Schirn (ed.) - 1998 - Oxford, England: Clarendon Press.
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
George Boolos and Richard G. HeckJnr. Die Grundlagen der Arithmetik, §§82–3. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998, pp. 407–428. - Richard G. HeckJnr. The finite and the infinite in Frege's Grundgesetze der Arithmetik. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 429–466. - Crispin Wright. On the harmless impredicativity of N= . The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 339–368. - Michael Dummett. Neo-Fregeans: in bad company? The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 369–387. - Crispin Wright. Response to Dummett. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 389–4. [REVIEW]William Demopoulos - 2000 - Bulletin of Symbolic Logic 6 (4):498-504.
Review: Georg Kreisel, Hilbert's Programme. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):228-229.
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.
From Solvability to Formal Decidability. Revisiting Hilbert’s Non-Ignorabimus.Andrea Reichenberger - 2018 - Journal for Humanistic Mathematics 9 (1):49–80.
George Boolos and Richard G. HeckJnr. Die Grundlagen der Arithmetik, §§82–3. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998, pp. 407–428. - Richard G. HeckJnr. The finite and the infinite in Frege's Grundgesetze der Arithmetik. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 429–466. - Crispin Wright. On the harmless impredicativity of N = (‘Hume's principle’). The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 339–368. - Michael Dummett. Neo-Fregeans: in bad company? The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 369–387. - Crispin Wright. Response to Dummett. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and Ne.William Demopoulos - 2000 - Bulletin of Symbolic Logic 6 (4):498-504.

Analytics

Added to PP
2009-01-28

Downloads
141 (#135,735)

6 months
10 (#308,797)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Matthias Schirn
Ludwig Maximilians Universität, München

Citations of this work

Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.

Add more citations

References found in this work

The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.

View all 14 references / Add more references